Search results for "stopwatch"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
119	Franck Cassez, Kim Guldstrand Larsen	The Impressive Power of Stopwatches.	CONCUR	2000	DBLP DOI BibTeX RDF
79	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
79	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
71	Yasmina Abdeddaïm, Oded Maler	Preemptive Job-Shop Scheduling Using Stopwatch Automata.	TACAS	2002	DBLP DOI BibTeX RDF
59	Adib Allahham, Hassane Alla	Monitoring of a Class of Timed Discrete Events Systems.	ICRA	2007	DBLP DOI BibTeX RDF
56	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
40	Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	Model-Checking for Weighted Timed Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
31	Sparsa Roychowdhury	1½-Player Stochastic StopWatch Games.	TIME	2021	DBLP DOI BibTeX RDF
31	Tadeusz W. Kononowicz, Tilmann Heinrich Sander, Hedderik van Rijn, Virginie van Wassenhove	Precision Timing with α-β Oscillatory Coupling: Stopwatch or Motor Control?	J. Cogn. Neurosci.	2020	DBLP DOI BibTeX RDF
31	Samukannu Ravi, Adamu Murtala Zungeru, Bokani Mtengi, Joseph Chuma	An Enhanced Digital Stopwatch for Academic Purposes.	EEET	2019	DBLP DOI BibTeX RDF
31	Alevtina B. Glonina, Vasily V. Balashov	On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks.	Autom. Control. Comput. Sci.	2018	DBLP DOI BibTeX RDF
31	Alevtina B. Glonina, Anatoly G. Bakhmurov	Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systems.	PaCT	2017	DBLP DOI BibTeX RDF
31	Matthew Stephen Holden, Zsuzsanna Keri, Tamas Ungi, Gabor Fichtinger	Overall Proficiency Assessment in Point-of-Care Ultrasound Interventions: The Stopwatch is not Enough.	BIVPCS/POCUS@MICCAI	2017	DBLP DOI BibTeX RDF
31	Peng Li 0059, Debin Gao, Michael K. Reiter	StopWatch: A Cloud Architecture for Timing Channel Mitigation.	ACM Trans. Inf. Syst. Secur.	2014	DBLP DOI BibTeX RDF
31	Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez	Symbolic unfolding of parametric stopwatch Petri nets.	Formal Methods Syst. Des.	2013	DBLP DOI BibTeX RDF
31	Lukas Bossard, Matthieu Guillaumin, Luc Van Gool	Event Recognition in Photo Collections with a Stopwatch HMM.	ICCV	2013	DBLP DOI BibTeX RDF
31	Peng Li 0059, Debin Gao, Michael K. Reiter	Mitigating access-driven timing channels in clouds using StopWatch.	DSN	2013	DBLP DOI BibTeX RDF
31	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
31	Louis-Marie Traonouez, Didier Lime, Olivier H. Roux	Parametric Model-Checking of Stopwatch Petri Nets.	J. Univers. Comput. Sci.	2009	DBLP DOI BibTeX RDF
31	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
31	Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	On model-checking timed automata with stopwatch observers.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
31	Olivier F. Roux, Vlad Rusu	Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata.	Hybrid Systems	1994	DBLP DOI BibTeX RDF
20	Jasper Berendsen, Taolue Chen, David N. Jansen	Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.	TAMC	2009	DBLP DOI BibTeX RDF
20	Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain	Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF
20	Manfred Droste, Karin Quaas	A Kleene-Schützenberger Theorem for Weighted Timed Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
20	Catalin Dima, Ruggero Lanotte	Distributed Time-Asynchronous Automata.	ICTAC	2007	DBLP DOI BibTeX RDF
20	Patricia Bouyer, Nicolas Markey	Costs Are Expensive!	FORMATS	2007	DBLP DOI BibTeX RDF
20	Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain	Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.	FATES/RV	2006	DBLP DOI BibTeX RDF
20	Christine Ziemer, Jodie M. Plumert, James F. Cremer, Joseph K. Kearney	Making distance judgments in real and virtual environments: does order make a difference?	APGV	2006	DBLP DOI BibTeX RDF
20	Jodie M. Plumert, Joseph K. Kearney, James F. Cremer, Kara Recker	Distance perception in real and virtual environments.	ACM Trans. Appl. Percept.	2005	DBLP DOI BibTeX RDF	large-screen immersive displays, Virtual environments, perception, distance estimation
20	Catalin Dima	Timed Shuffle Expressions.	CONCUR	2005	DBLP DOI BibTeX RDF
20	Pavel Krcál, Radek Pelánek	On Sampled Semantics of Timed Systems.	FSTTCS	2005	DBLP DOI BibTeX RDF
20	Jodie M. Plumert, Joseph K. Kearney, James F. Cremer	Distance perception in real and virtual environments.	APGV	2004	DBLP DOI BibTeX RDF	large-screen immersive displays, virtual environments, perception, distance estimation
20	Daniel Mange, André Stauffer, Gianluca Tempesti	Embryonics: A Macroscopic View of the Cellular Architecture.	ICES	1998	DBLP DOI BibTeX RDF
20	D. L. McBurney, M. Ronan Sleep	Transputer-Based Experiments with the ZAPP Architecture.	PARLE (1)	1987	DBLP DOI BibTeX RDF