Sandie Balaguer

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Reachability Analysis

Top Venues

Fundam. Informaticae

Formal Methods Syst. Des.

Log. Methods Comput. Sci.

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Sandie Balaguer, Thomas Chatain
Avoiding Shared Clocks in Networks of Timed Automata. Log. Methods Comput. Sci. 9 (4) (2013)
Sandie Balaguer, Thomas Chatain, Stefan Haar
Building Occurrence Nets from Reveals Relations. Fundam. Informaticae 123 (3) (2013)
Sandie Balaguer, Thomas Chatain, Stefan Haar
A concurrency-preserving translation from time Petri nets to networks of timed automata. Formal Methods Syst. Des. 40 (3) (2012)
Sandie Balaguer, Thomas Chatain
Avoiding Shared Clocks in Networks of Timed Automata. CONCUR (2012)
Sandie Balaguer, Thomas Chatain, Stefan Haar
Building Tight Occurrence Nets from Reveals Relations. ACSD (2011)
Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas
Scenario-based verification of real-time systems using Uppaal. Formal Methods Syst. Des. 37 (2-3) (2010)
Sandie Balaguer, Thomas Chatain, Stefan Haar
A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. TIME (2010)