Guillaume Gardey

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux
TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19 (6) (2009)
Guillaume Gardey, John Mullins, Olivier H. Roux
Non-Interference Control Synthesis for Security Timed Automata. Electron. Notes Theor. Comput. Sci. 180 (1) (2007)
Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
State space computation and analysis of Time Petri Nets. Theory Pract. Log. Program. 6 (3) (2006)
Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
State Space Computation and Analysis of Time Petri Nets CoRR (2005)
Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux
Romeo: A Tool for Analyzing Time Petri Nets. CAV (2005)
Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
Using Zone Graph Method for Computing the State Space of a Time Petri Net. FORMATS (2003)