|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Moonjoo Kim 0001, Insup Lee 0001, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky |
Monitoring, Checking, and Steering of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 95-111, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mark Brörkens, Michael Möller 0002 |
Dynamic Event Generation for Runtime Checking using the JDI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 21-35, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Suan Hsi Yong, Susan Horwitz |
Reducing the Overhead of Dynamic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 158-178, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Sriram Sankaranarayanan 0001, Henny Sipma |
Collecting Statistics over Runtime Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 36-54, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Parker Abercrombie, Murat Karaorman |
jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 55-79, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Lenore D. Zuck, Amir Pnueli, Yi Fang 0001, Benjamin Goldberg, Ying Hu 0003 |
Translation and Run-Time Validation of Optimized Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 179-200, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Levy, Hassen Saïdi, Tomás E. Uribe |
Combining Monitors for Runtime System Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 112-127, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Elsa L. Gunter, Doron A. Peled |
Tracing the executions of concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 128-141, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Grigore Rosu |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 201-202, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Moonjoo Kim 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky, Mahesh Viswanathan 0001 |
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 80-94, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Scott D. Stoller |
Testing Concurrent Java Programs using Randomized Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 142-157, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Karthikeyan Bhargavan, Carl A. Gunter |
Requirements for a Practical Network Event Recognition Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 1-20, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Grigore Rosu (eds.) |
Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|