|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 15 keywords
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
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 |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|