2015 |
Harsh Beohar and Pieter Cuijpers. Open maps in concrete categories and branching bisimulation for prefix orders. In Mathematical Foundations of Programming Semantics, Nijmegen, May 2015. ENTCS. In press. |
|
Harsh Beohar and Mohammad Mousavi. A Pre-congruence Format for XY-simulations. In The 6th International Conference on Fundamentals of Software Engineering, LNCS, Tehran, Iran, March 2015. Springer Verlag. |
|
Harsh Beohar, Mahsa Varshosaz, and Mohammad Reza Mousavi. Basic behavioral models for software product lines: Expressiveness and testing pre-orders. Science of Computer Programming, 2015. In press. |
|
2014 |
Harsh Beohar and Mohammad Mousavi. Two logical characterizations for input-output conformance. In Preproceedings of EXPRESS/SOS'14 (Short paper), July 2014. |
|
Harsh Beohar and Pieter Cuijpers. Avoiding diamonds in desynchronisation. Science of Computer Programming, 91, Part A(0):45 – 69, 2014. |
|
Harsh Beohar and Mohammad Mousavi. Spinal test suites for software product lines. In Proceedings of the 9th Workshop on Model Based Testing (MBT'2014), EPTCS, pages 44–55, 2014. |
|
Harsh Beohar and Mohammad Mousavi. Input-output conformance testing based on featured transition systems. In Proceedings of the 29th ACM Symposium of Applied Computing: Software Verification and Testing Track. ACM, 2014. |
|
2013 |
Harsh Beohar. Refinement of communication and states in models of embedded systems. PhD thesis, Department of Mathematics and Computer Science, Eindhoven university of technology, January 2013. |
|
Harsh Beohar and Pieter Cuijpers. Avoiding diamonds in desynchronization. In Corina Păsăreanu and Gwen Salaün, editors, Formal Aspects of Component Software, volume 7684 of LNCS, pages 36–54. Springer Berlin Heidelberg, 2013. |
|
2011 |
Harsh Beohar and Pieter Cuijpers. Desynchronizability of (partial) synchronous closed loop systems. Scientific Annals of Computer Science, 21:5–38, 2011. |
|
Damian Nadales, Bert van Beek, Harsh Beohar, Pieter Cuijpers, and Jasper Fonteijn. The hierarchical compositional interchange format. In Proceedings of the 9th international conference on Formal Methods for Components and Objects, FMCO'10, pages 316–335, Berlin, Heidelberg, 2011. Springer-Verlag. |
|
2010 |
Harsh Beohar and Pieter Cuijpers. A theory of desynchronisable closed loop systems. In Proceedings of 3rd Interaction and Concurrency Experience (ICE'10), volume 38 of EPTCS, pages 99–114, 2010. |
|
Harsh Beohar, Damian Nadales, Bert van Beek, and Pieter Cuijpers. Hierarchical states in the compositional interchange format. In Luca Aceto and Pawel Sobocinski, editors, Proceedings of the 7th Workshop on Structural Operational Semantics, volume 32 of EPTCS, pages 42–56, 2010. |
|