Search results for "Stopwatches"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	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
87	Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat 0001	Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	State classes, Real-time systems modeling and verification, Approximation, Decidability, Time Petri nets, Reachability, Stopwatches
64	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
57	Franck Cassez, Kim Guldstrand Larsen	The Impressive Power of Stopwatches.	CONCUR	2000	DBLP DOI BibTeX RDF
52	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
46	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
46	Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	Model-Checking for Weighted Timed Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
34	Catalin Dima, Ruggero Lanotte	A study on shuffle, stopwatches and independently evolving clocks.	Distributed Comput.	2012	DBLP DOI BibTeX RDF
34	Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo	Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches.	DS-RT	2012	DBLP DOI BibTeX RDF
34	Morgan Magnin, Pierre Molinaro, Olivier H. Roux	Expressiveness of Petri Nets with Stopwatches. Dense-time Part.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
34	Morgan Magnin, Pierre Molinaro, Olivier H. Roux	Expressiveness of Petri Nets with Stopwatches. Discrete-time Part.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
34	Morgan Magnin, Didier Lime, Olivier H. Roux	An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.	SoftMC@CAV	2005	DBLP DOI BibTeX RDF
23	Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni	Test of preemptive real-time systems.	AICCSA	2008	DBLP DOI BibTeX RDF
23	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
23	Olivier H. Roux, Didier Lime	Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.	ICATPN	2004	DBLP DOI BibTeX RDF