Sandie Balaguer

According to our database, Sandie Balaguer authored at least 6 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Building Occurrence Nets from Reveals Relations.

Sandie Balaguer, Thomas Chatain, Stefan Haar

Fundam. Informaticae, 2013

2012

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

Sandie Balaguer

PhD thesis, 2012

Avoiding Shared Clocks in Networks of Timed Automata.

Sandie Balaguer, Thomas Chatain

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Building Tight Occurrence Nets from Reveals Relations.

Sandie Balaguer, Thomas Chatain, Stefan Haar

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

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

A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata.

Sandie Balaguer, Thomas Chatain, Stefan Haar

Proceedings of the TIME 2010, 2010