Didier Lime

According to our database, Didier Lime authored at least 87 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On Parametric DBMs and Their Applications to Time Petri Nets.

Loriane Leclercq, Didier Lime, Olivier H. Roux

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

2023

Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata.

Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun

Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata.

Étienne André, Didier Lime, Olivier H. Roux

CoRR, 2023

Timed Non-interference Under Partial Observability and Bounded Memory.

Anthony Spriet, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

A State Class Based Controller Synthesis Approach for Time Petri Nets.

Loriane Leclercq, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Guaranteeing Timed Opacity using Parametric Timed Model Checking.

Étienne André, Didier Lime, Dylan Marinho, Jun Sun

ACM Trans. Softw. Eng. Methodol., 2022

Control of Real-Time Systems With Integer Parameters.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

IEEE Trans. Autom. Control., 2022

Reachability and liveness in parametric timed automata.

Étienne André, Didier Lime, Olivier H. Roux

Log. Methods Comput. Sci., 2022

2021

Parametric updates in parametric timed automata.

Étienne André, Didier Lime, Mathias Ramparison

Log. Methods Comput. Sci., 2021

Cost Problems for Parametric Time Petri Nets.

Didier Lime, Olivier H. Roux, Charlotte Seidner

Fundam. Informaticae, 2021

Parametric Analyses of Attack-fault Trees.

Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga

Fundam. Informaticae, 2021

Logical time control of concurrent DES.

Jean-Luc Béchennec, Didier Lime, Olivier H. Roux

Discret. Event Dyn. Syst., 2021

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs.

Bastien Sérée, Loïg Jezequel, Didier Lime

Proceedings of the Language and Automata Theory and Applications, 2021

A Lazy Query Scheme for Reachability Analysis in Petri Nets.

Loïg Jezequel, Didier Lime, Bastien Sérée

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

A Turn-Based Approach for Qualitative Time Concurrent Games.

Serge Haddad, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Language Preservation Problems in Parametric Timed Automata.

Étienne André, Didier Lime, Nicolas Markey

Log. Methods Comput. Sci., 2020

Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems.

Adrien Quillet, Audrey Queudet, Didier Lime

Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

Backward Symbolic Optimal Reachability in Weighted Timed Automata.

Rémi Parrot, Didier Lime

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

Parametric Verification: An Introduction.

Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci

Trans. Petri Nets Other Model. Concurr., 2019

A game approach to the parametric control of real-time systems.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

Int. J. Control, 2019

Parametric Timed Broadcast Protocols.

Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning.

Hélène Coullon, Claude Jard, Didier Lime

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

On the Expressive Power of Invariants in Parametric Timed Automata.

Étienne André, Didier Lime, Mathias Ramparison

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Parametric Statistical Model Checking of UAV Flight Plan.

Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets.

Didier Lime, Olivier H. Roux, Charlotte Seidner

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

Control of DES with Urgency, Avoidability and Ineluctability.

Jean-Luc Béchennec, Didier Lime, Olivier H. Roux

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018

Reachability in parametric Interval Markov Chains using constraints.

Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet

Theor. Comput. Sci., 2018

TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants.

Étienne André, Didier Lime, Mathias Ramparison

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Optimal-Cost Reachability Analysis Based on Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

Timed Automata with Parametric Updates.

Étienne André, Didier Lime, Mathias Ramparison

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Towards energy-proportional clouds partially powered by renewable energy.

Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha

Computing, 2017

Reachability in Parametric Interval Markov Chains Using Constraints.

Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata.

Loïg Jezequel, Didier Lime

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Optimal Reachability in Cost Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Coverability Synthesis in Parametric Petri Nets.

Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Liveness in L/U-Parametric Timed Automata.

Étienne André, Didier Lime

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

Interrupt Timed Automata with Auxiliary Clocks and Parameters.

Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime

Fundam. Informaticae, 2016

Parameter Synthesis for Parametric Interval Markov Chains.

Benoît Delahaye, Didier Lime, Laure Petrucci

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Decision Problems for Parametric Timed Automata.

Étienne André, Didier Lime, Olivier H. Roux

Proceedings of the Formal Methods and Software Engineering, 2016

Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems.

Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

On the Expressiveness of Parametric Timed Automata.

