Harsh Beohar

Harsh Beohar

Harsh Beohar, Postdoctoral Researcher, Ph.D.

Family Name: Beohar
Given Name: Harsh
Role: Postdoctoral Researcher
Title: Ph.D.
Subject: 
Organization: 
Email: harsh.beohar@hh.se
url: 
Phone: 
Cell Phone: 

Research Interests

• Model-Based Testing and Verification
• Verification of asynchronous systems
• Process Algebra

Publications

• H. Beohar and M.R. Mousavi. Spinal Test Suites for Software Product Lines. Proceedings of the 9th Workshop on Model-Based Testing (MBT 2014), Electronic Proceedings in Theoretical Computer Science, 2014.

• H. Beohar and M.R. Mousavi. 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. 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)