Edit CreatePerson: Harsh Beohar

Free text:

[[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]]

Summary:

This is a minor edit Watch this page

Cancel