10 citations · 11 across the 7 of their papers we have counts for
3 papers · 1 filter
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
We consider networks of processes that all execute the same finite-state protocol and communicate via a rendez-vous mechanism. When a process requests a rendez-vous, another proces…
Real-Time Synthesis is Hard!
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts +3
We study the reactive synthesis problem (RS) for specifications given in Metric Interval Temporal Logic (MITL). RS is known to be undecidable in a very general setting, but on infi…
Event-Clock Automata: From Theory to Practice
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
Event clock automata (ECA) are a model for timed languages that has been introduced by Alur, Fix and Henzinger as an alternative to timed automata, with better theoretical properti…