 | 2007 |
|---|
| 5 |       | Guillaume Gardey,
John Mullins,
Olivier H. Roux:
Non-Interference Control Synthesis for Security Timed Automata.
Electr. Notes Theor. Comput. Sci. 180(1): 35-53 (2007) |
| 2006 |
|---|
| 4 | | Guillaume Gardey,
Olivier H. Roux,
Olivier F. Roux:
State space computation and analysis of Time Petri Nets.
TPLP 6(3): 301-320 (2006) |
| 2005 |
|---|
| 3 | | Guillaume Gardey,
Didier Lime,
Morgan Magnin,
Olivier H. Roux:
Romeo: A Tool for Analyzing Time Petri Nets.
CAV 2005: 418-423 |
| 2 | | Guillaume Gardey,
Olivier H. Roux,
Olivier F. Roux:
State Space Computation and Analysis of Time Petri Nets
CoRR abs/cs/0505023: (2005) |
| 2003 |
|---|
| 1 | | Guillaume Gardey,
Olivier H. Roux,
Olivier F. Roux:
Using Zone Graph Method for Computing the State Space of a Time Petri Net.
FORMATS 2003: 246-259 |
