Didier Lime

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 54

Top Venues

Publications

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

Didier Lime.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Didier Lime