14 citations · 37 across the 13 of their papers we have counts for
14 papers
On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
Nicolaj Ø. Jensen, Kim G. Larsen, Didier Lime +1
Verification of real-time systems with multiple components controlled by multiple parties is a challenging task due to its computational complexity. We present an on-the-fly algori…
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
Étienne André, Engel Lefaucheux, Didier Lime +2
Timing information leakage occurs whenever an attacker successfully deduces confidential internal information by observing some timed information such as events with timestamps. Ti…
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…
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Étienne André, Didier Lime, Dylan Marinho +1
Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage occurs whenever an attacker successfully ded…
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…