![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Didier Lime
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c61]Loriane Leclercq
, Didier Lime
, Olivier H. Roux
:
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
, Didier Lime
, Olivier H. Roux
:
Control of Real-Time Systems With Integer Parameters. IEEE Trans. Autom. Control. 67(1): 75-88 (2022) - [j24]Étienne André
, Didier Lime
, Dylan Marinho
, Jun Sun
:
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
, Didier Lime, Olivier H. Roux
:
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
, Charlotte Seidner:
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
, Olivier H. Roux:
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
, Didier Lime
:
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
, Olivier H. Roux
:
A game approach to the parametric control of real-time systems. Int. J. Control 92(9): 2025-2036 (2019) - [j17]Étienne André
, Michal Knapik
, Didier Lime
, Wojciech Penczek
, Laure Petrucci
:
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
, Olivier H. Roux, Charlotte Seidner:
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Petri Nets 2019: 406-425 - [c50]Étienne André
, Didier Lime
, Mathias Ramparison
:
Parametric Updates in Parametric Timed Automata. FORTE 2019: 39-56 - [c49]Ran Bao, J. Christian Attiogbé
, Benoît Delahaye
, Paulin Fournier, Didier Lime
:
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
, Paulin Fournier, Didier Lime
:
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
, Benoît Delahaye
, Paulin Fournier, Didier Lime
, Éric Monfroy, Charlotte Truchet:
Reachability in parametric Interval Markov Chains using constraints. Theor. Comput. Sci. 747: 48-74 (2018) - [c45]Étienne André, Didier Lime
, Mathias Ramparison:
Timed Automata with Parametric Updates. ACSD 2018: 21-29 - [c44]Hanifa Boucheneb, Didier Lime
, Olivier H. Roux, Charlotte Seidner:
Optimal-Cost Reachability Analysis Based on Time Petri Nets. ACSD 2018: 30-39 - [c43]Étienne André, Didier Lime
, Mathias Ramparison:
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
, Paulin Fournier, Didier Lime:
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
, 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): 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
, Olivier H. Roux:
Coverability Synthesis in Parametric Petri Nets. CONCUR 2017: 14:1-14:16 - [c40]Hanifa Boucheneb, Didier Lime
, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner:
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
, Didier Lime
, Éric Monfroy, Charlotte Truchet:
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
, Olivier H. Roux:
Probabilistic Time Petri Nets. Petri Nets 2016: 261-280 - [c36]Loïg Jezequel
, Didier Lime
:
Lazy Reachability Analysis in Distributed Systems. CONCUR 2016: 17:1-17:14 - [c35]Étienne André
, Didier Lime
, Olivier H. Roux:
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
, Étienne André
:
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. FTSCS 2016: 129-144 - [c33]Étienne André
, Didier Lime
, Olivier H. Roux:
Decision Problems for Parametric Timed Automata. ICFEM 2016: 400-416 - [c32]Benoît Delahaye
, Didier Lime
, Laure Petrucci
:
Parameter Synthesis for Parametric Interval Markov Chains. VMCAI 2016: 372-390 - 2015
- [j13]Gilles Benattar, Franck Cassez
, Didier Lime
, Olivier H. Roux:
Control and synthesis of non-interferent timed systems. Int. J. Control 88(2): 217-236 (2015) - [j12]Aleksandra Jovanovic, Didier Lime
, Olivier H. Roux
:
Integer Parameter Synthesis for Real-Time Systems. IEEE Trans. Software Eng. 41(5): 445-461 (2015) - [c31]Nicolas David, Claude Jard, Didier Lime
, Olivier H. Roux:
Discrete Parameters in Petri Nets. Petri Nets 2015: 137-156 - [c30]Étienne André
, Didier Lime
, Olivier H. Roux:
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
, Olivier H. Roux:
Blending Timed Formal Models with Clock Transition Systems. Fundam. Informaticae 129(1-2): 85-100 (2014) - [c27]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: 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
, Claude Martinez, Olivier H. Roux:
Shrinking of Time Petri nets. Discret. Event Dyn. Syst. 23(4): 419-438 (2013) - [j9]Claude Jard, Didier Lime
, Olivier H. Roux, Louis-Marie Traonouez:
Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods Syst. Des. 43(3): 493-519 (2013) - [j8]Béatrice Bérard, Franck Cassez
, Serge Haddad, Didier Lime
, Olivier H. Roux:
The expressive power of time Petri nets. Theor. Comput. Sci. 474: 1-20 (2013) - [c26]Hanifa Boucheneb, Didier Lime
, Olivier H. Roux:
On Multi-enabledness in Time Petri Nets. Petri Nets 2013: 130-149 - [c25]Aleksandra Jovanovic, Didier Lime
, Olivier H. Roux:
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
, Olivier H. Roux:
Integer Parameter Synthesis for Timed Automata. TACAS 2013: 401-415 - [p2]Didier Lime
, Olivier H. Roux, Jirí Srba
:
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
, Paul Pettersson
, Jacob Illum Rasmussen, Jirí Srba
, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime
, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez:
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225 - 2012
- [j7]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): 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
, Olivier H. Roux:
Robustness of Time Petri Nets under Architectural Constraints. FORMATS 2012: 11-26 - [c20]Aleksandra Jovanovic, Sébastien Faucou
, Didier Lime
, Olivier H. Roux:
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
, Olivier H. Roux:
Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA 2010: 291-305 - [c17]Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime
, Olivier H. Roux:
Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS 2010: 137-151 - [c16]Timothy Bourke, Alexandre David, Kim G. Larsen
, Axel Legay, Didier Lime
, Ulrik Nyman
, Andrzej Wasowski
:
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
, Olivier H. Roux:
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
, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez:
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS 2009: 54-57 - 2008
- [j4]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): 202-220 (2008) - [c13]Morgan Magnin, Didier Lime
, Olivier H. Roux:
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets 2008: 307-326 - [c12]Louis-Marie Traonouez, Didier Lime
, Olivier H. Roux:
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. FORMATS 2008: 280-294 - 2007
- [j3]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): 133-158 (2007) - [c11]Franck Cassez
, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin
:
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
, Olivier H. Roux:
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
, Didier Lime:
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
, Olivier H. Roux:
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
![](https://dblp.org/img/cog.dark.24x24.png)
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-05-08 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint