Didier Lime
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
13
Active years
2004–2025
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. | Nicolaj . Jensen, Kim G. Larsen, Didier Lime, Jir Srba |
| 2025 | SAC | Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. | tienne Andr, Jean-Luc Bchennec, Sudipta Chattopadhyay, Sbastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun |
| 2021 | LATA | An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. | Bastien Sre, Log Jezequel, Didier Lime |
| 2020 | RTNS | Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems. | Adrien Quillet, Audrey Queudet, Didier Lime |
| 2019 | FORTE | Parametric Updates in Parametric Timed Automata. | tienne Andr, Didier Lime, Mathias Ramparison |
| 2019 | FORTE | Parametric Statistical Model Checking of UAV Flight Plan. | Ran Bao, J. Christian Attiogb, Benot Delahaye, Paulin Fournier, Didier Lime |
| 2019 | ICECCS | On the Expressive Power of Invariants in Parametric Timed Automata. | tienne Andr, Didier Lime, Mathias Ramparison |
| 2019 | IFM | Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. | Hlne Coullon, Claude Jard, Didier Lime |
| 2019 | VMCAI | Parametric Timed Broadcast Protocols. | tienne Andr, Benot Delahaye, Paulin Fournier, Didier Lime |
| 2017 | CONCUR | Coverability Synthesis in Parametric Petri Nets. | Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux |
| 2016 | CONCUR | Lazy Reachability Analysis in Distributed Systems. | Log Jezequel, Didier Lime |
| 2016 | ICFEM | Decision Problems for Parametric Timed Automata. | tienne Andr, Didier Lime, Olivier H. Roux |
| 2016 | VMCAI | Parameter Synthesis for Parametric Interval Markov Chains. | Benot Delahaye, Didier Lime, Laure Petrucci |
| 2014 | ATVA | On Time with Minimal Expected Cost! | Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Srensen, Jakob Haahr Taankvist |
| 2013 | ATVA | Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. | Aleksandra Jovanovic, Didier Lime, Olivier H. Roux |
| 2013 | TACAS | Integer Parameter Synthesis for Timed Automata. | Aleksandra Jovanovic, Didier Lime, Olivier H. Roux |
| 2010 | ATVA | Symbolic Unfolding of Parametric Stopwatch Petri Nets. | Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux |
| 2009 | TACAS | Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. | Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez |
| 2007 | ATVA | Timed Control with Observation Based and Stuttering Invariant Strategies. | Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-Franois Raskin |
| 2007 | CAV | UPPAAL-Tiga: Time for Playing Games! | Gerd Behrmann, Agns Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2005 | ATVA | Comparison of Different Semantics for Time Petri Nets. | Batrice Brard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
| 2005 | CAV | Romeo: A Tool for Analyzing Time Petri Nets. | Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux |
| 2005 | CONCUR | Efficient On-the-Fly Algorithms for the Analysis of Timed Games. | Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2004 | RTSS | A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. | Didier Lime, Olivier H. Roux |