Dr Harsh Beohar

代表成果

• Beohar H, König B, Küpper S & Silva A (2020) Conditional transition systems with upgrades. Science of Computer Programming, 186. View this article in WRRO
• Varshosaz M, Beohar H & Mousavi MR (2018) Basic behavioral models for software product lines: Revisited. Science of Computer Programming, 168, 171-185.
• Beohar H, König B, Küpper S, Silva A & Wißmann T (2018) A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, 14(1). View this article in WRRO
• Beohar H & Mousavi MR (2016) Input–output conformance testing for software product lines. Journal of Logical and Algebraic Methods in Programming, 85(6), 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) Avoiding diamonds in desynchronisation. Science of Computer Programming, 91, Part A, 45-69. View this article in WRRO
• Beohar H & Cuijpers P (2011) Desynchronizability of (Partial) synchronous closed loop systems. Scientific Annals of Computer Science, 21, 5-38.
• Luckhardt D, Beohar H & Küpper S () On Kleisli liftings and decorated trace semantics. Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of....
• Rot J, Junges S & Beohar H (2024) Relating Apartness and Branching Bisimulation Games, Lecture Notes in Computer Science (pp. 203-213). Springer Nature Switzerland
• Luckhardt D, Beohar H & Kupke C (2025) Expressivity of Bisimulation Pseudometrics over Analytic State Spaces. Leibniz International Proceedings in Informatics Lipics, Vol. 342