6 citations · 14 across the 10 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Parametric disjunctive timed networks
Étienne André, Swen Jacobs, Engel Lefaucheux
We consider distributed systems with an arbitrary number of processes, modelled by timed automata that communicate through location guards: a process can take a guarded transition…
cs.CR2025
Opacity problems in multi-energy timed automata
Étienne André, Lydia Bakiri
Cyber-physical systems can be subject to information leakage; in the presence of continuous variables such as time and energy, these leaks can be subtle to detect. We study here th…