State class timed automaton of a time Petri net. - Didier Lime; Olivier H. Roux (PNPM, 2003)

Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. - Olivier H. Roux; Didier Lime (ICATPN, 2004)

A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. - Didier Lime; Olivier H. Roux (RTSS, 2004)

Comparison of Different Semantics for Time Petri Nets. - Béatrice Bérard; Franck Cassez; Serge Haddad; Didier Lime; Olivier H. Roux (ATVA, 2005)

Romeo: A Tool for Analyzing Time Petri Nets. - Guillaume Gardey; Didier Lime; Morgan Magnin; Olivier H. Roux (CAV, 2005)

Efficient On-the-Fly Algorithms for the Analysis of Timed Games. - Franck Cassez; Alexandre David; Emmanuel Fleury; Kim Guldstrand Larsen; Didier Lime (CONCUR, 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 (FORMATS, 2005)

An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. - Morgan Magnin; Didier Lime; Olivier H. Roux (SoftMC@CAV, 2005)

Model Checking of Time Petri Nets Using the State Class Timed Automaton. - Didier Lime; Olivier H. Roux (Discret. Event Dyn. Syst., 2006)

Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. - Didier Lime; Olivier H. Roux (Tech. Sci. Informatiques, 2006)

Timed Control with Observation Based and Stuttering Invariant Strategies. - Franck Cassez; Alexandre David; Kim Guldstrand Larsen; Didier Lime; Jean-François Raskin (ATVA, 2007)

UPPAAL-Tiga: Time for Playing Games! - Gerd Behrmann; Agnès Cougnard; Alexandre David; Emmanuel Fleury; Kim Guldstrand Larsen; Didier Lime (CAV, 2007)

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. - Bernard Berthomieu; Didier Lime; Olivier H. Roux; François Vernadat 001 (Discret. Event Dyn. Syst., 2007)

Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). - Morgan Magnin; Didier Lime; Olivier H. Roux (Petri Nets, 2008)

Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. - Louis-Marie Traonouez; Didier Lime; Olivier H. Roux (FORMATS, 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)

Synthesis of Non-Interferent Timed Systems. - Gilles Benattar; Franck Cassez; Didier Lime; Olivier H. Roux (FORMATS, 2009)

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. - Didier Lime; Olivier H. Roux; Charlotte Seidner; Louis-Marie Traonouez (TACAS, 2009)

Parametric Model-Checking of Stopwatch Petri Nets. - Louis-Marie Traonouez; Didier Lime; Olivier H. Roux (J. Univers. Comput. Sci., 2009)

Formal verification of real-time systems with preemptive scheduling. - Didier Lime; Olivier H. Roux (Real Time Syst., 2009)

Symbolic Unfolding of Parametric Stopwatch Petri Nets. - Louis-Marie Traonouez; Bartosz Grabiec; Claude Jard; Didier Lime; Olivier H. Roux (ATVA, 2010)

Diagnosis Using Unfoldings of Parametric Time Petri Nets. - Bartosz Grabiec; Louis-Marie Traonouez; Claude Jard; Didier Lime; Olivier H. Roux (FORMATS, 2010)

New Results on Timed Specifications. - Timothy Bourke; Alexandre David; Kim G. Larsen; Axel Legay; Didier Lime; Ulrik Nyman; Andrzej Wasowski (WADT, 2010)

Clock Transition Systems. - Didier Lime; Olivier H. Roux; Claude Jard (CS&P, 2012)

Robustness of Time Petri Nets under Architectural Constraints. - S. Akshay 001; Loïc Hélouët; Claude Jard; Didier Lime; Olivier H. Roux (FORMATS, 2012)

Real-time control with parametric timed reachability games. - Aleksandra Jovanovic 002; Sébastien Faucou; Didier Lime; Olivier H. Roux (WODES, 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)

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 001; Kenneth Yrke Jørgensen; Didier Lime; et al. (Communicating Embedded Systems, 2013)

Models for Real-Time Embedded Systems. - Didier Lime; Olivier H. Roux; Jirí Srba (Communicating Embedded Systems, 2013)

