|
|
|
|
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  |
RV@CAV  |
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. |
RV@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma |
Preface. |
RV@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaniv Eytani |
Concurrent Java Test Generation as a Search Problem. |
RV@CAV |
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. |
RV@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Usa Sammapun, Insup Lee 0001, Jesung Kim |
Run-Time Checking of Dynamic Properties. |
RV@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayfun Elmas, Serdar Tasiran |
VyrdMC: Driving Runtime Refinement Checking with Model Checkers. |
RV@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arvind Easwaran, Sampath Kannan, Oleg Sokolsky |
Steering of Discrete Event Systems: Control Theory Approach. |
RV@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Stolz, Eric Bodden |
Temporal Assertions using AspectJ. |
RV@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck |
Monitoring Interfaces for Faults. |
RV@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Mahesh Viswanathan 0001 |
Preface. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqiang Wang, Scott D. Stoller |
Run-Time Analysis for Atomicity. |
RV@CAV |
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. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michelle L. Crane, Jürgen Dingel |
Runtime Conformance Checking of Objects Using Alloy. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck |
Run-Time Validation of Speculative Optimizations using CVC. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloysius K. Mok |
Event-Based Real-Time Monitoring. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar Mondragon, Ann Q. Gates, Steve Roach |
Prospec: Support for Elicitation and Formal Specification of Software Properties. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Tan, Jesung Kim, Insup Lee 0001 |
Testing and Monitoring Model-based Generated Program. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic |
Formalizing Java-MaC. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Nethercote, Julian Seward |
Valgrind: A Program Supervision Framework. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alper Sen 0001, Vijay K. Garg |
Partial Order Trace Analyzer (POTA) for Distributed Programs. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Nethercote, Alan Mycroft |
Redux: A Dynamic Dataflow Tracer. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen 0006, Grigore Rosu |
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. |
RV@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Grigore Rosu |
Generating Optimal Monitors for Extended Regular Expressions. |
RV@CAV |
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 |
RV@CAV |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado |
DynaMICs: Comprehensive Support for Run-Time Monitoring. |
RV@CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Grigore Rosu |
Monitoring Java Programs with Java PathExplorer. |
RV@CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Grigore Rosu |
Preface. |
RV@CAV |
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. |
RV@CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy W. Nimmer, Michael D. Ernst |
Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. |
RV@CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Henny Sipma |
Checking Finite Traces using Alternating Automata. |
RV@CAV |
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. |
RV@CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen |
On the Construction of Monitors for Temporal Logic Properties. |
RV@CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé, Erwan Jahier |
Efficient Automated Trace Analysis: Examples with Morphine. |
RV@CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Tripakis, Sergio Yovine |
Timing Analysis and Code Generation of Vehicle Control Software using Taxys. |
RV@CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer |
Dynamic Assertions Using TXP. |
RV@CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Detlef Bartetzko, Clemens Fischer, Michael Möller 0002, Heike Wehrheim |
Jass - Java with Assertions. |
RV@CAV |
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 |
RV@CAV |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license