Didier Lime
École Centrale de Nantes
H-index: 26
Europe-France
Top articles of Didier Lime
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata | arXiv preprint arXiv:2310.20392 | Étienne André Engel Lefaucheux Didier Lime Dylan Marinho Jun Sun | 2023/10/31 |
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata | arXiv preprint arXiv:2310.09109 | Étienne André Didier Lime Olivier H Roux | 2023/10/13 |
Timed non-interference under partial observability and bounded memory | Anthony Spriet Didier Lime Olivier H Roux | 2023/8/29 | |
Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états | Loriane Leclercq Didier Lime | 2023/11/22 | |
A state class based controller synthesis approach for Time Petri Nets | Loriane Leclercq Didier Lime Olivier H Roux | 2023/5/28 | |
Non-interference temporisée avec observation partielle et mémoire bornée | Anthony Spriet Didier Lime Olivier-H Roux | 2023/11/22 | |
Reachability and liveness in parametric timed automata | Logical Methods in Computer Science | Étienne André Didier Lime Olivier H Roux | 2022/2/9 |
Guaranteeing timed opacity using parametric timed model checking | ACM Transactions on Software Engineering and Methodology (TOSEM) | Étienne André Didier Lime Dylan Marinho Jun Sun | 2022/9/8 |
An algorithm for single-source shortest paths enumeration in parameterized weighted graphs | Bastien Sérée Loïg Jezequel Didier Lime | 2021 | |
Cost problems for parametric time Petri nets | Fundamenta Informaticae | Didier Lime Olivier H Roux Charlotte Seidner | 2021/12/23 |
A Lazy Query Scheme for Reachability Analysis in Petri Nets | Loïg Jezequel Didier Lime Bastien Sérée | 2021/6/16 | |
A Turn-Based Approach for Qualitative Time Concurrent Games | Serge Haddad Didier Lime Olivier H Roux | 2021/6/16 | |
Logical time control of concurrent DES | Discrete Event Dynamic Systems | Jean-Luc Béchennec Didier Lime Olivier H Roux | 2021/6 |
Parametric updates in parametric timed automata | Logical Methods in Computer Science | Étienne André Didier Lime Mathias Ramparison | 2021/5/10 |
Backward Symbolic Optimal Reachability in Weighted Timed Automata | Rémi Parrot Didier Lime | 2020 | |
Control of real-time systems with integer parameters | IEEE Transactions on Automatic Control | Aleksandra Jovanović Didier Lime Olivier H Roux | 2020/12/22 |
Leveraging Parameters within Model Checking to Verify Distributed Software Deployment Properties by Composition | Hélene Coullon Didier Lime | 2020/9/9 | |
Analysis of polka contention manager for use in multicore hard real-time systems | Adrien Quillet Audrey Queudet Didier Lime | 2020/6/9 | |
Language preservation problems in parametric timed automata | Logical Methods in Computer Science | Étienne André Didier Lime Nicolas Markey | 2020/1/22 |
Co-Authors
