https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Harsh_Beohar 2026-05-22T23:48:50Z Revision history for this page on the wiki MediaWiki 1.22.6 https://wiki.hh.se/ceres/index.php?title=Harsh_Beohar&diff=2780&oldid=prev 2014-06-23T09:15:14Z

<p>Created page with &quot;{{Person |Family Name=Beohar |Given Name=Harsh |Title=Ph.D. |Position=Postdoctoral Researcher |Email=harsh.beohar@hh.se |Image=Head-unknown.jpg }} <a href="/ceres/index.php/Category:Staff" class="mw-redirect" title="Category:Staff">Category:Staff</a> &lt;!--Remov...&quot;</p> <p><b>New page</b></p><div>{{Person<br /> |Family Name=Beohar<br /> |Given Name=Harsh<br /> |Title=Ph.D.<br /> |Position=Postdoctoral Researcher<br /> |Email=harsh.beohar@hh.se<br /> |Image=Head-unknown.jpg<br /> }}<br /> [[Category:Staff]]<br /> &lt;!--Remove or add comments --&gt;<br /> __NOTOC__ <br /> {{ShowPerson}}<br /> <br /> <br /> <br /> == Research Interests ==<br /> <br /> * [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]]<br /> * Verification of asynchronous systems<br /> * Process Algebra<br /> <br /> == Publications ==<br /> * H. Beohar and M.R. Mousavi. [[media:mousavi_mbt_2014.pdf|Spinal Test Suites for Software Product Lines]]. Proceedings of the 9th Workshop on Model-Based Testing ([http://www.mbt-workshop.org/ MBT 2014]), Electronic Proceedings in Theoretical Computer Science, 2014.<br /> <br /> * H. Beohar and M.R. Mousavi. [[media:mousavi_svt_2014.pdf|Input-Output Conformance Testing Based on Featured Transition Systems]]. Proceedings of the 29th ACM Symposium on Applied Computing, Software Verification and Testing Track (SAC-SVT 2014), ACM Press, 2014. <br /> <br /> * H. Beohar and P. J. L. Cuijpers. [[media:main.pdf|Avoiding diamonds in desynchronisation]]. In presse for the journal Science of Computer Programming, 2014.<br /> <br /> * H. Beohar and P. J. L. Cuijpers. Avoiding diamonds in desynchronisation. Proceedings of the 9th International Symposium on Formal Aspects of Component Software, Lecture Notes in Computer Science, Springer, 2012. <br /> <br /> * H. Beohar and P. J. L. Cuijpers: Desynchronizability of (Partial) Synchronous Closed Loop Systems. Sci. Ann. Comp. Sci. 21(1): 5-38 (2011).<br /> <br /> * D. Nadales Agut, B. van Beek, H. Beohar, P. J. L. Cuijpers, and J, Fonteijn: The Hierarchical Compositional Interchange Format. FMCO 2010: 316-335.<br /> <br /> * Harsh Beohar, D. E. Nadales Agut, D. A. van Beek, P. J. L. Cuijpers: Hierarchical states in the Compositional Interchange Format. SOS 2010: 42-56.<br /> <br /> * Harsh Beohar, Pieter J. L. Cuijpers: A theory of desynchronisable closed loop system. ICE 2010: 99-114.<br /> <br /> == Past Affiliations ==<br /> <br /> * Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands. (Visiting Researcher 2013, Ph.D. Student 2008-2012) <br /> <br /> [[Category:staff]]</div>

Slawek