20 citations · 76 across the 16 of their papers we have counts for
7 papers · 1 filter
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
Sebastian Biewer, Rayna Dimitrova, Michael Fries +4
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time-…
Towards an Approximate Conformance Relation for Hybrid I/O Automata
Morteza Mohaqeqi, Mohammad Reza Mousavi
Several notions of conformance have been proposed for checking the behavior of cyber-physical systems against their hybrid systems models. In this paper, we explore the initial ide…
(De-)Composing Causality in Labeled Transition Systems
Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The for…
Algebraic Meta-Theory of Processes with Data
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi
There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics. Moreover, there exist a few appro…
Proceedings First International Workshop on Process Algebra and Coordination
Luca Aceto, Mohammad Reza Mousavi
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and progra…
Robustness of Equations Under Operational Extensions
Peter D. Mosses, MohammadReza Mousavi, Michel A. Reniers
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are…