Étienne André, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Lazy Reachability Analysis in Distributed Systems.

Loïg Jezequel, Didier Lime

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Probabilistic Time Petri Nets.

Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015

Integer Parameter Synthesis for Real-Time Systems.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

IEEE Trans. Software Eng., 2015

Control and synthesis of non-interferent timed systems.

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux

Int. J. Control, 2015

Discrete Parameters in Petri Nets (Informal Presentation).

Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

The EPOC Project - Energy Proportional and Opportunistic Computing System.

Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha

Proceedings of the SMARTGREENS 2015, 2015

Integer-Complete Synthesis for Bounded Parametric Timed Automata.

Étienne André, Didier Lime, Olivier H. Roux

Proceedings of the Reachability Problems - 9th International Workshop, 2015

Discrete Parameters in Petri Nets.

Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Blending Timed Formal Models with Clock Transition Systems.

Claude Jard, Didier Lime, Olivier H. Roux

Fundam. Informaticae, 2014

On Time with Minimal Expected Cost!

Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

The expressive power of time Petri nets.

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

Theor. Comput. Sci., 2013

Symbolic unfolding of parametric stopwatch Petri nets.

Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez

Formal Methods Syst. Des., 2013

Shrinking of Time Petri nets.

Didier Lime, Claude Martinez, Olivier H. Roux

Discret. Event Dyn. Syst., 2013

Integer Parameter Synthesis for Timed Automata.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Parametric Interrupt Timed Automata.

Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime

Proceedings of the Reachability Problems - 7th International Workshop, 2013

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

Proceedings of the Automated Technology for Verification and Analysis, 2013

On Multi-enabledness in Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Models for Real-Time Embedded Systems.

Didier Lime, Olivier H. Roux, Jirí Srba

Proceedings of the Communicating Embedded Systems, 2013

Tools for Model-Checking Timed Systems.

Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Proceedings of the Communicating Embedded Systems, 2013

2012

Channel Synthesis for Finite Transducers.

Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas

Int. J. Found. Comput. Sci., 2012

Real-time control with parametric timed reachability games.

Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Robustness of Time Petri Nets under Architectural Constraints.

S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Clock Transition Systems.

Didier Lime, Olivier H. Roux, Claude Jard

Proceedings of the 21th International Workshop on Concurrency, 2012

2010

New Results on Timed Specifications.

Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Diagnosis Using Unfoldings of Parametric Time Petri Nets.

Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Symbolic Unfolding of Parametric Stopwatch Petri Nets.

Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Formal verification of real-time systems with preemptive scheduling.

Didier Lime, Olivier H. Roux

Real Time Syst., 2009

Parametric Model-Checking of Stopwatch Petri Nets.

Louis-Marie Traonouez, Didier Lime, Olivier H. Roux

J. Univers. Comput. Sci., 2009

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.

Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Synthesis of Non-Interferent Timed Systems.

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008

When are Timed Automata weakly timed bisimilar to Time Petri Nets?

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

Theor. Comput. Sci., 2008

Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.

Louis-Marie Traonouez, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).

Morgan Magnin, Didier Lime, Olivier H. Roux

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.

Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat

Discret. Event Dyn. Syst., 2007

UPPAAL-Tiga: Time for Playing Games!

Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Timed Control with Observation Based and Stuttering Invariant Strategies.

Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Vérification formelle des systèmes temps-réel avec ordonnancement préemptif.

Didier Lime, Olivier H. Roux

Tech. Sci. Informatiques, 2006

Model Checking of Time Petri Nets Using the State Class Timed Automaton.

Didier Lime, Olivier H. Roux

Discret. Event Dyn. Syst., 2006

2005

An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.

Morgan Magnin, Didier Lime, Olivier H. Roux

Proceedings of the 3rd Workshop on Software Model Checking, 2005

Comparison of the Expressiveness of Timed Automata and Time Petri Nets.

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Efficient On-the-Fly Algorithms for the Analysis of Timed Games.

Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Romeo: A Tool for Analyzing Time Petri Nets.

Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Comparison of Different Semantics for Time Petri Nets.

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets.

Didier Lime, Olivier H. Roux

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.

Olivier H. Roux, Didier Lime

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

State class timed automaton of a time Petri net.

Didier Lime, Olivier H. Roux

Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003