The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "RV@CAV"( http://dblp.L3S.de/Venues/RV@CAV )

URL (DBLP): http://dblp.uni-trier.de/db/conf/rv

Publication years (Num. hits)
2001 (13) 2003 (15) 2005 (9) 2006 (1)
Publication types (Num. hits)
inproceedings(35) proceedings(3)
Venues (Conferences, Journals, ...)
RV@CAV(38)
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
1Howard 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 RV@CAV The full citation details ... 2006 DBLP  BibTeX  RDF
1Yuhong Zhao 0001, Simon Oberthür, Martin Kardos, Franz-Josef Rammig Model-based Runtime Verification Framework for Self-optimizing Systems. Search on Bibsonomy RV@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma Preface. Search on Bibsonomy RV@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yaniv Eytani Concurrent Java Test Generation as a Search Problem. Search on Bibsonomy RV@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Feng Chen 0006, Marcelo d'Amorim, Grigore Rosu Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. Search on Bibsonomy RV@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Oleg Sokolsky, Usa Sammapun, Insup Lee 0001, Jesung Kim Run-Time Checking of Dynamic Properties. Search on Bibsonomy RV@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tayfun Elmas, Serdar Tasiran VyrdMC: Driving Runtime Refinement Checking with Model Checkers. Search on Bibsonomy RV@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Arvind Easwaran, Sampath Kannan, Oleg Sokolsky Steering of Discrete Event Systems: Control Theory Approach. Search on Bibsonomy RV@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Volker Stolz, Eric Bodden Temporal Assertions using AspectJ. Search on Bibsonomy RV@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck Monitoring Interfaces for Faults. Search on Bibsonomy RV@CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Oleg Sokolsky, Mahesh Viswanathan 0001 Preface. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Liqiang Wang, Scott D. Stoller Run-Time Analysis for Atomicity. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Michelle L. Crane, Jürgen Dingel Runtime Conformance Checking of Objects Using Alloy. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck Run-Time Validation of Speculative Optimizations using CVC. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Aloysius K. Mok Event-Based Real-Time Monitoring. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Oscar Mondragon, Ann Q. Gates, Steve Roach Prospec: Support for Elicitation and Formal Specification of Software Properties. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Li Tan, Jesung Kim, Insup Lee 0001 Testing and Monitoring Model-based Generated Program. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic Formalizing Java-MaC. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nicholas Nethercote, Julian Seward Valgrind: A Program Supervision Framework. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alper Sen 0001, Vijay K. Garg Partial Order Trace Analyzer (POTA) for Distributed Programs. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nicholas Nethercote, Alan Mycroft Redux: A Dynamic Dataflow Tracer. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Feng Chen 0006, Grigore Rosu Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Koushik Sen, Grigore Rosu Generating Optimal Monitors for Extended Regular Expressions. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Oleg Sokolsky, Mahesh Viswanathan 0001 (eds.) Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003 Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  BibTeX  RDF
1Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado DynaMICs: Comprehensive Support for Run-Time Monitoring. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Grigore Rosu Monitoring Java Programs with Java PathExplorer. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Grigore Rosu Preface. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Moonjoo 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 RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jeremy W. Nimmer, Michael D. Ernst Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Henny Sipma Checking Finite Traces using Alternating Automata. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1David Kortenkamp, Tod Milam, Reid G. Simmons, Joaquín Lopez Fernández Collecting and Analyzing Data from Distributed Control Programs. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marc Geilen On the Construction of Monitors for Temporal Logic Properties. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mireille Ducassé, Erwan Jahier Efficient Automated Trace Analysis: Examples with Morphine. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Stavros Tripakis, Sergio Yovine Timing Analysis and Code Generation of Vehicle Control Software using Taxys. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer Dynamic Assertions Using TXP. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Detlef Bartetzko, Clemens Fischer, Michael Möller 0002, Heike Wehrheim Jass - Java with Assertions. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Grigore Rosu (eds.) Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001 Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license