Selected publications at LSV

We consider the problems of efficiently diagnosing and predicting what did (or will) happen in a partially-observable one-clock timed automaton. We introduce timed sets as a formalism to keep track of the evolution of the reachable configurations over time, and use our previous work on automata over timed domains to build a candidate diagnoser for our timed automaton. We report on our implementation of this approach compared to the approach of [Tripakis, Fault diagnosis for timed automata, 2002].

   address = {Limassol, Cyprus},
   author = {Bouyer, Patricia and Jaziri, Samy and Markey, Nicolas},
   booktitle = {{P}roceedings of the 18th {W}orkshop on {R}untime {V}erification ({RV}'18)},
   DOI = {10.1007/978-3-030-03769-7_12},
   editor = {Colombo, Christian and Leucker, Martin},
   month = nov,
   pages = {205-221},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Efficient Timed Diagnosis Using Automata with Timed Domains},
   url = {},
   volume = {11237},
   year = {2018},

About LSV

Select by Year