|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma (eds.) |
Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Yuhong Zhao 0001, Simon Oberthür, Martin Kardos, Franz-Josef Rammig |
Model-based Runtime Verification Framework for Self-optimizing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 125-145, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 1, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yaniv Eytani |
Concurrent Java Test Generation as a Search Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 57-72, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Feng Chen 0006, Marcelo d'Amorim, Grigore Rosu |
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 3-20, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Sokolsky, Usa Sammapun, Insup Lee 0001, Jesung Kim |
Run-Time Checking of Dynamic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 91-108, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tayfun Elmas, Serdar Tasiran |
VyrdMC: Driving Runtime Refinement Checking with Model Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 41-56, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Arvind Easwaran, Sampath Kannan, Oleg Sokolsky |
Steering of Discrete Event Systems: Control Theory Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 21-39, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Volker Stolz, Eric Bodden |
Temporal Assertions using AspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 109-124, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck |
Monitoring Interfaces for Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 73-89, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Sokolsky, Mahesh Viswanathan 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 246-247, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Liqiang Wang, Scott D. Stoller |
Run-Time Analysis for Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 191-209, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen |
Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 210-225, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michelle L. Crane, Jürgen Dingel |
Runtime Conformance Checking of Objects Using Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 2-21, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck |
Run-Time Validation of Speculative Optimizations using CVC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 89-107, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Aloysius K. Mok |
Event-Based Real-Time Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 1, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Mondragon, Ann Q. Gates, Steve Roach |
Prospec: Support for Elicitation and Formal Specification of Software Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 67-88, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Li Tan, Jesung Kim, Insup Lee 0001 |
Testing and Monitoring Model-based Generated Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 128-148, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic |
Formalizing Java-MaC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 171-190, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Nethercote, Julian Seward |
Valgrind: A Program Supervision Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 44-66, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alper Sen 0001, Vijay K. Garg |
Partial Order Trace Analyzer (POTA) for Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 22-43, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Nethercote, Alan Mycroft |
Redux: A Dynamic Dataflow Tracer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 149-170, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Feng Chen 0006, Grigore Rosu |
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 108-127, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Koushik Sen, Grigore Rosu |
Generating Optimal Monitors for Extended Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 226-245, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Sokolsky, Mahesh Viswanathan 0001 (eds.) |
Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado |
DynaMICs: Comprehensive Support for Run-Time Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 164-180, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Grigore Rosu |
Monitoring Java Programs with Java PathExplorer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 200-217, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Grigore Rosu |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 287-288, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Moonjoo Kim 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky, Mahesh Viswanathan 0001 |
Java-MaC: a Run-time Assurance Tool for Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 218-235, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy W. Nimmer, Michael D. Ernst |
Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 255-276, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Henny Sipma |
Checking Finite Traces using Alternating Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 147-163, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | David Kortenkamp, Tod Milam, Reid G. Simmons, Joaquín Lopez Fernández |
Collecting and Analyzing Data from Distributed Control Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 236-254, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marc Geilen |
On the Construction of Monitors for Temporal Logic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 181-199, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mireille Ducassé, Erwan Jahier |
Efficient Automated Trace Analysis: Examples with Morphine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 118-133, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Tripakis, Sergio Yovine |
Timing Analysis and Code Generation of Vehicle Control Software using Taxys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 277-286, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer |
Dynamic Assertions Using TXP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 134-146, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Bartetzko, Clemens Fischer, Michael Möller 0002, Heike Wehrheim |
Jass - Java with Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 103-117, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Grigore Rosu (eds.) |
Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![Elsevier The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|