1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2024
Distributed Monitoring of Timed Properties
Léo Henry, Thierry Jéron, Nicolas Markey +1
In formal verification, runtime monitoring consists of observing the execution of a system in order to decide as quickly as possible whether or not it satisfies a given property. W…
cs.FL2019★ 1 cited
Abstraction Refinement Algorithms for Timed Automata
Victor Roussanaly, Ocan Sankur, Nicolas Markey
We present abstraction-refinement algorithms for model checking safety properties of timed automata. The abstraction domain we consider abstracts away zones by restricting the set…