Dr Harsh Beohar

Department of Computer Science

Lecturer in Verification

Member of the Verification research group

h.beohar@sheffield.ac.uk
+44 114 222 1961

Full contact details

Dr Harsh Beohar
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
Publications

Journal articles

Conference proceedings papers

  • Beohar H & Küpper S (2019) Bisimulation maps in presheaf categories. Electronic Notes in Theoretical Computer Science, Vol. 347 (pp 5-24). London, UK, 4 June 2019 - 7 June 2019. View this article in WRRO RIS download Bibtex download
  • Beohar H, Konig B, Kupper S & Silva A (2017) Conditional transition systems with upgrades. 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE), 13 September 2017 - 15 September 2017. RIS download Bibtex download
  • Beohar H & Küpper S (2017) On path-based coalgebras and weak notions of bisimulation. 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Vol. 72 (pp 6:1-6:17). Ljubljana, Slovenia, 14 June 2017 - 16 June 2017. View this article in WRRO RIS download Bibtex download
  • Beohar H & Cuijpers PJL (2015) Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders. The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI), Vol. 319 (pp 51-66) RIS download Bibtex download
  • Beohar H & Mousavi MR (2015) A Pre-congruence Format for XY-simulations. The 6th International Conference on Fundamentals of Software Engineering. Tehran, Iran RIS download Bibtex download
  • Varshosaz M, Beohar H & Mousavi MR (2015) Delta-Oriented FSM-Based Testing. Formal Methods and Software Engineering (pp 366-381). Cham RIS download Bibtex download
  • Beohar H & Mousavi MR (2014) Input-Output Conformance Testing Based on Featured Transition Systems. Proceedings of the 29th ACM Symposium of Applied Computing: Software Verification and Testing Track RIS download Bibtex download
  • Beohar H & Mousavi MR (2014) Spinal Test Suites for Software Product Lines. Proceedings of the 9th Workshop on Model Based Testing (MBT’2014) (pp 44-55) RIS download Bibtex download
  • Beohar H & Cuijpers PJL (2013) Avoiding Diamonds in Desynchronization. Formal Aspects of Component Software, Vol. 7684 (pp 36-54) RIS download Bibtex download
  • Nadales Agut DE, van Beek DA, Beohar H, Cuijpers PJL & Fonteijn J (2011) The hierarchical compositional interchange format. Proceedings of the 9th international conference on Formal Methods for Components and Objects (pp 316-335). Berlin, Heidelberg RIS download Bibtex download
  • Beohar H, Nadales Agut DE, van Beek DA & Cuijpers PJL (2010) Hierarchical states in the Compositional Interchange Format. Proceedings of the 7th Workshop on Structural Operational Semantics, Vol. 32 (pp 42-56) RIS download Bibtex download
  • Beohar H & Cuijpers PJL (2010) A theory of desynchronisable closed loop systems. Proceedings of 3rd Interaction and Concurrency Experience (ICE’10), Vol. 38 (pp 99-114) RIS download Bibtex download

Theses / Dissertations

  • Beohar H (2013) Refinement of communication and states in models of embedded systems. RIS download Bibtex download

Other

  • Beohar H, König B, Küpper S & Mika-Michalski C (2019) Coalgebraic Games in Kleisli Categories. RIS download Bibtex download
  • Beohar H & Mousavi MR (2014) Two Logical Characterizations for Input-Output Conformance. RIS download Bibtex download