View source for Harsh Beohar

{{Person
|Family Name=Beohar
|Given Name=Harsh
|Title=Ph.D.
|Position=Postdoctoral Researcher
|Email=harsh.beohar@hh.se
|Image=Head-unknown.jpg
}}
[[Category:Staff]]
<!--Remove or add comments -->
__NOTOC__ 
{{ShowPerson}}



== Research Interests ==

* [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]]
* Verification of asynchronous systems
* Process Algebra

== Publications ==
* 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.

* 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. 

* H. Beohar and P. J. L. Cuijpers. [[media:main.pdf|Avoiding diamonds in desynchronisation]]. In presse for the journal Science of Computer Programming, 2014.

* 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. 

* H. Beohar and P. J. L. Cuijpers: Desynchronizability of (Partial) Synchronous Closed Loop Systems. Sci. Ann. Comp. Sci. 21(1): 5-38 (2011).

* D. Nadales Agut, B. van Beek, H. Beohar, P. J. L. Cuijpers, and J,  Fonteijn: The Hierarchical Compositional Interchange Format. FMCO 2010: 316-335.

* 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.

* Harsh Beohar, Pieter J. L. Cuijpers: A theory of desynchronisable closed loop system. ICE 2010: 99-114.

== Past Affiliations ==

* Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands. (Visiting Researcher 2013, Ph.D. Student 2008-2012) 

[[Category:staff]]