activity
20152024
most citedTimed automata as a formalism for expressing security: A survey on theory and practice

20 citations · 28 across the 4 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.FL2024

Execution-time opacity problems in one-clock parametric timed automata

Étienne André, Johan Arcile, Engel Lefaucheux

Parametric timed automata (PTAs) extend the concept of timed automata, by allowing timing delays not only specified by concrete values but also by parameters, allowing the analysis…