Showing cs.FLShow all
2 papers · 1 filter
cs.FL2025
Parameterized Verification of Timed Networks with Clock Invariants
Ãtienne André, Swen Jacobs, Shyam Lal Karra +1
We consider parameterized verification problems for networks of timed automata (TAs) based on different communication primitives. To this end, we first consider disjunctive timed n…
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…