Guillaume Gardey

	2009
6		Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux: TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19(6): 1509-1540 (2009)
	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

Coauthor Index

1	Hanifa Boucheneb	[6]
2	Didier Lime	[3]
3	Morgan Magnin	[3]
4	John Mullins	[5]
5	Olivier F. Roux	[1] [2] [4]
6	Olivier H. Roux (Olivier Roux)	[1] [2] [3] [4] [5] [6]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page