Didier Lime

According to our database1, Didier Lime authored at least 65 papers between 2003 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Parametric Timed Broadcast Protocols.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Parametric Statistical Model Checking of UAV Flight Plan.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Parametric Updates in Parametric Timed Automata.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018
Reachability in parametric Interval Markov Chains using constraints.
Theor. Comput. Sci., 2018

TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Optimal-Cost Reachability Analysis Based on Time Petri Nets.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

Timed Automata with Parametric Updates.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017
Towards energy-proportional clouds partially powered by renewable energy.
Computing, 2017

Reachability in Parametric Interval Markov Chains Using Constraints.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Optimal Reachability in Cost Time Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Coverability Synthesis in Parametric Petri Nets.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Liveness in L/U-Parametric Timed Automata.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
Interrupt Timed Automata with Auxiliary Clocks and Parameters.
Fundam. Inform., 2016

Parameter Synthesis for Parametric Interval Markov Chains.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Decision Problems for Parametric Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2016

Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

On the Expressiveness of Parametric Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Lazy Reachability Analysis in Distributed Systems.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Probabilistic Time Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015
Integer Parameter Synthesis for Real-Time Systems.
IEEE Trans. Software Eng., 2015

Control and synthesis of non-interferent timed systems.
Int. J. Control, 2015

Discrete Parameters in Petri Nets (Informal Presentation).
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015


Integer-Complete Synthesis for Bounded Parametric Timed Automata.
Proceedings of the Reachability Problems - 9th International Workshop, 2015

Discrete Parameters in Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014
Blending Timed Formal Models with Clock Transition Systems.
Fundam. Inform., 2014

On Time with Minimal Expected Cost!
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
The expressive power of time Petri nets.
Theor. Comput. Sci., 2013

Symbolic unfolding of parametric stopwatch Petri nets.
Formal Methods in System Design, 2013

Shrinking of Time Petri nets.
Discrete Event Dynamic Systems, 2013

Integer Parameter Synthesis for Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Parametric Interrupt Timed Automata.
Proceedings of the Reachability Problems - 7th International Workshop, 2013

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games.
Proceedings of the Automated Technology for Verification and Analysis, 2013

On Multi-enabledness in Time Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012
Channel Synthesis for Finite Transducers.
Int. J. Found. Comput. Sci., 2012

Real-time control with parametric timed reachability games.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Robustness of Time Petri Nets under Architectural Constraints.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Clock Transition Systems.
Proceedings of the 21th International Workshop on Concurrency, 2012

2011
Channel Synthesis for Finite Transducers.
Proceedings of the Automata and Formal Languages, 13th International Conference, 2011

2010
New Results on Timed Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Diagnosis Using Unfoldings of Parametric Time Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Symbolic Unfolding of Parametric Stopwatch Petri Nets.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Formal verification of real-time systems with preemptive scheduling.
Real-Time Systems, 2009

Parametric Model-Checking of Stopwatch Petri Nets.
J. UCS, 2009

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Synthesis of Non-Interferent Timed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008
When are Timed Automata weakly timed bisimilar to Time Petri Nets?
Theor. Comput. Sci., 2008

Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.
Discrete Event Dynamic Systems, 2007

UPPAAL-Tiga: Time for Playing Games!
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Timed Control with Observation Based and Stuttering Invariant Strategies.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif.
Technique et Science Informatiques, 2006

An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.
Electr. Notes Theor. Comput. Sci., 2006

Model Checking of Time Petri Nets Using the State Class Timed Automaton.
Discrete Event Dynamic Systems, 2006

2005
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Comparison of the Expressiveness of Timed Automata and Time Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Efficient On-the-Fly Algorithms for the Analysis of Timed Games.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Romeo: A Tool for Analyzing Time Petri Nets.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Comparison of Different Semantics for Time Petri Nets.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
State class timed automaton of a time Petri net.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003


  Loading...