3 citations · 5 across the 5 of their papers we have counts for
5 papers
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
Étienne André, Didier Lime, Olivier H. Roux
Ensuring the correctness of critical real-time systems, involving concurrent behaviours and timing requirements, is crucial. Timed automata extend finite-state automata with clocks…
Cost Problems for Parametric Time Petri Nets
Didier Lime, Olivier H. Roux, Charlotte Seidner
We investigate the problem of parameter synthesis for time Petri nets with a cost variable that evolves both continuously with time, and discretely when firing transitions. More pr…
Reachability and liveness in parametric timed automata
Étienne André, Didier Lime, Olivier H. Roux
We study timed systems in which some timing features are unknown parameters. Parametric timed automata (PTAs) are a classical formalism for such systems but for which most interest…
A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks
Xinwei Chai, Morgan Magnin, Olivier Roux
On demand of efficient reachability analysis due to the inevitable complexity of large-scale biological models, this paper is dedicated to a novel approach: PermReach, for reachabi…
Control and Synthesis of Non-Interferent Timed Systems
Gilles Benattar, Franck Cassez, Didier Lime +1
In this paper, we focus on the synthesis of secure timed systems which are modelled as timed automata. The security property that the system must satisfy is a non-interference prop…