Harsh Beohar

According to our database, Harsh Beohar authored at least 31 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On Kleisli liftings and decorated trace semantics.

Daniel Luckhardt, Harsh Beohar, Sebastian Küpper

CoRR, 2024

Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.

Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

Proving Behavioural Apartness.

Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot

Proceedings of the Coalgebraic Methods in Computer Science, 2024

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.

Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing

Proceedings of the Coalgebraic Methods in Computer Science, 2024

Relating Apartness and Branching Bisimulation Games.

Jurriaan Rot, Sebastian Junges, Harsh Beohar

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

2023

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.

Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing

CoRR, 2023

Hennessy-Milner Theorems via Galois Connections.

Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

Forward and Backward Steps in a Fibration.

Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Graded Monads and Behavioural Equivalence Games.

Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic.

Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski

Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021

Coalgebraic modal logic and games for coalgebras with side effects.

Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski

CoRR, 2021

2020

Conditional transition systems with upgrades.

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva

Sci. Comput. Program., 2020

2019

Bisimulation Maps in Presheaf Categories.

Harsh Beohar, Sebastian Küpper

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

2018

Basic behavioral models for software product lines: Revisited.

Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi

Sci. Comput. Program., 2018

A coalgebraic treatment of conditional transition systems with upgrades.

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann

Log. Methods Comput. Sci., 2018

2017

On Path-Based Coalgebras and Weak Notions of Bisimulation.

Harsh Beohar, Sebastian Küpper

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Basic behavioral models for software product lines: Expressiveness and testing pre-orders.

Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi

Sci. Comput. Program., 2016

Input-output conformance testing for software product lines.

Harsh Beohar, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2016

A coalgebraic treatment of conditional transition systems with upgrades.

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva

CoRR, 2016

2015

Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders.

Harsh Beohar, Pieter J. L. Cuijpers

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Delta-Oriented FSM-Based Testing.

Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi

Proceedings of the Formal Methods and Software Engineering, 2015

A Pre-congruence Format for XY-simulation.

Harsh Beohar, Mohammad Reza Mousavi

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

Avoiding diamonds in desynchronisation.

Harsh Beohar, Pieter J. L. Cuijpers

Sci. Comput. Program., 2014

Spinal Test Suites for Software Product Lines.

Harsh Beohar, Mohammad Reza Mousavi

Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014

Input-output conformance testing based on featured transition systems.

Harsh Beohar, Mohammad Reza Mousavi

Proceedings of the Symposium on Applied Computing, 2014

2012

Avoiding Diamonds in Desynchronization.

Harsh Beohar, Pieter J. L. Cuijpers

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

Desynchronizability of (Partial) Synchronous Closed Loop Systems.

Harsh Beohar, Pieter J. L. Cuijpers

Sci. Ann. Comput. Sci., 2011

2010

A theory of desynchronisable closed loop system

Harsh Beohar, Pieter J. L. Cuijpers

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

Hierarchical states in the Compositional Interchange Format

Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers

Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010

The Hierarchical Compositional Interchange Format.

Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Design of asynchronous supervisors

Harsh Beohar, Pieter J. L. Cuijpers, Jos C. M. Baeten

CoRR, 2009