Using Zone Graph Method for Computing the State Space of a Time Petri Net. - Guillaume Gardey; Olivier H. Roux; Olivier F. Roux (FORMATS, 2003)

Romeo: A Tool for Analyzing Time Petri Nets. - Guillaume Gardey; Didier Lime; Morgan Magnin; Olivier H. Roux (CAV, 2005)

Non-Interference Control Synthesis for Security Timed Automata. - Guillaume Gardey; John Mullins; Olivier H. Roux (SecCO@CONCUR, 2005)

State space computation and analysis of Time Petri Nets. - Guillaume Gardey; Olivier H. Roux; Olivier F. Roux (Theory Pract. Log. Program., 2006)

TCTL Model Checking of Time Petri Nets. - Hanifa Boucheneb; Guillaume Gardey; Olivier H. Roux (J. Log. Comput., 2009)