Publications

Back to the main page / Retour à la page principale

Journal papers

International journals

[BHJL16] Béatrice Bérard, Serge Haddad, Aleksandra Jovanović, Didier Lime, Interrupt Timed Automata with Auxiliary Clocks and Parameters. In Fundamenta Informaticae, 143(3-4):235-259, 2016. IOS Press.
[pdf].
[JLR15] Aleksandra Jovanović, Didier Lime, and Olivier H. Roux, Integer Parameter Synthesis for Real-Time Systems. In IEEE Transactions on Software Engineering, 41(5):445-461, 2015. IEEE Computer Society Press.
[http] [pdf].
[BCLR15] Gilles Benattar, Franck Cassez, Didier Lime and Olivier H. Roux, Control and Synthesis of Non-Interferent Timed Systems. In International Journal of Control, 88(2):217-236, 2015. Taylor & Francis. DOI 10.1080/00207179.2014.944356.
[http] [pdf].
[JLR14] Claude Jard, Didier Lime, and Olivier H. Roux. Blending Timed Formal Models with Clock Transition Systems. In Fundamenta Informaticae, 129(1-2):85-100, 2014. IOS Press.
[pdf].
[JLRT13] Claude Jard, Didier Lime, Olivier H. Roux, and Louis-Marie Traonouez, Symbolic Unfolding of Parametric Stopwatch Petri Nets. In Formal Methods in System Design (FMSD), 43(3):493-519, 2013. Springer.
[http] [pdf].
[LMR13] Didier Lime, Claude Martinez and Olivier H. Roux. Shrinking of time Petri nets. In Journal of Discrete Event Dynamic Systems - Theory and Applications (jDEDS), 23(4):419-438, 2013. Springer. DOI 10.1007/s10626-013-0159-1.
[http] [pdf].
[BCH+13] Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime and Olivier H. Roux. The Expressive Power of Time Petri Nets. Theoretical Computer Science (TCS), 414:1-20, 2013. Elsevier. DOI 10.1016/j.tcs.2012.12.005
[http] [pdf].
[BBL+12] Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, and Mathieu Sassolas. Channel Synthesis for Finite Transducers. In International Journal of Foundations of Computer Science (IJFCS), 23(6):12-41, 2012. World Scientific Publishing Company.
[pdf].
[TLR09] Louis-Marie Traonouez, Didier Lime and Olivier H. Roux, Parametric model-checking of stopwatch Petri nets. In Journal of Universal Computer Science (J.UCS), 15(17):3273-3304, 2009. Graz University of Technology and Universiti Malaysia Sarawak.
[pdf].
[LR08] Didier Lime and Olivier H. Roux. Formal verification of real-time systems with preemptive scheduling . Journal of Real-Time Systems (jRTS), 41(2):118-151, 2008. Springer.
[pdf].
[BCH+08] Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime and Olivier H. Roux. When are timed automata weakly timed bisimilar to time Petri nets? Theoretical Computer Science (TCS), 403(2-3):202-220, 2008. Elsevier.
[pdf].
[ABC+06] Jamil Ahmad, Gilles Bernot, Jean-Paul Comet, Didier Lime and Olivier Roux. Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays. ComPlexUs, 3(4):231-251, June 2006. Karger Publisher.
[pdf].
[BLRV07] Bernard Berthomieu, Didier Lime, Olivier H. Roux, and François Vernadat. Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Journal of Discrete Event Dynamic Systems - Theory and Applications (jDEDS), 17(2):133-158, April 2007. Springer.
[pdf].
[LR06a] Didier Lime and Olivier H. Roux. Model checking of Time Petri Nets using the State Class Timed Automaton. Journal of Discrete Event Dynamic Systems - Theory and Applications (jDEDS), 16(2):179-205, 2006. Springer.
[pdf (updated version)].

National journals or articles in French

