The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Didier Lime" ( http://dblp.L3S.de/Authors/Didier_Lime )

URL (Homepage):  http://www.irccyn.ec-nantes.fr/~lime/  Author page on DBLP  Author page in RDF  Community of Didier Lime in ASPL-2

Publication years (Num. hits)
2003-2008 (17) 2009-2013 (22) 2014-2016 (16) 2017-2019 (24)
Publication types (Num. hits)
article(27) incollection(2) inproceedings(50)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 25 keywords

Results
Found 80 publication records. Showing 79 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Aleksandra Jovanovic, Didier Lime, Olivier H. Roux A game approach to the parametric control of real-time systems. Search on Bibsonomy Int. J. Control The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison Parametric updates in parametric timed automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga Parametric analyses of attack-fault trees. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci Parametric Verification: An Introduction. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison On the expressive power of invariants in parametric timed automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Didier Lime, Olivier H. Roux, Charlotte Seidner Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean-Luc Béchennec, Didier Lime, Olivier H. Roux Control of DES with Urgency, Avoidability and Ineluctability. Search on Bibsonomy ACSD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga Parametric Analyses of Attack-Fault Trees. Search on Bibsonomy ACSD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison Parametric Updates in Parametric Timed Automata. Search on Bibsonomy FORTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime Parametric Statistical Model Checking of UAV Flight Plan. Search on Bibsonomy FORTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime Parametric Timed Broadcast Protocols. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Eric Monfroy, Charlotte Truchet Reachability in parametric Interval Markov Chains using constraints. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime Parametric Timed Broadcast Protocols. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Étienne André, Didier Lime, Nicolas Markey Language Preservation Problems in Parametric Timed Automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison Timed Automata with Parametric Updates. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner Optimal-Cost Reachability Analysis Based on Time Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. Search on Bibsonomy FORMATS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anicet Bart, Benoît Delahaye, Didier Lime, Eric Monfroy, Charlotte Truchet Reachability in Parametric Interval Markov Chains using Constraints. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha Towards energy-proportional clouds partially powered by renewable energy. Search on Bibsonomy Computing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anicet Bart, Benoît Delahaye, Didier Lime, Eric Monfroy, Charlotte Truchet Reachability in Parametric Interval Markov Chains Using Constraints. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime Liveness in L/U-Parametric Timed Automata. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux Coverability Synthesis in Parametric Petri Nets. Search on Bibsonomy CONCUR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner Optimal Reachability in Cost Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Loïg Jezequel, Didier Lime Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime Interrupt Timed Automata with Auxiliary Clocks and Parameters. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Olivier H. Roux Decision Problems for Parametric Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux Probabilistic Time Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. Search on Bibsonomy FTSCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Loïg Jezequel, Didier Lime Lazy Reachability Analysis in Distributed Systems. Search on Bibsonomy CONCUR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benoît Delahaye, Didier Lime, Laure Petrucci Parameter Synthesis for Parametric Interval Markov Chains. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Olivier H. Roux On the Expressiveness of Parametric Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux Control and synthesis of non-interferent timed systems. Search on Bibsonomy Int. J. Control The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aleksandra Jovanovic, Didier Lime, Olivier H. Roux Integer Parameter Synthesis for Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux Discrete Parameters in Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha The EPOC Project - Energy Proportional and Opportunistic Computing System. Search on Bibsonomy SMARTGREENS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux Discrete Parameters in Petri Nets (Informal Presentation). Search on Bibsonomy SynCoP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Olivier H. Roux Integer-Complete Synthesis for Bounded Parametric Timed Automata. Search on Bibsonomy RP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Claude Jard, Didier Lime, Olivier H. Roux Blending Timed Formal Models with Clock Transition Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime Interrupt Timed Automata with Auxiliary Clocks and Parameters. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist On Time with Minimal Expected Cost! Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Didier Lime, Claude Martinez, Olivier H. Roux Shrinking of Time Petri nets. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez Symbolic unfolding of parametric stopwatch Petri nets. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux The expressive power of time Petri nets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux, Jirí Srba Models for Real-Time Embedded Systems. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi 0001, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez Tools for Model-Checking Timed Systems. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Didier Lime, Olivier H. Roux On Multi-enabledness in Time Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aleksandra Jovanovic, Didier Lime, Olivier H. Roux Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aleksandra Jovanovic, Didier Lime, Olivier H. Roux Integer Parameter Synthesis for Timed Automata. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime Parametric Interrupt Timed Automata. Search on Bibsonomy RP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux Control and Synthesis of Non-Interferent Timed Systems Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas Channel Synthesis for Finite Transducers. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux, Claude Jard Clock Transition Systems. Search on Bibsonomy CS&P The full citation details ... 2012 DBLP  BibTeX  RDF
1Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux Real-time control with parametric timed reachability games. Search on Bibsonomy WODES The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux Robustness of Time Petri Nets under Architectural Constraints. Search on Bibsonomy FORMATS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas Channel Synthesis for Finite Transducers. Search on Bibsonomy AFL The full citation details ... 2011 DBLP  BibTeX  RDF
1Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski New Results on Timed Specifications. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux Symbolic Unfolding of Parametric Stopwatch Petri Nets. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux Diagnosis Using Unfoldings of Parametric Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux Formal verification of real-time systems with preemptive scheduling. Search on Bibsonomy Real-Time Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Verification, Formal methods, Petri nets, Preemptive scheduling, Hybrid automata
1Louis-Marie Traonouez, Didier Lime, Olivier H. Roux Parametric Model-Checking of Stopwatch Petri Nets. Search on Bibsonomy J. UCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches
1Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux Synthesis of Non-Interferent Timed Systems. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Synthesis, Non-Interference, Timed Automaton
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux When are Timed Automata weakly timed bisimilar to Time Petri Nets? Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Morgan Magnin, Didier Lime, Olivier H. Roux Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification using nets, symbolic state space, Time Petri nets, discrete-time, dense-time, stopwatches
1Louis-Marie Traonouez, Didier Lime, Olivier H. Roux Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF state-class graph, model-checking, Time Petri nets, parameters, stopwatches
1Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF State classes, Real-time systems modeling and verification, Approximation, Decidability, Time Petri nets, Reachability, Stopwatches
1Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime UPPAAL-Tiga: Time for Playing Games! Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin Timed Control with Observation Based and Stuttering Invariant Strategies. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux Model Checking of Time Petri Nets Using the State Class Timed Automaton. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Dense-time systems, Model-checking, Timed automata, Time petri nets
1Morgan Magnin, Didier Lime, Olivier H. Roux An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux Romeo: A Tool for Analyzing Time Petri Nets. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scheduling, model-checking, Time Petri nets, state-space, polyhedron, stopwatch, DBM
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of Different Semantics for Time Petri Nets. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Bisimilarity, Expressiveness, Time Petri Nets
1Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime Efficient On-the-Fly Algorithms for the Analysis of Timed Games. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Weak Timed Bisimilarity, Timed Automata, Time Petri Nets
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of the Expressiveness of Timed Automata and Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets
1Olivier H. Roux, Didier Lime Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. Search on Bibsonomy RTSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux State class timed automaton of a time Petri net. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #79 of 79 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license