Didier Lime

Integer Parameter Synthesis for Real-Time Systems

Aleksandra Jovanović, Didier Lime, Olivier Roux · IEEE Transactions on Software Engineering · 2014 · 80 citations · Full text

Computing, Computer Engineering, Computer Science +9

Model Checking of Time Petri Nets Using the State Class Timed Automaton

Didier Lime, Olivier Roux · Discrete Event Dynamic Systems · 2006 · 77 citations · Full text

Computing, Computer Science, Computer Systems +16

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

Bernard Berthomieu, Didier Lime, Olivier Roux et al. · Discrete Event Dynamic Systems · 2007 · 60 citations

Computing, Computer Engineering, Computer Science +12

Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays

Jamil Ahmad, Gilles Bernot, Jean‐Paul Comet et al. · Complexus · 2006 · 58 citations

Life Sciences, Biology, Biological Systems Modeling +13

Parametric Model-Checking of Stopwatch Petri Nets

Didier Lime, Louis‐Marie Traonouez, Olivier Roux · 2020 · 49 citations · Full text

Computing, Computer Science, Systems Engineering +16