|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Volker Stolz, Frank Huch |
Runtime Verification of Concurrent Haskell Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 201-216, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Konstantine Arkoudas, Martin C. Rinard |
Deductive Runtime Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 45-63, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Doron A. Peled, Hongyang Qu 0001 |
Enforcing Concurrent Temporal Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 65-83, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 105-121, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Prasanna Thati, Grigore Rosu |
Monitoring Algorithms for Metric Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 145-162, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lars-Åke Fredlund |
Guaranteeing Correctness Properties of a Java Card Applet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 217-233, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Grigore Rosu |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 23-43, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 123-143, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Doron Drusinsky |
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 3-21, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Schuppan, Marcel Baur, Armin Biere |
JVM Independent Replay in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 85-104, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Tasiran, Shaz Qadeer |
Runtime Refinement Checking of Concurrent Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 163-179, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Murat Karaorman, Jay Freeman |
jMonitor: Java Runtime Event Specification and Monitoring Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 181-200, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|