20 citations · 28 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CR2022★ 20 cited
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…
cs.FL2022★ 4 cited
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…