[LMR11] Didier Lime, Claude Martinez and Olivier H. Roux. Coercition temporelle de réseaux de Petri. Journal européen des systèmes automatisés (JESA) - Proceedings of "Modélisation des Systèmes Réactifs (MSR 2011)", 45(1-2-3):13-28, 2011.
[LR06b] Didier Lime and Olivier H. Roux. Vérification formelle des systèmes temps réel avec ordonnancement préemptif. In Techniques et Sciences Informatiques (TSI), Hermes-Science, 25(3):347-375, 2006.
[BLRV05b] Bernard Berthomieu, Didier Lime, Olivier H. Roux, and François Vernadat. Problèmes d'Accessibilité et Espaces d'États Abstraits des Réseaux de Petri Temporels à Chronomètres. Journal européen des systèmes automatisés (JESA) - Proceedings of "Modélisation des Systèmes Réactifs (MSR 2005)", 39(1-2-3):223-238, 2005.
[pdf].

Conference papers

International conferences and Workshops

[DJLR17] Nicolas David, Claude Jard, Didier Lime and Olivier H. Roux, Coverability Synthesis in Parametric Petri Nets. In 28th International Conference on Concurrency Theory (CONCUR 2017). September 2017, Berlin, Germany. LIPIcs, Dagstuhl Publishing.
[BLP+17] Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, and Charlotte Seidner, Optimal Reachability in Cost Time Petri Nets. In 15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017), September 2017, Berlin, Germany. LNCS, Springer.
[JL17] Loïg Jezequel and Didier Lime, Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata. In 15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017), September 2017, Berlin, Germany. LNCS, Springer.
[BDL+17] Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, and Charlotte Truchet, Reachability in Parametric Interval Markov Chains using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017), September 2017, Berlin, Germany. LNCS, Springer. Best paper award.
[AL17] Étienne André and Didier Lime, Liveness in L/U-Parametric Timed Automata. In 17th International Conference on Application of Concurrency to System Design (ACSD 2017), June 2017, Zaragoza, Spain. IEEE Computer Society.
[PRH+16] Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Didier Lime, Olivier H. Roux, and Étienne André, Applying parametric model-checking techniques for reusing real-time critical systems. In 5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), November 2016, Tokyo, Japan. CCIS, Springer.
[ALR16b] Étienne André, Didier Lime and Olivier H. Roux, Decision Problems for Parametric Timed Automata. In 18th International Conference on Formal Engineering Methods (ICFEM 2016). November 2016, Tokyo, Japan. LNCS 10009, Springer.
[pdf].
[ALR16a] Étienne André, Didier Lime and Olivier H. Roux, On the Expressiveness of Parametric Timed Automata. In 14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2016). August 2016, Québec City, Québec, Canada. LNCS 9884, Springer.
[pdf].
[JL16] Loïg Jezequel and Didier Lime. Lazy Reachability Analysis in Distributed Systems. In 27th International Conference on Concurrency Theory (CONCUR 2016). August 2016, Québec City, Québec, Canada. LIPIcs, Dagstuhl Publishing.
[pdf (from LIPIcs)].
[EDLR16] Yrvann Emzivat, Benoît Delahaye, Didier Lime and Olivier H. Roux, Probabilistic Time Petri Nets. In 37th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2016). June 2016, Toruń, Poland. LNCS 9698, Springer.
[pdf].
[DLP16] Benoît Delahaye, Didier Lime and Laure Petrucci, Parameter Synthesis for Parametric Interval Markov Chains. In 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016). January 2016, St. Petersburg, FL, USA. LNCS 9583, Springer.
[pdf].
[ALR15] Étienne André, Didier Lime and Olivier H. Roux, Integer-Complete Synthesis for Bounded Parametric Timed Automata. In 9th International Workshop on Reachability Problems (RP 2015). September 2015, Warsaw, Poland. LNCS 9328, Springer.
[pdf].
[DJLR15] Nicolas David, Claude Jard, Didier Lime and Olivier H. Roux, Discrete Parameters in Petri Nets In 36th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2015). June 2015, Brussels, Belgium. LNCS 9115, Springer.
[pdf].
[DJL+14] Alexandre David, Peter G. Jensen, Kim G. Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob H. Taankvist. On Time with Minimal Expected Cost! In 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014). November 2014, Sydney, Australia. LNCS, Springer.
[pdf].
[Lim14] Didier Lime (with Aleksandra Jovanović and Olivier H. Roux), Integer Parameter Synthesis for Timed Automata. Invited talk at the 1st International Workshop on Synthesis of Continuous Parameters (SynCoP'14). April 2014, Grenoble, France. Volume 145 of EPTCS.
[JLR13b] Aleksandra Jovanović, Didier Lime, and Olivier H. Roux, Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. In 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013). October 2013, Hanoi, Vietnam. LNCS 8172, Springer.
[pdf].
[BHJL13] Béatrice Bérard, Serge Haddad, Aleksandra Jovanović, and Didier Lime, Parametric Interrupt Timed Automata. In 7th International Workshop on Reachability Problems (RP 2013). September 2013, Uppsala, Sweden. LNCS 8169, Springer.
[pdf].
[HLR13] Hanifa Boucheneb, Didier Lime and Olivier H. Roux, On multi-enabledness in time Petri nets. In the 34th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2013), June 2013, Milano, Italy. LNCS 7927, Springer.
[pdf].
[JLR13a] Aleksandra Jovanović, Didier Lime, and Olivier H. Roux, Integer Parameter Synthesis for Timed Automata. In 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013). March 2013, Roma, Italy. LNCS 7795, Springer.
[pdf (see extended journal version [JLR15])].
[JFLR12] Aleksandra Jovanović, Sébastien Faucou, Didier Lime, and Olivier H. Roux, Real-Time Control with Parametric Timed Reachability Games. In 11th International Workshop Discrete Event Systems (WODES'12). October 2012, Guadalajara, Mexico. IFAC.
[pdf].
[AHJ+12] S Akshay, Loïc Hélouët, Claude Jard, Didier Lime and Olivier H. Roux, Robustness of Time Petri Nets under Architectural Constraints. In 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12). September 2012, London, UK. LNCS, Springer.
[pdf].
[JLR12] Claude Jard, Didier Lime, and Olivier H. Roux, Clock Transition Systems. In 21th international Workshop on Concurrency, Specification and Programming (CS&P 2012), September 2012, Berlin, Germany. Białystok University of Technology (ISBN 978-83-62582-42-6).
[pdf (see extended version [JLR14])].
[BDL+12] Thimothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman and Andrzej Wasowski. New Results on Time Specifications. In Recent Trends in Algebraic Development Techniques: Revised selected papers from the 20th International Workshop on Algebraic Development Techniques in Verification, Model Checking, and Abstraction Interpretation (WADT'10). February 2012. LNCS 7137, Springer.
[pdf].
[BBL+11] Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, and Mathieu Sassolas. Channel Synthesis for Finite Transducers. In the 13th International Conference on Automata and Formal Languages (AFL 2011), August 2011, Debrecen, Hungary. Institute of Mathematics and Computer Science of Nyíregyháza College.
[pdf (see extended version [BBL+12])].
[TBK+11] Yann Thierry-Mieg, Béatrice Bérard, Fabrice Kordon, Didier Lime, Olivier H. Roux. Compositional Analysis of Discrete Time Petri nets. In the 1st workshop on Petri Nets Compositions (CompoNet 2011), June 2011, Newcastle, UK. Volume 726 of CEUR.
[pdf].
[TGJ+10] Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime and Olivier H. Roux, Symbolic Unfolding of Parametric Stopwatch Petri Nets. In the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), September 2010, Singapore. LNCS 6252, Springer.
[pdf (see extended version [JLRT13])].
[GTJ+10] Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime and Olivier H. Roux, Diagnosis using Unfoldings of Parametric Time Petri Nets. In the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), September 2010, Vienna, Austria. LNCS 6246, Springer.
[pdf].
[BCLR09] Gilles Benattar, Franck Cassez, Didier Lime and Olivier H. Roux, Synthesis of Non-Interferent Timed Systems. In the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2009), September 2009, Budapest, Hungary. LNCS 5813, Springer.
[pdf (see extended version [BCLR15])].
[LRST09] Didier Lime, Olivier H. Roux, Charlotte Seidner and Louis-Marie Traonouez, Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. In the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), March 2009, York, United Kingdom. LNCS 5505, Springer.
[pdf]
[TLR08] Louis-Marie Traonouez, Didier Lime and Olivier H. Roux, Parametric model-checking of time Petri nets with stopwatches using the state-class graph. In the 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008), September 2008, Saint-Malo, France. LNCS 5215, Springer.
[pdf (see extended version [TLR09])].
[MLR08] Morgan Magnin, Didier Lime and Olivier H. Roux, Symbolic state space of Stopwatch Petri nets with discrete-time semantics. In the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2008), June 2008, Xi'an, China. LNCS 5062, Springer.
[pdf].
[CDL+07] Alexandre David, Franck Cassez, Kim G. Larsen, Didier Lime and Jean-François Raskin. Timed Control with Observation Based and Stuttering Invariant Strategies. In the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), October 2007, Tokyo, Japan. LNCS 4762, Springer.
[pdf].
[BCD+07] Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen and Didier Lime. Uppaal-Tiga: Time for Playing Games! In the 19th International Conference on Computer Aided Verification (CAV 2007), July 2007, Berlin, Germany. LNCS 4590, Springer.
[pdf].
[MLR06] Morgan Magnin, Didier Lime and Olivier H. Roux. An efficient method for computing exact state space of Petri nets with stopwatches. In Electronic Notes in Theoretical Computer Science (Proceedings of SoftMC 2005), 144(3):59-77, February 2006.
[pdf].
[BCH+05c] Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime and Olivier H. Roux. When are timed automata weakly timed bisimilar to time Petri nets? In the 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005), December 2005, Hyderabad, India. LNCS 3821, Springer.
[pdf].
[BCH+05b] Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime and Olivier H. Roux. Comparison of the Expressiveness of Timed Automata and Time Petri Nets. In the 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005), September 2005, Uppsala, Sweden. LNCS 3829, Springer.
[pdf].
[BCH+05a] Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime and Olivier H. Roux. Comparison of Different Semantics for Time Petri Nets. In the 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), October 2005, Taipei, Taiwan. LNCS 3707, Springer.
[pdf].
[CDF+05] Franck Cassez, Alexandre David, Emmanuel Fleury, Kim G. Larsen and Didier Lime. Efficient On-The-Fly Algorithms for the Analysis of Timed Games. In the 16th International Conference on Concurrency Theory (CONCUR 2005), August 2005, San Fransisco, CA, USA. LNCS 3653, Springer. Springer-Verlag
[pdf].
[GLMR05] Guillaume Gardey, Didier Lime, Morgan Magnin and Olivier H. Roux. Roméo: A Tool for Analyzing Time Petri Nets. In the 17th International Conference on Computer-Aided Verification (CAV 2005), pages 418-423, July 2005, Edinburgh, Scotland, UK. Volume 3576 of Lecture Notes in Computer Science. LNCS 3576, Springer. Springer-Verlag
[pdf].
[LR04] Didier Lime and Olivier H. Roux. A translation based method for the timed analysis of scheduling extended time Petri nets. In the 25th IEEE International Real-time Systems Symposium (RTSS 2004), pages 187--196, December 2004, Lisbon, Portugal. IEEE Computer Society. IEEE Computer society
[pdf].
[RL04] Olivier H. Roux and Didier Lime. Time Petri nets with inhibitor hyperarcs: formal semantics and state-space computation. In the 25th international conference on theory and application of Petri nets (ICATPN 2004), pages 371-390, June 2004, Bologna, Italy. LNCS 3099, Springer.
[pdf].
[LR03b] Didier Lime and Olivier H. Roux. State class timed automaton of a time Petri net. In the 10th international workshop on Petri nets and performance models (PNPM 2003), September 2003, Urbana-Champaign, Illinois, USA. Pages 124-133. IEEE Computer society
[See extended version [LR06a]].
[LR03a] Didier Lime and Olivier H. Roux. Expressiveness and analysis of scheduling extended time Petri nets. In the 5th IFAC conference on fieldbus and their applications (FET 2003), July 2003, Aveiro, Portugal. Elsevier Science.
[pdf].

