Back to the main page / Retour à la page principale
| [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. |
| [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. |
| [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, 403(2-3):202-220, 2008. Elsevier. |
| [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. |
| [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. |
| [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)]. |
| [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) - Special issue in french on
"Modélisation des Systèmes Réactifs", 39(1-2-3):223-238, 2005.
[pdf]. |
| [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. |
| [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. |
| [TBK+11] | Yann Thierry-Mieg, Béatrice Bérard, Fabrice Kordon, Didier Lime, Olivier H. Roux, and 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. |
| [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. |
| [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. |
| [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. |
| [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. |
| [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. |
| [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. |
| [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]. |
| [LMR11] | Didier Lime, Claude Martinez and Olivier H. Roux. Coercition temporelle de réseaux de Petri. In 8ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR 2011), November 2011, Lille, France. |
| [BLRV05a] |
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.
In 5ème Colloque Francophone sur la Modélisation des Systèmes
Réactifs (MSR 2005), October 2005, Grenoble, France.
[pdf]. |
| [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. |
| [RL09] |
Olivier H. Roux
and Didier Lime.
Modélisation des Systèmes Réactifs. 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] |
| [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. |
| [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]. |
| [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]. |