5 citations · 5 across the 2 of their papers we have counts for
3 papers
On the expressive power of invariants in parametric timed automata
Étienne André, Didier Lime, Mathias Ramparison
The verification of systems combining hard timing constraints with concurrency is challenging. This challenge becomes even harder when some timing constants are missing or unknown.…
Parametric updates in parametric timed automata
Étienne André, Didier Lime, Mathias Ramparison
We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters.…
Parametric analyses of attack-fault trees
Étienne André, Didier Lime, Mathias Ramparison +1
Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i.e. absence of unintentional failure…