The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Stopwatches with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000-2012 (15)
Publication types (Num. hits)
article(5) inproceedings(10)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 23 occurrences of 15 keywords

Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
86Louis-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
86Bernard 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
63Didier 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
56Franck Cassez, Kim Guldstrand Larsen The Impressive Power of Stopwatches. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
52Morgan 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
46Didier 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
46Thomas Brihaye, Véronique Bruyère, Jean-François Raskin Model-Checking for Weighted Timed Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Catalin Dima, Ruggero Lanotte A study on shuffle, stopwatches and independently evolving clocks. Search on Bibsonomy Distributed Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
34Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. Search on Bibsonomy DS-RT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
34Morgan Magnin, Pierre Molinaro, Olivier H. Roux Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Morgan Magnin, Pierre Molinaro, Olivier H. Roux Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Morgan 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
23Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni Test of preemptive real-time systems. Search on Bibsonomy AICCSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit Verification of a scheduler in B through a timed automata specification. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF verification, specification, timed automata, B method
23Olivier 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
Displaying result #1 - #15 of 15 (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