Scenario-based verification of real-time systems using Uppaal. - Shuhao Li; Sandie Balaguer; Alexandre David; Kim G. Larsen; Brian Nielsen; Saulius Pusinskas (Formal Methods Syst. Des., 2010)

Building Tight Occurrence Nets from Reveals Relations. - Sandie Balaguer; Thomas Chatain; Stefan Haar (ACSD, 2011)

A concurrency-preserving translation from time Petri nets to networks of timed automata. - Sandie Balaguer; Thomas Chatain; Stefan Haar (Formal Methods Syst. Des., 2012)

Study of concurrency in real-time distributed systems. (La concurrence dans les systèmes temps-réel distribués). - Sandie Balaguer (2012)

Avoiding Shared Clocks in Networks of Timed Automata. - Sandie Balaguer; Thomas Chatain (Log. Methods Comput. Sci., 2013)

Building Occurrence Nets from Reveals Relations. - Sandie Balaguer; Thomas Chatain; Stefan Haar (Fundam. Informaticae, 2013)