default search action
Didier Lime
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c62]Loriane Leclercq
, Didier Lime
On Parametric DBMs and Their Applications to Time Petri Nets. QEST+FORMATS 2024: 107-124 - 2023
- [c61]Loriane Leclercq
A State Class Based Controller Synthesis Approach for Time Petri Nets. Petri Nets 2023: 393-414 - [c60]Anthony Spriet, Didier Lime, Olivier H. Roux:
Timed Non-interference Under Partial Observability and Bounded Memory. FORMATS 2023: 122-137 - [c59]Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun:
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. TiCSA@ETAPS 2023: 1-26 - [i13]Étienne André, Didier Lime, Olivier H. Roux:
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. CoRR abs/2310.09109 (2023) - 2022
- [j26]Étienne André, Didier Lime, Olivier H. Roux:
Reachability and liveness in parametric timed automata. Log. Methods Comput. Sci. 18(1) (2022) - [j25]Aleksandra Jovanovic
Control of Real-Time Systems With Integer Parameters. IEEE Trans. Autom. Control. 67(1): 75-88 (2022) - [j24]Étienne André
Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Trans. Softw. Eng. Methodol. 31(4): 64:1-64:36 (2022) - [i12]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR abs/2206.05438 (2022) - 2021
- [j23]Jean-Luc Béchennec
Logical time control of concurrent DES. Discret. Event Dyn. Syst. 31(2): 185-217 (2021) - [j22]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga:
Parametric Analyses of Attack-fault Trees. Fundam. Informaticae 182(1): 69-94 (2021) - [j21]Didier Lime, Olivier H. Roux
Cost Problems for Parametric Time Petri Nets. Fundam. Informaticae 183(1-2): 97-123 (2021) - [j20]Étienne André, Didier Lime, Mathias Ramparison:
Parametric updates in parametric timed automata. Log. Methods Comput. Sci. 17(2) (2021) - [c58]Serge Haddad, Didier Lime
A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets 2021: 76-92 - [c57]Loïg Jezequel, Didier Lime, Bastien Sérée:
A Lazy Query Scheme for Reachability Analysis in Petri Nets. Petri Nets 2021: 360-378 - [c56]Bastien Sérée, Loïg Jezequel, Didier Lime:
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. LATA 2021: 279-290 - [i11]Didier Lime, Olivier H. Roux, Charlotte Seidner:
Cost Problems for Parametric Time Petri Nets. CoRR abs/2109.03658 (2021) - 2020
- [j19]Étienne André, Didier Lime, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. Log. Methods Comput. Sci. 16(1) (2020) - [c55]Rémi Parrot
Backward Symbolic Optimal Reachability in Weighted Timed Automata. FORMATS 2020: 41-57 - [c54]Adrien Quillet, Audrey Queudet, Didier Lime:
Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems. RTNS 2020: 11-21 - [i10]Étienne André, Didier Lime, Olivier H. Roux:
Reachability and liveness in parametric timed automata. CoRR abs/2004.09171 (2020)
2010 – 2019
- 2019
- [j18]Aleksandra Jovanovic, Didier Lime
A game approach to the parametric control of real-time systems. Int. J. Control 92(9): 2025-2036 (2019) - [j17]Étienne André
Parametric Verification: An Introduction. Trans. Petri Nets Other Model. Concurr. 14: 64-100 (2019) - [c53]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Parametric Analyses of Attack-Fault Trees. ACSD 2019: 33-42 - [c52]Jean-Luc Béchennec, Didier Lime, Olivier H. Roux:
Control of DES with Urgency, Avoidability and Ineluctability. ACSD 2019: 92-101 - [c51]Didier Lime
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Petri Nets 2019: 406-425 - [c50]Étienne André
Parametric Updates in Parametric Timed Automata. FORTE 2019: 39-56 - [c49]Ran Bao, J. Christian Attiogbé
Parametric Statistical Model Checking of UAV Flight Plan. FORTE 2019: 57-74 - [c48]Étienne André, Didier Lime, Mathias Ramparison:
On the Expressive Power of Invariants in Parametric Timed Automata. ICECCS 2019: 87-96 - [c47]Hélène Coullon, Claude Jard, Didier Lime:
Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. IFM 2019: 120-137 - [c46]Étienne André, Benoît Delahaye
Parametric Timed Broadcast Protocols. VMCAI 2019: 491-512 - [i9]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga:
Parametric analyses of attack-fault trees. CoRR abs/1902.04336 (2019) - [i8]Étienne André, Didier Lime, Mathias Ramparison:
Parametric updates in parametric timed automata. CoRR abs/1904.08824 (2019) - [i7]Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
Parametric Verification: An Introduction. CoRR abs/1907.00555 (2019) - [i6]Étienne André, Didier Lime, Mathias Ramparison:
On the expressive power of invariants in parametric timed automata. CoRR abs/1908.06633 (2019) - 2018
- [j16]Anicet Bart
Reachability in parametric Interval Markov Chains using constraints. Theor. Comput. Sci. 747: 48-74 (2018) - [c45]Étienne André, Didier Lime
Timed Automata with Parametric Updates. ACSD 2018: 21-29 - [c44]Hanifa Boucheneb, Didier Lime
Optimal-Cost Reachability Analysis Based on Time Petri Nets. ACSD 2018: 30-39 - [c43]Étienne André, Didier Lime
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. FORMATS 2018: 37-52 - [i5]Étienne André, Didier Lime, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. CoRR abs/1807.07091 (2018) - [i4]Étienne André, Benoît Delahaye
Parametric Timed Broadcast Protocols. CoRR abs/1811.12576 (2018) - 2017
- [j15]Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime
Towards energy-proportional clouds partially powered by renewable energy. Computing 99(1): 3-22 (2017) - [c42]Étienne André, Didier Lime
Liveness in L/U-Parametric Timed Automata. ACSD 2017: 9-18 - [c41]Nicolas David, Claude Jard, Didier Lime
Coverability Synthesis in Parametric Petri Nets. CONCUR 2017: 14:1-14:16 - [c40]Hanifa Boucheneb, Didier Lime
Optimal Reachability in Cost Time Petri Nets. FORMATS 2017: 58-73 - [c39]Loïg Jezequel, Didier Lime
Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata. FORMATS 2017: 247-263 - [c38]Anicet Bart, Benoît Delahaye
Reachability in Parametric Interval Markov Chains Using Constraints. QEST 2017: 173-189 - [i3]Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet:
Reachability in Parametric Interval Markov Chains using Constraints. CoRR abs/1706.00270 (2017) - 2016
- [j14]Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
Interrupt Timed Automata with Auxiliary Clocks and Parameters. Fundam. Informaticae 143(3-4): 235-259 (2016) - [c37]Yrvann Emzivat, Benoît Delahaye, Didier Lime
Probabilistic Time Petri Nets. Petri Nets 2016: 261-280 - [c36]Loïg Jezequel
Lazy Reachability Analysis in Distributed Systems. CONCUR 2016: 17:1-17:14 - [c35]Étienne André
On the Expressiveness of Parametric Timed Automata. FORMATS 2016: 19-34 - [c34]Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. FTSCS 2016: 129-144 - [c33]Étienne André
Decision Problems for Parametric Timed Automata. ICFEM 2016: 400-416 - [c32]Benoît Delahaye
Parameter Synthesis for Parametric Interval Markov Chains. VMCAI 2016: 372-390 - 2015
- [j13]Gilles Benattar, Franck Cassez
Control and synthesis of non-interferent timed systems. Int. J. Control 88(2): 217-236 (2015) - [j12]Aleksandra Jovanovic, Didier Lime
Integer Parameter Synthesis for Real-Time Systems. IEEE Trans. Software Eng. 41(5): 445-461 (2015) - [c31]Nicolas David, Claude Jard, Didier Lime
Discrete Parameters in Petri Nets. Petri Nets 2015: 137-156 - [c30]Étienne André
Integer-Complete Synthesis for Bounded Parametric Timed Automata. RP 2015: 7-19 - [c29]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: 388-394 - [c28]Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Discrete Parameters in Petri Nets (Informal Presentation). SynCoP 2015: 103-103 - 2014
- [j11]Claude Jard, Didier Lime
Blending Timed Formal Models with Clock Transition Systems. Fundam. Informaticae 129(1-2): 85-100 (2014) - [c27]Alexandre David, Peter Gjøl Jensen
On Time with Minimal Expected Cost! ATVA 2014: 129-145 - [i2]Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime:
Interrupt Timed Automata with Auxiliary Clocks and Parameters. CoRR abs/1409.2408 (2014) - 2013
- [j10]Didier Lime
Shrinking of Time Petri nets. Discret. Event Dyn. Syst. 23(4): 419-438 (2013) - [j9]Claude Jard, Didier Lime
Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods Syst. Des. 43(3): 493-519 (2013) - [j8]Béatrice Bérard, Franck Cassez
The expressive power of time Petri nets. Theor. Comput. Sci. 474: 1-20 (2013) - [c26]Hanifa Boucheneb, Didier Lime
On Multi-enabledness in Time Petri Nets. Petri Nets 2013: 130-149 - [c25]Aleksandra Jovanovic, Didier Lime
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. ATVA 2013: 87-101 - [c24]Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
Parametric Interrupt Timed Automata. RP 2013: 59-69 - [c23]Aleksandra Jovanovic, Didier Lime
Integer Parameter Synthesis for Timed Automata. TACAS 2013: 401-415 - [p2]Didier Lime
Models for Real-Time Embedded Systems. Communicating Embedded Systems 2013: 1-37 - [p1]Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225 - 2012
- [j7]Gilles Benattar, Béatrice Bérard, Didier Lime
Channel Synthesis for Finite Transducers. Int. J. Found. Comput. Sci. 23(6): 1241-1260 (2012) - [c22]Didier Lime, Olivier H. Roux, Claude Jard:
Clock Transition Systems. CS&P 2012: 227-238 - [c21]S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime
Robustness of Time Petri Nets under Architectural Constraints. FORMATS 2012: 11-26 - [c20]Aleksandra Jovanovic, Sébastien Faucou
Real-time control with parametric timed reachability games. WODES 2012: 323-330 - [i1]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Control and Synthesis of Non-Interferent Timed Systems. CoRR abs/1207.4984 (2012) - 2011
- [c19]Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas:
Channel Synthesis for Finite Transducers. AFL 2011: 79-92 - 2010
- [c18]Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime
Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA 2010: 291-305 - [c17]Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime
Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS 2010: 137-151 - [c16]Timothy Bourke, Alexandre David, Kim G. Larsen
New Results on Timed Specifications. WADT 2010: 175-192
2000 – 2009
- 2009
- [j6]Louis-Marie Traonouez, Didier Lime, Olivier H. Roux:
Parametric Model-Checking of Stopwatch Petri Nets. J. Univers. Comput. Sci. 15(17): 3273-3304 (2009) - [j5]Didier Lime
Formal verification of real-time systems with preemptive scheduling. Real Time Syst. 41(2): 118-151 (2009) - [c15]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Synthesis of Non-Interferent Timed Systems. FORMATS 2009: 28-42 - [c14]Didier Lime
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS 2009: 54-57 - 2008
- [j4]Béatrice Bérard, Franck Cassez
When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci. 403(2-3): 202-220 (2008) - [c13]Morgan Magnin, Didier Lime
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets 2008: 307-326 - [c12]Louis-Marie Traonouez, Didier Lime
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. FORMATS 2008: 280-294 - 2007
- [j3]Bernard Berthomieu, Didier Lime
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discret. Event Dyn. Syst. 17(2): 133-158 (2007) - [c11]Franck Cassez
Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA 2007: 192-206 - [c10]Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime:
UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125 - 2006
- [j2]Didier Lime
Model Checking of Time Petri Nets Using the State Class Timed Automaton. Discret. Event Dyn. Syst. 16(2): 179-205 (2006) - [j1]Didier Lime, Olivier H. Roux:
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. Tech. Sci. Informatiques 25(3): 343-370 (2006) - 2005
- [c9]Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux:
Comparison of Different Semantics for Time Petri Nets. ATVA 2005: 293-307 - [c8]Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux:
Romeo: A Tool for Analyzing Time Petri Nets. CAV 2005: 418-423 - [c7]Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen
Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR 2005: 66-80 - [c6]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: 211-225 - [c5]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: 273-284 - [c4]Morgan Magnin, Didier Lime
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. SoftMC@CAV 2005: 59-77 - 2004
- [c3]Olivier H. Roux, Didier Lime:
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. ICATPN 2004: 371-390 - [c2]Didier Lime, Olivier H. Roux:
A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. RTSS 2004: 187-196 - 2003
- [c1]Didier Lime, Olivier H. Roux:
State class timed automaton of a time Petri net. PNPM 2003: 124-133
Coauthor Index
[c62] [c61] [c60] [i13] [j26] [j25] [j23] [j21] [c58] [i11] [i10] [j18] [c52] [c51] [c44] [j15] [c41] [c40] [c37] [c35] [c34] [c33] [j13] [j12] [c31] [c30] [c29] [c28] [j11] [j10] [j9] [j8] [c26] [c25] [c23] [p2] [p1] [j7] [c22] [c21] [c20] [i1] [c19] [c18] [c17] [j6] [j5] [c15] [c14] [j4] [c13] [c12] [j3] [j2] [j1] [c9] [c8] [c6] [c5] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-22 00:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: