Olivier H Roux

Olivier H Roux

École Centrale de Nantes - Nantes / France
Others
AD Scientific Index ID: 1660223
Central School of Nantes
person_outline Olivier H Roux's MOST POPULAR ARTICLES
1-) Structural translation from time Petri nets to timed automataF Cassez, OH RouxJournal of Systems and Software 79 (10), 1456-1468, 2006261*2006
2-) Romeo: A tool for analyzing time Petri netsG Gardey, D Lime, M Magnin, O RouxInternational Conference on Computer Aided Verification, 418-423, 20052212005
3-) Romeo: A parametric model-checker for Petri nets with stopwatchesD Lime, OH Roux, C Seidner, LM TraonouezInternational Conference on Tools and Algorithms for the Construction and …, 20091582009
4-) Comparison of the expressiveness of timed automata and time Petri netsB Bérard, F Cassez, S Haddad, D Lime, OH RouxInternational conference on formal modeling and analysis of timed systems …, 20051352005
5-) Comparison of different semantics for time Petri netsB Bérard, F Cassez, S Haddad, D Lime, OH RouxAutomated Technology for Verification and Analysis: Third International …, 20051162005