Didier Lime

107 papers A* 2A 3B 22C 4Misc 2Journal 40Unranked 32
YearRankTypeTitle / Venue / Authors
2025 B conf
Decidability Problems for Weak Time Petri Nets with Read, Reset and Transfer Arcs.
Petri Nets
Didier Lime, Rémi Parrot, Olivier H. Roux
2025 B conf
On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions.
CONCUR
Nicolaj Ø. Jensen, Kim G. Larsen, Didier Lime, Jirí Srba
2025 J jnl
On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions.
CoRR
Nicolaj Ø. Jensen, Kim G. Larsen, Didier Lime, Jirí Srba
2025 Misc conf
Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets.
SAC
Étienne André, Jean-Luc Béchennec, Sudipta Chattopadhyay, Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun
2024 — conf
On Parametric DBMs and Their Applications to Time Petri Nets.
QEST+FORMATS
Loriane Leclercq, Didier Lime, Olivier H. Roux
2023 B conf
A State Class Based Controller Synthesis Approach for Time Petri Nets.
Petri Nets
Loriane Leclercq, Didier Lime, Olivier H. Roux
2023 — conf
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata.
TiCSA@ETAPS
Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun
2023 J jnl
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata.
CoRR
Étienne André, Didier Lime, Olivier H. Roux
2023 — conf
Timed Non-interference Under Partial Observability and Bounded Memory.
FORMATS
Anthony Spriet, Didier Lime, Olivier H. Roux
2022 J jnl
Control of Real-Time Systems With Integer Parameters.
IEEE Trans. Autom. Control.
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
2022 J jnl
Guaranteeing Timed Opacity using Parametric Timed Model Checking.
CoRR
Étienne André, Didier Lime, Dylan Marinho, Jun Sun
2022 J jnl
Guaranteeing Timed Opacity using Parametric Timed Model Checking.
ACM Trans. Softw. Eng. Methodol.
Étienne André, Didier Lime, Dylan Marinho, Jun Sun
2022 J jnl
Reachability and liveness in parametric timed automata.
Log. Methods Comput. Sci.
Étienne André, Didier Lime, Olivier H. Roux
2021 B conf
A Lazy Query Scheme for Reachability Analysis in Petri Nets.
Petri Nets
Loïg Jezequel, Didier Lime, Bastien Sérée
2021 B conf
A Turn-Based Approach for Qualitative Time Concurrent Games.
Petri Nets
Serge Haddad, Didier Lime, Olivier H. Roux
2021 C conf
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs.
LATA
Bastien Sérée, Loïg Jezequel, Didier Lime
2021 J jnl
Cost Problems for Parametric Time Petri Nets.
CoRR
Didier Lime, Olivier H. Roux, Charlotte Seidner
2021 J jnl
Cost Problems for Parametric Time Petri Nets.
Fundam. Informaticae
Didier Lime, Olivier H. Roux, Charlotte Seidner
2021 J jnl
Logical time control of concurrent DES.
Discret. Event Dyn. Syst.
Jean-Luc Béchennec, Didier Lime, Olivier H. Roux
2021 J jnl
Parametric Analyses of Attack-fault Trees.
Fundam. Informaticae
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2021 J jnl
Parametric updates in parametric timed automata.
Log. Methods Comput. Sci.
Étienne André, Didier Lime, Mathias Ramparison
2020 Misc conf
Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems.
RTNS
Adrien Quillet, Audrey Queudet, Didier Lime
2020 — conf
Backward Symbolic Optimal Reachability in Weighted Timed Automata.
FORMATS
Rémi Parrot, Didier Lime
2020 J jnl
Language Preservation Problems in Parametric Timed Automata.
Log. Methods Comput. Sci.
Étienne André, Didier Lime, Nicolas Markey
2020 J jnl
Reachability and liveness in parametric timed automata.
CoRR
Étienne André, Didier Lime, Olivier H. Roux
2019 J jnl
A game approach to the parametric control of real-time systems.
Int. J. Control
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
2019 — conf
Control of DES with Urgency, Avoidability and Ineluctability.
ACSD
Jean-Luc Béchennec, Didier Lime, Olivier H. Roux
2019 B conf
Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning.
IFM
Hélène Coullon, Claude Jard, Didier Lime
2019 B conf
On the Expressive Power of Invariants in Parametric Timed Automata.
ICECCS
Étienne André, Didier Lime, Mathias Ramparison
2019 J jnl
On the expressive power of invariants in parametric timed automata.
CoRR
Étienne André, Didier Lime, Mathias Ramparison
2019 B conf
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets.
Petri Nets
Didier Lime, Olivier H. Roux, Charlotte Seidner
2019 — conf
Parametric Analyses of Attack-Fault Trees.
ACSD
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2019 C conf
Parametric Statistical Model Checking of UAV Flight Plan.
FORTE
Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime
2019 B conf
Parametric Timed Broadcast Protocols.
VMCAI
Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
2019 C conf
Parametric Updates in Parametric Timed Automata.
FORTE
Étienne André, Didier Lime, Mathias Ramparison
2019 J jnl
Parametric Verification: An Introduction.
CoRR
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
2019 J jnl
Parametric Verification: An Introduction.
Trans. Petri Nets Other Model. Concurr.
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
2019 J jnl
Parametric analyses of attack-fault trees.
CoRR
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2019 J jnl
Parametric updates in parametric timed automata.
CoRR
Étienne André, Didier Lime, Mathias Ramparison
2018 J jnl
Language Preservation Problems in Parametric Timed Automata.
CoRR
Étienne André, Didier Lime, Nicolas Markey
2018 — conf
Optimal-Cost Reachability Analysis Based on Time Petri Nets.
ACSD
Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner
2018 J jnl
Parametric Timed Broadcast Protocols.
CoRR
Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
2018 J jnl
Reachability in parametric Interval Markov Chains using constraints.
Theor. Comput. Sci.
Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet
2018 — conf
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants.
FORMATS
Étienne André, Didier Lime, Mathias Ramparison
2018 — conf
Timed Automata with Parametric Updates.
ACSD
Étienne André, Didier Lime, Mathias Ramparison
2017 B conf
Coverability Synthesis in Parametric Petri Nets.
CONCUR
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
2017 — conf
Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata.
FORMATS
Loïg Jezequel, Didier Lime
2017 — conf
Liveness in L/U-Parametric Timed Automata.
ACSD
Étienne André, Didier Lime
2017 — conf
Optimal Reachability in Cost Time Petri Nets.
FORMATS
Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner
2017 — conf
Reachability in Parametric Interval Markov Chains Using Constraints.
QEST
Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
2017 J jnl
Reachability in Parametric Interval Markov Chains using Constraints.
CoRR
Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
2017 J jnl
Towards energy-proportional clouds partially powered by renewable energy.
Computing
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
2016 — conf
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems.
FTSCS
Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André
2016 C conf
Decision Problems for Parametric Timed Automata.
ICFEM
Étienne André, Didier Lime, Olivier H. Roux
2016 J jnl
Interrupt Timed Automata with Auxiliary Clocks and Parameters.
Fundam. Informaticae
Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
2016 B conf
Lazy Reachability Analysis in Distributed Systems.
CONCUR
Loïg Jezequel, Didier Lime
2016 — conf
On the Expressiveness of Parametric Timed Automata.
FORMATS
Étienne André, Didier Lime, Olivier H. Roux
2016 B conf
Parameter Synthesis for Parametric Interval Markov Chains.
VMCAI
Benoît Delahaye, Didier Lime, Laure Petrucci
2016 B conf
Probabilistic Time Petri Nets.
Petri Nets
Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux
2015 J jnl
Control and synthesis of non-interferent timed systems.
Int. J. Control
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
2015 — conf
Discrete Parameters in Petri Nets (Informal Presentation).
SynCoP
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
2015 B conf
Discrete Parameters in Petri Nets.
Petri Nets
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
2015 J jnl
Integer Parameter Synthesis for Real-Time Systems.
IEEE Trans. Software Eng.
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
2015 — conf
Integer-Complete Synthesis for Bounded Parametric Timed Automata.
RP
Étienne André, Didier Lime, Olivier H. Roux
2015 — conf
The EPOC Project - Energy Proportional and Opportunistic Computing System.
SMARTGREENS
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
2014 J jnl
Blending Timed Formal Models with Clock Transition Systems.
Fundam. Informaticae
Claude Jard, Didier Lime, Olivier H. Roux
2014 J jnl
Interrupt Timed Automata with Auxiliary Clocks and Parameters.
CoRR
Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
2014 B conf
On Time with Minimal Expected Cost!
ATVA
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist
2013 A conf
Integer Parameter Synthesis for Timed Automata.
TACAS
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
2013 — ch.
Models for Real-Time Embedded Systems.
Communicating Embedded Systems
Didier Lime, Olivier H. Roux, Jirí Srba
2013 B conf
On Multi-enabledness in Time Petri Nets.
Petri Nets
Hanifa Boucheneb, Didier Lime, Olivier H. Roux
2013 — conf
Parametric Interrupt Timed Automata.
RP
Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
2013 J jnl
Shrinking of Time Petri nets.
Discret. Event Dyn. Syst.
Didier Lime, Claude Martinez, Olivier H. Roux
2013 J jnl
Symbolic unfolding of parametric stopwatch Petri nets.
Formal Methods Syst. Des.
Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez
2013 B conf
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games.
ATVA
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
2013 J jnl
The expressive power of time Petri nets.
Theor. Comput. Sci.
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2013 — ch.
Tools for Model-Checking Timed Systems.
Communicating Embedded 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
2012 J jnl
Channel Synthesis for Finite Transducers.
Int. J. Found. Comput. Sci.
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
2012 — conf
Clock Transition Systems.
CS&P
Didier Lime, Olivier H. Roux, Claude Jard
2012 J jnl
Control and Synthesis of Non-Interferent Timed Systems
CoRR
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
2012 — conf
Real-time control with parametric timed reachability games.
WODES
Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux
2012 — conf
Robustness of Time Petri Nets under Architectural Constraints.
FORMATS
S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux
2011 — conf
Channel Synthesis for Finite Transducers.
AFL
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
2010 — conf
Diagnosis Using Unfoldings of Parametric Time Petri Nets.
FORMATS
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux
2010 — conf
New Results on Timed Specifications.
WADT
Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski
2010 B conf
Symbolic Unfolding of Parametric Stopwatch Petri Nets.
ATVA
Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux
2009 J jnl
Formal verification of real-time systems with preemptive scheduling.
Real Time Syst.
Didier Lime, Olivier H. Roux
2009 J jnl
Parametric Model-Checking of Stopwatch Petri Nets.
J. Univers. Comput. Sci.
Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
2009 A conf
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.
TACAS
Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez
2009 — conf
Synthesis of Non-Interferent Timed Systems.
FORMATS
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
2008 — conf
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.
FORMATS
Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
2008 B conf
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).
Petri Nets
Morgan Magnin, Didier Lime, Olivier H. Roux
2008 J jnl
When are Timed Automata weakly timed bisimilar to Time Petri Nets?
Theor. Comput. Sci.
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2007 J jnl
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.
Discret. Event Dyn. Syst.
Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat
2007 B conf
Timed Control with Observation Based and Stuttering Invariant Strategies.
ATVA
Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin
2007 A* conf
UPPAAL-Tiga: Time for Playing Games!
CAV
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
2006 J jnl
Model Checking of Time Petri Nets Using the State Class Timed Automaton.
Discret. Event Dyn. Syst.
Didier Lime, Olivier H. Roux
2006 J jnl
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif.
Tech. Sci. Informatiques
Didier Lime, Olivier H. Roux
2005 — conf
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.
SoftMC@CAV
Morgan Magnin, Didier Lime, Olivier H. Roux
2005 B conf
Comparison of Different Semantics for Time Petri Nets.
ATVA
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2005 — conf
Comparison of the Expressiveness of Timed Automata and Time Petri Nets.
FORMATS
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2005 B conf
Efficient On-the-Fly Algorithms for the Analysis of Timed Games.
CONCUR
Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
2005 A* conf
Romeo: A Tool for Analyzing Time Petri Nets.
CAV
Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux
2005 — conf
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
FSTTCS
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2004 A conf
A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets.
RTSS
Didier Lime, Olivier H. Roux
2004 — conf
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.
ICATPN
Olivier H. Roux, Didier Lime
2003 — conf
State class timed automaton of a time Petri net.
PNPM
Didier Lime, Olivier H. Roux