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