|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 44 occurrences of 25 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas |
Channel Synthesis for Finite Transducers.  |
AFL  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux |
Diagnosis Using Unfoldings of Parametric Time Petri Nets. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux |
Symbolic Unfolding of Parametric Stopwatch Petri Nets. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski |
New Results on Timed Specifications. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis-Marie Traonouez, Didier Lime, Olivier H. Roux |
Parametric Model-Checking of Stopwatch Petri Nets. |
J. UCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Lime, Olivier H. Roux |
Formal verification of real-time systems with preemptive scheduling. |
Real-Time Systems |
2009 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, Petri nets, Preemptive scheduling, Hybrid automata |
| 1 | Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez |
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches |
| 1 | Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux |
Synthesis of Non-Interferent Timed Systems. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
Synthesis, Non-Interference, Timed Automaton |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Morgan Magnin, Didier Lime, Olivier H. Roux |
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
Verification using nets, symbolic state space, Time Petri nets, discrete-time, dense-time, stopwatches |
| 1 | Louis-Marie Traonouez, Didier Lime, Olivier H. Roux |
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
state-class graph, model-checking, Time Petri nets, parameters, stopwatches |
| 1 | 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 |
DBLP DOI BibTeX RDF |
State classes, Real-time systems modeling and verification, Approximation, Decidability, Time Petri nets, Reachability, Stopwatches |
| 1 | Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin |
Timed Control with Observation Based and Stuttering Invariant Strategies. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
UPPAAL-Tiga: Time for Playing Games! |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Lime, Olivier H. Roux |
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. |
Technique et Science Informatiques |
2006 |
DBLP BibTeX RDF |
|
| 1 | Didier Lime, Olivier H. Roux |
Model Checking of Time Petri Nets Using the State Class Timed Automaton. |
Discrete Event Dynamic Systems |
2006 |
DBLP DOI BibTeX RDF |
Dense-time systems, Model-checking, Timed automata, Time petri nets |
| 1 | Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
Efficient On-the-Fly Algorithms for the Analysis of Timed Games. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
Comparison of the Expressiveness of Timed Automata and Time Petri Nets. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets |
| 1 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
Comparison of Different Semantics for Time Petri Nets. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
Timed Bisimilarity, Expressiveness, Time Petri Nets |
| 1 | Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux |
Romeo: A Tool for Analyzing Time Petri Nets. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
scheduling, model-checking, Time Petri nets, state-space, polyhedron, stopwatch, DBM |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Weak Timed Bisimilarity, Timed Automata, Time Petri Nets |
| 1 | Olivier H. Roux, Didier Lime |
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Lime, Olivier H. Roux |
A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")