Stefan Haar

Concurrency in Boolean networks

Boolean networks (BNs) are widely used to model the qualitative dynamics of biological systems. Besides the logical rules determining the evolution of each component with respect to the state of...

Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks

The modelling of discrete regulatory networks combines a graph specifying the pairwise influences between the variables of the system, and a parametrisation from which can be derived a discrete...

Unfolding-Based Process Discovery

This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two additional inputs:...

Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph

In this paper, we address the formal characterization of targets triggering cellular trans-differentiation in the scope of Boolean networks with asynchronous dynamics. Given two fixed points of a...

Hyper Partial Order Logic

Active Prediction for Discrete Event Systems

Optimal Constructions for Active Diagnosis

A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata

Conformance Relations for Labeled Event Structures

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

Active Diagnosis for Probabilistic Systems

Distributed Unfolding of Petri Nets

Decoupling Passenger Flows for Improved Load Prediction

Temporal Reprogramming of Boolean Networks

Drawing the Line: Basin Boundaries in Safe Petri Nets

Characterization of Reachable Attractors Using Petri Net Unfoldings

Sequential Reprogramming of Boolean Networks Made Practical