On Multi-enabledness in Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Olivier H. Roux (Petri Nets, 2013)

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (ATVA, 2013)

Parametric Interrupt Timed Automata. - Béatrice Bérard; Serge Haddad; Aleksandra Jovanovic 002; Didier Lime (RP, 2013)

Integer Parameter Synthesis for Timed Automata. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (TACAS, 2013)

Shrinking of Time Petri nets. - Didier Lime; Claude Martinez; Olivier H. Roux (Discret. Event Dyn. Syst., 2013)

Symbolic unfolding of parametric stopwatch Petri nets. - Claude Jard; Didier Lime; Olivier H. Roux; Louis-Marie Traonouez (Formal Methods Syst. Des., 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)

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 (ATVA, 2014)

Blending Timed Formal Models with Clock Transition Systems. - Claude Jard; Didier Lime; Olivier H. Roux (Fundam. Informaticae, 2014)

Discrete Parameters in Petri Nets. - Nicolas David 002; Claude Jard; Didier Lime; Olivier H. Roux (Petri Nets, 2015)

Integer-Complete Synthesis for Bounded Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (RP, 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; et al. (SMARTGREENS, 2015)

Discrete Parameters in Petri Nets (Informal Presentation). - Nicolas David 002; Claude Jard; Didier Lime; Olivier H. Roux (SynCoP, 2015)

Control and synthesis of non-interferent timed systems. - Gilles Benattar; Franck Cassez; Didier Lime; Olivier H. Roux (Int. J. Control, 2015)

Integer Parameter Synthesis for Real-Time Systems. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (IEEE Trans. Software Eng., 2015)

Probabilistic Time Petri Nets. - Yrvann Emzivat; Benoît Delahaye; Didier Lime; Olivier H. Roux (Petri Nets, 2016)

Lazy Reachability Analysis in Distributed Systems. - Loïg Jezequel; Didier Lime (CONCUR, 2016)

On the Expressiveness of Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (FORMATS, 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é (FTSCS, 2016)

Decision Problems for Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (ICFEM, 2016)

Parameter Synthesis for Parametric Interval Markov Chains. - Benoît Delahaye; Didier Lime; Laure Petrucci (VMCAI, 2016)

Interrupt Timed Automata with Auxiliary Clocks and Parameters. - Béatrice Bérard; Serge Haddad; Aleksandra Jovanovic 002; Didier Lime (Fundam. Informaticae, 2016)

Liveness in L/U-Parametric Timed Automata. - Étienne André; Didier Lime (ACSD, 2017)

Coverability Synthesis in Parametric Petri Nets. - Nicolas David 002; Claude Jard; Didier Lime; Olivier H. Roux (CONCUR, 2017)

Optimal Reachability in Cost Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Baptiste Parquier; Olivier H. Roux; Charlotte Seidner (FORMATS, 2017)

Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata. - Loïg Jezequel; Didier Lime (FORMATS, 2017)

Reachability in Parametric Interval Markov Chains Using Constraints. - Anicet Bart; Benoît Delahaye; Didier Lime; Éric Monfroy; Charlotte Truchet (QEST, 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; et al. (Computing, 2017)

Timed Automata with Parametric Updates. - Étienne André; Didier Lime; Mathias Ramparison (ACSD, 2018)

Optimal-Cost Reachability Analysis Based on Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Olivier H. Roux; Charlotte Seidner (ACSD, 2018)

TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. - Étienne André; Didier Lime; Mathias Ramparison (FORMATS, 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)

Control of DES with Urgency, Avoidability and Ineluctability. - Jean-Luc Béchennec; Didier Lime; Olivier H. Roux (ACSD, 2019)

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. - Didier Lime; Olivier H. Roux; Charlotte Seidner (Petri Nets, 2019)

Parametric Statistical Model Checking of UAV Flight Plan. - Ran Bao; J. Christian Attiogbé; Benoît Delahaye; Paulin Fournier; Didier Lime (FORTE, 2019)

On the Expressive Power of Invariants in Parametric Timed Automata. - Étienne André; Didier Lime; Mathias Ramparison (ICECCS, 2019)

Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. - Hélène Coullon; Claude Jard; Didier Lime (IFM, 2019)

Parametric Timed Broadcast Protocols. - Étienne André; Benoît Delahaye; Paulin Fournier; Didier Lime (VMCAI, 2019)

A game approach to the parametric control of real-time systems. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (Int. J. Control, 2019)

Parametric Verification: An Introduction. - Étienne André; Michal Knapik; Didier Lime; Wojciech Penczek; Laure Petrucci (Trans. Petri Nets Other Model. Concurr., 2019)

Backward Symbolic Optimal Reachability in Weighted Timed Automata. - Rémi Parrot; Didier Lime (FORMATS, 2020)

Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems. - Adrien Quillet; Audrey Queudet; Didier Lime (RTNS, 2020)

Language Preservation Problems in Parametric Timed Automata. - Étienne André; Didier Lime; Nicolas Markey (Log. Methods Comput. Sci., 2020)

Data for paper "Parametric analyses of attack-fault trees". - Étienne André; Didier Lime; Mathias Ramparison; Mariëlle Stoelinga (Zenodo, 2020)

A Turn-Based Approach for Qualitative Time Concurrent Games. - Serge Haddad; Didier Lime; Olivier H. Roux (Petri Nets, 2021)

A Lazy Query Scheme for Reachability Analysis in Petri Nets. - Loïg Jezequel; Didier Lime; Bastien Sérée (Petri Nets, 2021)

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. - Bastien Sérée; Loïg Jezequel; Didier Lime (LATA, 2021)

Logical time control of concurrent DES. - Jean-Luc Béchennec; Didier Lime; Olivier H. Roux (Discret. Event Dyn. Syst., 2021)

Parametric Analyses of Attack-fault Trees. - Étienne André; Didier Lime; Mathias Ramparison; Mariëlle Stoelinga (Fundam. Informaticae, 2021)

Cost Problems for Parametric Time Petri Nets. - Didier Lime; Olivier H. Roux; Charlotte Seidner (Fundam. Informaticae, 2021)

Parametric updates in parametric timed automata. - Étienne André; Didier Lime; Mathias Ramparison (Log. Methods Comput. Sci., 2021)

Reachability and liveness in parametric timed automata. - Étienne André; Didier Lime; Olivier H. Roux (Log. Methods Comput. Sci., 2022)

Control of Real-Time Systems With Integer Parameters. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (IEEE Trans. Autom. Control., 2022)

Guaranteeing Timed Opacity using Parametric Timed Model Checking. - Étienne André; Didier Lime; Dylan Marinho; Jun Sun 001 (ACM Trans. Softw. Eng. Methodol., 2022)

A State Class Based Controller Synthesis Approach for Time Petri Nets. - Loriane Leclercq; Didier Lime; Olivier H. Roux (Petri Nets, 2023)

Timed Non-interference Under Partial Observability and Bounded Memory. - Anthony Spriet; Didier Lime; Olivier H. Roux (FORMATS, 2023)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. - Étienne André; Didier Lime; Olivier H. Roux (CoRR, 2023)

Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. - Étienne André; Engel Lefaucheux; Didier Lime; Dylan Marinho; Jun Sun 001 (TiCSA@ETAPS, 2023)

On Parametric DBMs and Their Applications to Time Petri Nets. - Loriane Leclercq; Didier Lime; Olivier H. Roux (QEST+FORMATS, 2024)

Decidability Problems for Weak Time Petri Nets with Read, Reset and Transfer Arcs. - Didier Lime; Rémi Parrot; Olivier H. Roux (Petri Nets, 2025)

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. - Nicolaj Ø. Jensen; Kim G. Larsen; Didier Lime; Jirí Srba (CONCUR, 2025)

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. - Étienne André; Jean-Luc Béchennec; Sudipta Chattopadhyay 001; Sébastien Faucou; Didier Lime; Dylan Marinho; Olivier H. Roux; Jun Sun 001 (SAC, 2025)