Guillaume Gardey

According to our database, Guillaume Gardey authored at least 5 papers between 2003 and 2009.

Collaborative distances:

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

2009

TCTL Model Checking of Time Petri Nets.

Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux

J. Log. Comput., 2009

2006

State space computation and analysis of Time Petri Nets.

Guillaume Gardey, Olivier H. Roux, Olivier F. Roux

Theory Pract. Log. Program., 2006

2005

Non-Interference Control Synthesis for Security Timed Automata.

Guillaume Gardey, John Mullins, Olivier H. Roux

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Romeo: A Tool for Analyzing Time Petri Nets.

Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2003

Using Zone Graph Method for Computing the State Space of a Time Petri Net.

Guillaume Gardey, Olivier H. Roux, Olivier F. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003