Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2004 (13) 2005 (1)
Publication types (Num. hits)
inproceedings(13) proceedings(1)
Venues (Conferences, Journals, ...)
RV@ETAPS(14)
Authors
Grigore Rosu(3) Klaus Havelund(2) Armin Biere(1) Arvind Easwaran(1) Chaker Nakhli(1) Diego Garbervetsky(1) Doron A. Peled(1) Doron Drusinsky(1) Frank Huch(1) Hichem Zorgati(1) Hongyang Qu 0001(1) Insup Lee 0001(1) Jay Freeman(1) Konstantine Arkoudas(1) Lars-Åke Fredlund(1) Marcel Baur(1) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Klaus Havelund, Grigore Rosu (eds.) Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004 Search on Bibsonomy RV@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Volker Stolz, Frank Huch Runtime Verification of Concurrent Haskell Programs. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Konstantine Arkoudas, Martin C. Rinard Deductive Runtime Certification. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Hongyang Qu 0001 Enforcing Concurrent Temporal Behaviors. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Prasanna Thati, Grigore Rosu Monitoring Algorithms for Metric Temporal Logic Specifications. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Lars-Åke Fredlund Guaranteeing Correctness Properties of a Java Card Applet. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Grigore Rosu Preface. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis Testing Conformance of Real-Time Applications by Automatic Generation of Observers. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Usa Sammapun, Arvind Easwaran, Insup Lee 0001, Oleg Sokolsky Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Doron Drusinsky Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Viktor Schuppan, Marcel Baur, Armin Biere JVM Independent Replay in Java. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Serdar Tasiran, Shaz Qadeer Runtime Refinement Checking of Concurrent Data Structures. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Murat Karaorman, Jay Freeman jMonitor: Java Runtime Event Specification and Monitoring Library. Search on Bibsonomy RV@ETAPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (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