Search results for "stopwatches"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
2	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
2	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
2	Franck Cassez, Kim Guldstrand Larsen	The Impressive Power of Stopwatches.	CONCUR	2000	DBLP DOI BibTeX RDF
1	Catalin Dima, Ruggero Lanotte	A study on shuffle, stopwatches and independently evolving clocks.	Distributed Computing	2012	DBLP DOI BibTeX RDF
1	Morgan Magnin, Pierre Molinaro, Olivier H. Roux	Expressiveness of Petri Nets with Stopwatches. Discrete-time Part.	Fundam. Inform.	2009	DBLP DOI BibTeX RDF
1	Morgan Magnin, Pierre Molinaro, Olivier H. Roux	Expressiveness of Petri Nets with Stopwatches. Dense-time Part.	Fundam. Inform.	2009	DBLP DOI BibTeX RDF
1	Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni	Test of preemptive real-time systems.	AICCSA	2008	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	Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit	Verification of a scheduler in B through a timed automata specification.	SAC	2006	DBLP DOI BibTeX RDF	verification, specification, timed automata, B method
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
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	Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	Model-Checking for Weighted Timed Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF