Publications

Back to the main page / Retour à la page principale

Journal papers

International journals

[ALMS22] Étienne André, Didier Lime, Dylan Marinho, and Jun Sun, Guaranteeing Timed Opacity using Parametric Timed Model Checking. In ACM Transactions on Software Engineering and Methodology, 2022, ACM.
[http]
[JLR22] Aleksandra Jovanović, Didier Lime, and Olivier H. Roux, Control of Real-time Systems with Integer Parameters. In IEEE Transactions on Automatic Control, 67(1):75-88, 2022. IEEE.
[http] [pdf]
[ALR22] Étienne André and Didier Lime, and Olivier H. Roux, Reachability and liveness in parametric timed automata In Logical Methods in Computer Science (LMCS) 18(1), 2022.
[http]
[LRS21] Didier Lime, Olivier H. Roux and Charlotte Seidner, Cost Problems for Parametric Time Peri Nets. In Fundamenta Informaticae 183(1-2):97-123, 2021.
[pdf]
[ALRS21] Étienne André, Didier Lime, Mathias Ramparison, and Mariëlle Stoelinga, Parametric Analyses of Attack-fault Trees. In Fundamenta Informaticae 182(1):69-94, 2021.
[http]
[ALR21] Étienne André and Didier Lime, and Mathias Ramparison, Parametric Updates in Parametric Timed Automata. In Logical Methods in Computer Science (LMCS) 17(2), 2021.
[http]
[BLR21] Jean-Luc Béchennec, Didier Lime and Olivier H. Roux Logical time control of concurrent DES. In Journal of Discrete Event Dynamic Systems - Theory and Applications (jDEDS), 2021. Springer. DOI 10.1007/s10626-020-00333-x
[http]
[ALM20] Étienne André and Didier Lime, and Nicolas Markey, Language Preservation Problems in Parametric Timed Automata. In Logical Methods in Computer Science (LMCS) 16(1), 2020.
[http]
[AKL+19] Étienne André, Michał Knapik, Didier Lime, Wojciech Penczek, and Laure Petrucci, Parametric Verification: An Introduction. In Transactions on Petri Nets and Other Models of Concurrency XIV, LNCS 11790, pp. 64-100, 2019. Springer
[pdf]
[JLR19] Aleksandra Jovanović, Didier Lime, and Olivier H. Roux, A Game Approach to the Parametric Control of Real-Time Systems. In International Journal of Control, 92(9):2025-2036, 2019. Taylor and Francis
[http]
[BDF+18] Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, and Charlotte Truchet, Reachability in Parametric Interval Markov Chains using Constraints. In Theoretical Computer Science, 747:48-74, 2018. Elsevier
[http]
[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

[ALL+23] Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, and Jun Sun, Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. In 1st Workshop on Trends in Configurable Systems Analysis (TiCSA@ETAPS 2023), April 2023, Paris, France. EPTCS.
[SLR23] Anthony Spriet, Didier Lime and Olivier H. Roux, Timed non-interference under Partial Observability and Bounded Memory. In 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023), September 2023, Antwerp, Belgium. Springer. Best paper award.
[LLR23] Loriane Leclercq, Didier Lime and Olivier H. Roux, A State Class Based Controller Synthesis Approach for Time Petri Nets. In 44th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2023). June 2023, Lisbon, Portugal. Springer.
[HLR21] Serge Haddad, Didier Lime and Olivier H. Roux, A Turn-Based Approach for Qualitative Time Concurrent Games. In 42nd International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2021). June 2021, Paris, France. Springer.
[JLS21] Loïg Jezequel, Didier Lime and Bastien Sérée, A Lazy Query Scheme for Reachability Analysis in Petri nets. In 42th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2021). June 2021, Paris, France. Springer.
[SJL21] Bastien Sérée, Loïg Jezequel and Didier Lime An Algorithm for Single-source Shortest Paths Enumeration in Parameterized Weighted Graphs. In 15th International Conference on Language and Automata Theory and Applications (LATA 2021), March 2021, Milan, Italy. Springer. Best paper award.
[PL20] Rémi Parrot and Didier Lime, Backward Symbolic Optimal Reachability in Weighted Timed Automata. In 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), September 2020, Vienna, Austria. Springer.
[QQL20] Adrien Quillet, Audrey Queudet and Didier Lime, Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems. In 28th International Conference on Real-Time Networks and Systems (RTNS 2020), June 2020, Paris, France. ACM ICPS.
[CJL19] Hélène Coullon, Claude Jard and Didier Lime, Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning. In 15th International Conference on integrated Formal Methods (iFM 2019), December 2019, Bergen, Norway. LNCS Springer.
[ALR19c] Étienne André and Didier Lime, Mathias Ramparison, On the Expressive Power of Invariants in Parametric Timed Automata. In 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). November 2019, Nansha, Guangzhou, China. IEEE Computer Society.
[BAD+19] Ran Bao, Christian Attiogbe, Benoît Delahaye, Paulin Fournier, and Didier Lime, Parametric Statistical Model-checking of UAV Flight Plan. In 39th International Conference on Formal Techniques for Distributed Objects, Components, and Software (FORTE 2019). June 2019, Copenhaguen, Danmark. LNCS, Springer.
[ALR19b] Étienne André and Didier Lime, Mathias Ramparison, Parametric Updates in Parametric Timed Automata. In 39th International Conference on Formal Techniques for Distributed Objects, Components, and Software (FORTE 2019). June 2019, Copenhaguen, Denmark. LNCS, Springer.
[ALR19a] Étienne André, Didier Lime, Mathias Ramparison and Mariëlle Stoelinga, Parametric Analyses of Attack-fault Trees. In 19th International Conference on Application of Concurrency to System Design (ACSD 2019), June 2019, Aachen, Germany. IEEE Computer Society.
[BLR19] Jean-Luc Béchennec, Didier Lime and Olivier H. Roux Control of DES with Urgency, Avoidability and Ineluctability. In 19th International Conference on Application of Concurrency to System Design (ACSD 2019), June 2019, Aachen, Germany. IEEE Computer Society.
[LRS19] Didier Lime, Olivier H. Roux, and Charlotte Seidner, Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. In 40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019). June 2019, Aachen, Germany. Springer.
[pdf].
[ADFL19] Étienne André, Benoît Delahaye, Paulin Fournier, and Didier Lime, Parametric Timed Broadcast Protocols. In 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019). January 2019, Lisbon, Portugal. LNCS, Springer.
[ALR18b] Étienne André and Didier Lime, Mathias Ramparison, TCTL model checking lower/upper-bound parametric timed automata without invariants. In 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), September 2018, Beijing, China. LNCS 11022, Springer.
[pdf].
[ALR18a] Étienne André and Didier Lime, Mathias Ramparison, Timed Automata with Parametric Updates. In 18th International Conference on Application of Concurrency to System Design (ACSD 2018), June 2018, Bratislava, Slovakia. IEEE Computer Society.
[pdf].
[BLRS18] Hanifa Boucheneb, Didier Lime, Olivier H. Roux, and Charlotte Seidner, Optimal-cost Reachability Analysis based on Time Petri Nets. In 18th International Conference on Application of Concurrency to System Design (ACSD 2018), June 2018, Bratislava, Slovakia. IEEE Computer Society.
[pdf].
[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.
[pdf (from LIPIcs)].
[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 10419, Springer.
[pdf].
[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 10419, Springer.
[pdf].
[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 10503, Springer. Best paper award.
[pdf].
[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.
[pdf].
[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.
[pdf].
[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