20 citations · 28 across the 4 of their papers we have counts for
5 papers
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…
Timed automata as a formalism for expressing security: A survey on theory and practice
Johan Arcile, Étienne André
Timed automata are a common formalism for the verification of concurrent systems subject to timing constraints. They extend finite-state automata with clocks, that constrain the sy…
Zone extrapolations in parametric timed automata
Johan Arcile, Étienne André
Timed automata (TAs) are an efficient formalism to model and verify systems with hard timing constraints, and concurrency. While TAs assume exact timing constants with infinite pre…
Dynamic exploration of multi-agent systems with timed periodic tasks
Johan Arcile, Raymond Devillers, Hanna Klaudel
We formalise and study multi-agent timed models MAPTs (Multi-Agent with timed Periodic Tasks), where each agent is associated to a regular timed schema upon which all possibles act…
Indefinite waitings in MIRELA systems
Johan Arcile, Jean-Yves Didier, Hanna Klaudel +2
MIRELA is a high-level language and a rapid prototyping framework dedicated to systems where virtual and digital objects coexist in the same environment and interact in real time.…