16 citations · 25 across the 3 of their papers we have counts for
3 papers
Efficient Convex Zone Merging in Parametric Timed Automata
Étienne André, Dylan Marinho, Laure Petrucci +1
Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. Reducing their state space is a signifi…
strategFTO: Untimed control for timed opacity
Étienne André, Shapagat Bolat, Engel Lefaucheux +1
We introduce a prototype tool strategFTO addressing the verification of a security property in critical software. We consider a recent definition of timed opacity where an attacker…
A Benchmarks Library for Extended Parametric Timed Automata
Étienne André, Dylan Marinho, Jaco van de Pol
Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. In order to test the efficiency of new…