Didier Lime

Cited by

	All	Since 2016
Citations	2607	955
h-index	24	17
i10-index	46	27

260

130

195

20042005200620072008200920102011201220132014201520162017201820192020202113 35 52 90 107 201 148 150 202 244 186 177 168 185 209 226 162 4

Co-authors

Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceVerified email at ec-nantes.fr
Alexandre DavidSenior Software Engineer, Google Inc.Verified email at cs.aau.dk
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FranceVerified email at univ-paris13.fr
Franck CassezConsensys & Macquarie UniversityVerified email at mq.edu.au
Béatrice Bérardprofesseur d'informatique, Université Pierre et Marie CurieVerified email at lip6.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
Emmanuel FleuryAssociate Professor, University of BordeauxVerified email at u-bordeaux.fr
Louis-Marie TraonouezINRIA RennesVerified email at inria.fr
Morgan MagninProfessor of Computer Science, LS2N, École Centrale de Nantes, National Institute of InformaticsVerified email at ec-nantes.fr
Benoît DelahayeAssociate Professor, University of Nantes, LS2NVerified email at univ-nantes.fr
Charlotte SeidnerUniversity of Nantes - IRCCyN UMR CNRS 6597Verified email at irccyn.ec-nantes.fr
Bernard BerthomieuLAAS-CNRSVerified email at laas.fr
Gilles Madi Wamba, PhDPrevision.IOVerified email at prevision.io
Nicolas BeldiceanuFull professor, IMT Atlantique, LS2N-CNRS, FranceVerified email at mines-nantes.fr
axel legayUCLouvainVerified email at uclouvain.be
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
John MullinsÉcole Polytechnique de MontréalVerified email at polymtl.ca
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr

Didier Lime

École Centrale de Nantes

Verified email at ec-nantes.fr

Computer Science Formal Methods Real-time Systems Petri Nets


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Efficient on-the-fly algorithms for the analysis of timed games F Cassez, A David, E Fleury, KG Larsen, D Lime International Conference on Concurrency Theory, 66-80, 2005	331	2005
Uppaal-tiga: Time for playing games! G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime International Conference on Computer Aided Verification, 121-125, 2007	311	2007
Romeo: A tool for analyzing time Petri nets G Gardey, D Lime, M Magnin International Conference on Computer Aided Verification, 418-423, 2005	201	2005
Romeo: A parametric model-checker for Petri nets with stopwatches D Lime, OH Roux, C Seidner, LM Traonouez International Conference on Tools and Algorithms for the Construction and …, 2009	132	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	117	2005
Model checking of time Petri nets using the state class timed automaton D Lime, OH Roux Discrete Event Dynamic Systems 16 (2), 179-205, 2006	88	2006
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, 2006	82	2006
Comparison of different semantics for time Petri nets B Bérard, F Cassez, S Haddad, D Lime, OH Roux International Symposium on Automated Technology for Verification and …, 2005	82	2005
Integer parameter synthesis for real-time systems A Jovanović, D Lime, OH Roux IEEE Transactions on Software Engineering 41 (5), 445-461, 2014	81*	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 (2), 133-158, 2007	81	2007
Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation OH Roux, D Lime International Conference on Application and Theory of Petri Nets, 371-390, 2004	72	2004
Integer parameter synthesis for real-time systems A Jovanovic, D Lime, OH Roux IEEE Transactions on Software Engineering 41 (5), 445-461, 2015	69	2015
State class timed automaton of a time Petri net D Lime Petri Nets and Performance Models, IEEE International Workshop on, 124-124, 2003	60	2003
Formal verification of real-time systems with preemptive scheduling D Lime Real-Time Systems 41 (2), 118-151, 2009	55	2009
Parametric Model-Checking of Stopwatch Petri Nets. LM Traonouez, D Lime, OH Roux J. UCS 15 (17), 3273-3304, 2009	53	2009
Timed control with observation based and stuttering invariant strategies F Cassez, A David, KG Larsen, D Lime, JF Raskin International Symposium on Automated Technology for Verification and …, 2007	51	2007
On time with minimal expected cost! A David, PG Jensen, KG Larsen, A Legay, D Lime, MG Sørensen, ... International Symposium on Automated Technology for Verification and …, 2014	45	2014
The expressive power of time Petri nets B Berard, F Cassez, S Haddad, D Lime, OH Roux Theoretical Computer Science 474, 1-20, 2013	40	2013
Expressiveness and analysis of scheduling extended time Petri nets D Lime, OH Roux IFAC Proceedings Volumes 36 (13), 189-197, 2003	38	2003
A translation based method for the timed analysis of scheduling extended time Petri nets D Lime, OH Roux 25th IEEE International Real-Time Systems Symposium, 187-196, 2004	36	2004

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

Upload PDF

Follow this author

Cited by

Co-authors