Harsh Beohar

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 29

Top Topics

Behavioral Models

Software Product Line

Transition Systems

Top Venues

Sci. Comput. Program.

Publications

Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. STACS (2024)
Jurriaan Rot, Sebastian Junges, Harsh Beohar
Relating Apartness and Branching Bisimulation Games. Logics and Type Systems in Theory and Practice (2024)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Proving Behavioural Apartness. CoRR (2024)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Proving Behavioural Apartness. CMCS (2024)
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CMCS (2024)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach. CoRR (2023)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
Hennessy-Milner Theorems via Galois Connections. CSL (2023)
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CoRR (2023)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Forward and Backward Steps in a Fibration. CALCO (2023)
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic. CMCS (2022)
Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König
Graded Monads and Behavioural Equivalence Games. LICS (2022)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
Hennessy-Milner Theorems via Galois Connections. CoRR (2022)
Harsh Beohar, Chase Ford, Barbara König, Stefan Milius, Lutz Schröder
Graded Monads and Behavioural Equivalence Games. CoRR (2022)
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
Coalgebraic modal logic and games for coalgebras with side effects. CoRR (2021)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
Conditional transition systems with upgrades. Sci. Comput. Program. 186 (2020)
Harsh Beohar, Sebastian Küpper
Bisimulation Maps in Presheaf Categories. MFPS (2019)
Harsh Beohar, Sebastian Küpper
Bisimulation maps in presheaf categories. CoRR (2019)
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
Basic behavioral models for software product lines: Revisited. Sci. Comput. Program. 168 (2018)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann
A coalgebraic treatment of conditional transition systems with upgrades. Log. Methods Comput. Sci. 14 (1) (2018)
Harsh Beohar, Sebastian Küpper
On Path-Based Coalgebras and Weak Notions of Bisimulation. CALCO (2017)
Harsh Beohar, Sebastian Küpper
On path-based coalgebras and weak notions of bisimulation. CoRR (2017)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
Conditional transition systems with upgrades. TASE (2017)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
Conditional Transition Systems with Upgrades. CoRR (2017)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
A coalgebraic treatment of conditional transition systems with upgrades. CoRR (2016)
Harsh Beohar, Mohammad Reza Mousavi
Input-output conformance testing for software product lines. J. Log. Algebraic Methods Program. 85 (6) (2016)
Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi
Basic behavioral models for software product lines: Expressiveness and testing pre-orders. Sci. Comput. Program. 123 (2016)
Harsh Beohar, Mohammad Reza Mousavi
A Pre-congruence Format for XY-simulation. FSEN (2015)
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
Delta-Oriented FSM-Based Testing. ICFEM (2015)
Harsh Beohar, Pieter J. L. Cuijpers
Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders. MFPS (2015)
Harsh Beohar, Pieter J. L. Cuijpers
Avoiding diamonds in desynchronisation. Sci. Comput. Program. 91 (2014)
Harsh Beohar, Mohammad Reza Mousavi
Spinal Test Suites for Software Product Lines. MBT (2014)
Harsh Beohar, Mohammad Reza Mousavi
Input-output conformance testing based on featured transition systems. SAC (2014)
Harsh Beohar, Pieter J. L. Cuijpers
Avoiding Diamonds in Desynchronization. FACS (2012)
Harsh Beohar, Pieter J. L. Cuijpers
Desynchronizability of (Partial) Synchronous Closed Loop Systems. Sci. Ann. Comput. Sci. 21 (1) (2011)
Harsh Beohar, Pieter J. L. Cuijpers
A theory of desynchronisable closed loop system ICE (2010)
Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn
The Hierarchical Compositional Interchange Format. FMCO (2010)
Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers
Hierarchical states in the Compositional Interchange Format SOS (2010)
Harsh Beohar, Pieter J. L. Cuijpers, Jos C. M. Baeten
Design of asynchronous supervisors CoRR (2009)