ºù«Ӱҵ

Journal articles

• Beohar H, König B, Küpper S & Silva A (2020) . Science of Computer Programming, 186.
• Beohar H, König B, Küpper S, Silva A & Wißmann T (2018) . Logical Methods in Computer Science (LMCS), 14(1).
• Varshosaz M, Beohar H & Mousavi MR (2018) Basic behavioral models for software product lines: Revisited. Science of Computer Programming, 168, 171-185.
• Beohar H & Mousavi MR (2016) Input-output conformance testing for software product lines. Journal of Logical and Algebraic Methods in Programming, 85, 1131-1153.
• Beohar H, Varshosaz M & Mousavi MR (2016) Basic behavioral models for software product lines: Expressiveness and testing pre-orders. Science of Computer Programming, 123, 42-60.
• Beohar H & Cuijpers PJL (2014) . Science of Computer Programming, 91, 45-69.
• Beohar H & Cuijpers PJL (2011) Desynchronizability of (Partial) Synchronous Closed Loop Systems. Scientific Annals of Computer Science, 21, 5-38.

Chapters

• Rot J, Junges S & Beohar H (2024) , Lecture Notes in Computer Science (pp. 203-213). Springer Nature Switzerland

Conference proceedings papers

• Forster J, Schröder L, Wild P, Beohar H, Gurke S & Messing K (2024) (pp 114-134)
• Turkenburg R, Beohar H, Kupke C & Rot J (2024) (pp 156-173)
• Beohar H, König B, Forster J, Wild P, Gurke S, Messing K & Schröder L (2024) . Leibniz International Proceedings in Informatics, LIPIcs, Vol. 289
• Turkenburg R, Beohar H, Kupke C & Rot J (2023) . Leibniz International Proceedings in Informatics, LIPIcs, Vol. 270
• Beohar H, Gurke S, König B & Messing K (2023) . Leibniz International Proceedings in Informatics, LIPIcs, Vol. 252
• Ford C, Milius S, Schröder L, Beohar H & König B (2022) . Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
• Beohar H, König B, Küpper S & Mika-Michalski C (2022) (pp 1-22)
• Beohar H & Küpper S (2019) . Electronic Notes in Theoretical Computer Science, Vol. 347 (pp 5-24). London, UK, 4 June 2019 - 7 June 2019.
• Beohar H, Konig B, Kupper S & Silva A (2017) . 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE), 13 September 2017 - 15 September 2017.
• Beohar H & Küpper S (2017) . 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.
• 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)
• Beohar H & Mousavi MR (2015) A Pre-congruence Format for XY-simulations. The 6th International Conference on Fundamentals of Software Engineering. Tehran, Iran
• Varshosaz M, Beohar H & Mousavi MR (2015) Delta-Oriented FSM-Based Testing. Formal Methods and Software Engineering (pp 366-381). Cham
• 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
• 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)
• Beohar H & Cuijpers PJL (2013) Avoiding Diamonds in Desynchronization. Formal Aspects of Component Software, Vol. 7684 (pp 36-54)
• 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
• 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)
• 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)

Theses / Dissertations

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

Other

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

Preprints

• Luckhardt D, Beohar H & Küpper S (2024) On Kleisli liftings and decorated trace semantics, arXiv.
• Rot J, Junges S & Beohar H (2024) Relating Apartness and Branching Bisimulation Games, arXiv.
• Turkenburg R, Beohar H, Kupke C & Rot J (2024) Proving Behavioural Apartness, arXiv.
• Beohar H, Gurke S, König B, Messing K, Forster J, Schröder L & Wild P (2023) , arXiv.
• Forster J, Schröder L, Wild P, Beohar H, Gurke S, König B & Messing K (2023) , arXiv.
• Forster J, Schröder L, Wild P, Beohar H, Gurke S, König B & Messing K (2023) , arXiv.
• Beohar H, Gurke S, König B & Messing K (2022) , arXiv.
• Beohar H, Ford C, König B, Milius S & Schröder L (2022) , arXiv.
• Beohar H, König B, Küpper S & Mika-Michalski C (2021) , arXiv.
• Beohar H & Küpper S (2019) , arXiv.
• Beohar H, König B, Küpper S & Silva A (2017) , arXiv.
• Beohar H & Küpper S (2017) , arXiv.
• Beohar H, König B, Küpper S, Silva A & Wißmann T (2016) , arXiv.
• Beohar H & Mousavi MR (2014) , arXiv.
• Beohar H & Cuijpers P (2010) , arXiv.
• Beohar H, Agut DEN, van Beek DA & Cuijpers PJL (2010) , arXiv.
• Beohar H, Cuijpers P & Baeten J (2009) , arXiv.