dblp.uni-trier.dewww.uni-trier.de

Guillaume Gardey

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5EEGuillaume 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
4EEGuillaume Gardey, Olivier H. Roux, Olivier F. Roux: State space computation and analysis of Time Petri Nets. TPLP 6(3): 301-320 (2006)
2005
3EEGuillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux: Romeo: A Tool for Analyzing Time Petri Nets. CAV 2005: 418-423
2EEGuillaume Gardey, Olivier H. Roux, Olivier F. Roux: State Space Computation and Analysis of Time Petri Nets CoRR abs/cs/0505023: (2005)
2003
1EEGuillaume 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)