International conferences and workshops with informal proceedings

[BBL+08] Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, and Mathieu Sassolas. Covert channels with sequential transducers. In the LICS Workshop on Foundations of Computer Security (FCS 2009), August 2009, Los Angeles, California, USA.
[BCD+06] Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen and Didier Lime. Uppaal-Tiga: Timed Games for Everyone. In Proceedings of the 18th Nordic Workshop on Programming Theory, October 2006, Reykjavik, Iceland.
[MLR05] Morgan Magnin, Didier Lime and Olivier H. Roux. A method for the efficient computation of an exact state space abstraction for Petri nets with stopwatches. Contributed talk at the 7th International Workshop on Verification of Infinite-State Systems (INFINITY 2005), 27th of August 2005, San Francisco, CA, USA
[pdf].

Books and chapters

Books (as editor)

[RL09] Olivier H. Roux and Didier Lime. Actes de "Modélisation des Systèmes Réactifs (MSR 2009)". Special Issue in French of the European Journal of Automation (JESA), 43(7-8-9), Hermès Lavoisier, November 2009.
[FLR08] Sébastien Faucou, Didier Lime and Olivier H. Roux. Proceedings of the Summer School ETR'2007 (in French). IRCCyN, Nantes, France, September 2007.
[www]

Chapters

[LRS09] Didier Lime, Olivier H. Roux and Jiri Srba. Models for Real-time Embedded Systems, Communicating Embedded Systems -- Software and Design, pp. 1-37. John Wiley / ISTE Publishing, 2009.
[LR08] Didier Lime and Olivier H. Roux. Les modèles pour les systèmes temps réel embarqués (in French), Approches formelles des systèmes embarqués communicants, pp. 45-74. Traité IC2, Hermes Lavoisier, 2008.

