Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Didier
Last name:	Lime
DBLP:	94/6720
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 19 of 19  

Select a publication
Show	Title	Venue	Rating	Date
	Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux. Synthesis of Non-Interferent Timed Systems.	Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings 2009	(0)	2009
	Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez. Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.	Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings 2009	(0)	2009
	Didier Lime, Olivier H. Roux. Formal verification of real-time systems with preemptive scheduling.	Real-Time Systems 2009, Volume 41	(0)	2009
	Morgan Magnin, Didier Lime, Olivier H. Roux. Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).	Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings 2008	(0)	2008
	Louis-Marie Traonouez, Didier Lime, Olivier H. Roux. Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.	Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings 2008	(0)	2008
	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. 2008, Volume 403	(0)	2008
	Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin. Timed Control with Observation Based and Stuttering Invariant Strategies.	Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings 2007	(0)	2007
	Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime. UPPAAL-Tiga: Time for Playing Games!	Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings 2007	(0)	2007
	Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat. Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.	Discrete Event Dynamic Systems 2007, Volume 17	(0)	2007
	Morgan Magnin, Didier Lime, Olivier H. Roux. An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.	Electr. Notes Theor. Comput. Sci. 2006, Volume 144	(0)	2006
	Didier Lime, Olivier H. Roux. Vérification formelle des systèmes temps-réel avec ordonnancement préemptif.	Technique et Science Informatiques 2006, Volume 25	(0)	2006
	Didier Lime, Olivier H. Roux. Model Checking of Time Petri Nets Using the State Class Timed Automaton.	Discrete Event Dynamic Systems 2006, Volume 16	(0)	2006
	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux. Comparison of Different Semantics for Time Petri Nets.	Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings 2005	(0)	2005
	Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux. Romeo: A Tool for Analyzing Time Petri Nets.	Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings 2005	(0)	2005
	Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime. Efficient On-the-Fly Algorithms for the Analysis of Timed Games.	CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings 2005	(0)	2005
	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux. Comparison of the Expressiveness of Timed Automata and Time Petri Nets.	Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings 2005	(0)	2005
	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: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings 2005	(0)	2005
	Olivier H. Roux, Didier Lime. Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.	Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings 2004	(0)	2004
	Didier Lime, Olivier H. Roux. 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), 5-8 December 2004, Lisbon, Portugal 2004	(0)	2004

Your query returned 19 matches in the database.