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

Avoiding Shared Clocks in Networks of Timed Automata.

Sandie Balaguer, Thomas Chatain

Log. Methods Comput. Sci., 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

A concurrency-preserving translation from time Petri nets to networks of timed automata.

Sandie Balaguer, Thomas Chatain, Stefan Haar

Formal Methods Syst. Des., 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