Technical reports

[BCLR+08] Gilles Benattar, Franck Cassez, Didier Lime and Olivier H. Roux. Controller Synthesis for Non-Interference Properties. Technical Report IRCCyN, Nantes, April 2008.
[pdf].
[BCH+05d] Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime and Olivier H. Roux. Comparison of the Expressiveness of Timed Automata and Time Petri Nets. Technical Report RI-2005-3, IRCCyN, Nantes, April 2005.
[pdf].
[BLRV04] Bernard Berthomieu, Didier Lime, Olivier H. Roux, and François Vernadat. Reachability problems and abstract state spaces for time Petri nets with stopwatches. Technical report 04483, LAAS, Toulouse, October 2004.
[pdf].
[LR03c] Didier Lime and Olivier H. Roux. Computing the state class time automaton of a transition-time Petri net. Technical report RI_2003-5, IRCCyN, Nantes, 2003.
[pdf].

Other

[LIM12] Didier Lime. Contributions à l'analyse des systèmes temporisés, ouverts et répartis. Mémoire d'habilitation à diriger des recherches (HDR), University of Nantes, France, 2012 (in French)
[pdf].
[LIM04] Didier Lime. Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus. Ph.D thesis, University of Nantes, France, 2004 (in French)
[pdf].

Back to the main page / Retour à la page principale