Guillaume Gardey

TCTL Model Checking of Time Petri Nets

Hanifa Boucheneb, Guillaume Gardey, Olivier Roux · Journal of Logic and Computation · 2009 · 78 citations · Full text

Computing, Computer Science, Computer Systems +11

A chemical sensor array based system for protecting wastewater treatment plants

Wilfrid Bourgeois, Guillaume Gardey, Myriam Servières et al. · Sensors and Actuators B Chemical · 2003 · 50 citations

Engineering, Chemical Engineering, Environmental Engineering +14

State space computation and analysis of Time Petri Nets

Guillaume Gardey, Olivier Roux, OLIVIER F. ROUX · Theory and Practice of Logic Programming · 2006 · 39 citations

Computing, Computer Engineering, Computer Science +17

Non-Interference Control Synthesis for Security Timed Automata

Guillaume Gardey, John Mullins, Olivier Roux · Electronic Notes in Theoretical Computer Science · 2007 · 30 citations · Full text

Computing, Computer Engineering, Computer Science +17

Safety Control Synthesis for Time Petri Nets

Guillaume Gardey, Olivier Roux, Olivier Roux · 2006 · 14 citations

Engineering, Systems Engineering, Dynamical Systems +15