Olivier H. Roux

Cited by

	All	Since 2020
Citations	4935	1400
h-index	35	18
i10-index	112	55

360

180

270

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202533 78 96 147 167 296 204 182 282 354 285 265 250 235 271 263 240 259 317 299 270 12

Public access

View all

31 articles

1 article

available

not available

Based on funding mandates

Co-authors

Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.fr
Morgan MagninProfessor of Computer Science, LS2N, École Centrale de Nantes, National Institute of InformaticsVerified email at ec-nantes.fr
Franck Cassezmovement LabsVerified email at movementlabs.xyz
Charlotte SeidnerUniversity of Nantes - IRCCyN UMR CNRS 6597Verified email at irccyn.ec-nantes.fr
Béatrice Bérardprofesseur émérite d'informatique, Sorbonne UniversitéVerified email at lip6.fr
Louis-Marie TraonouezINRIA RennesVerified email at inria.fr
Claude JardProfesseur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)Verified email at univ-nantes.fr
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Hanifa Bouchenebprofesseur, GIGL, École Polytechnique de MontréalVerified email at polymtl.ca
Sebastien FaucouUniversité de NantesVerified email at univ-nantes.fr
Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FranceVerified email at univ-paris13.fr
John MullinsÉcole Polytechnique de MontréalVerified email at polymtl.ca
Marc BoyerONERAVerified email at onera.fr
Bernard BerthomieuLAAS-CNRSVerified email at laas.fr
Matthias BrunESEOVerified email at eseo.fr
Jérôme DelatourESEOVerified email at eseo.fr
Claude MARTINEZNantes UniversitéVerified email at univ-nantes.fr
S AkshayIIT BombayVerified email at cse.iitb.ac.in

Olivier H. Roux

Professor - Ecole Centrale Nantes, LS2N (CNRS) - France

Verified email at ec-nantes.fr - Homepage

Real Time Systems - Formal Methods - Petri Nets


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Structural translation from time Petri nets to timed automata F Cassez, OH Roux Journal of Systems and Software 79 (10), 1456-1468, 2006	267*	2006
Romeo: A tool for analyzing time Petri nets G Gardey, D Lime, M Magnin, OH Roux Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	235	2005
Romeo: A parametric model-checker for Petri nets with stopwatches D Lime, OH Roux, C Seidner, LM Traonouez Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009	187	2009
Comparison of the expressiveness of timed automata and time Petri nets B Bérard, F Cassez, S Haddad, D Lime, OH Roux International conference on formal modeling and analysis of timed systems …, 2005	136	2005
Comparison of different semantics for time Petri nets B Bérard, F Cassez, S Haddad, D Lime, OH Roux Automated Technology for Verification and Analysis: Third International …, 2005	118	2005
Model checking of time Petri nets using the state class timed automaton D Lime, OH Roux Discrete Event Dynamic Systems 16, 179-205, 2006	109	2006
TCTL model checking of time Petri nets H Boucheneb, G Gardey, OH Roux Journal of Logic and Computation 19 (6), 1509-1540, 2009	107	2009
Integer parameter synthesis for real-time systems A Jovanović, D Lime, OH Roux IEEE Transactions on Software Engineering 41 (5), 445-461, 2014	104*	2014
Reachability problems and abstract state spaces for time Petri nets with stopwatches B Berthomieu, D Lime, OH Roux, F Vernadat Discrete Event Dynamic Systems 17, 133-158, 2007	102	2007
Integer parameter synthesis for real-time systems A Jovanovic, D Lime, OH Roux Institute of electrical and electronics engineers, 2015	100	2015
Hybrid modelling and dynamical analysis of gene regulatory networks with delays J Ahmad, G Bernot, JP Comet, D Lime, O Roux ComPlexUs 3 (4), 231-251, 2007	92	2007
Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation OH Roux, D Lime Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004	86	2004
A t-time Petri net extension for real time-task scheduling modeling OH Roux, AM Déplanche European Journal of Automation 36 (7), 973--987, 2002	85	2002
On the compared expressiveness of arc, place and transition time Petri nets M Boyer, OH Roux Fundamenta Informaticae 88 (3), 225-249, 2008	82	2008
Using zone graph method for computing the state space of a time Petri net G Gardey, OH Roux, OF Roux Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004	81	2004
Semantics of Biological Regulatory Networks G Bernot, F Cassez, JP Comet, F Delaplace, C Müller, O Roux Electronic Notes in Theoretical Computer Science, 2003	78*	2003
State space computation and analysis of time Petri nets G Gardey, OH Roux, OF Roux Theory and Practice of Logic Programming 6 (3), 301-320, 2006	72	2006
State class timed automaton of a time Petri net D Lime Petri Nets and Performance Models, IEEE International Workshop on, 124-124, 2003	69	2003
Parametric model-checking of stopwatch Petri nets LM Traonouez, D Lime, OH Roux Journal of Universal Computer Science 15 (17), 3273-3304, 2009	63	2009
Formal verification of real-time systems with preemptive scheduling D Lime, O Roux Real-Time Systems 41 (2), 118-151, 2009	60	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors