Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2002 (13)
Publication types (Num. hits)
inproceedings(12) proceedings(1)
Venues (Conferences, Journals, ...)
RV@FLoC(13)
Authors
Grigore Rosu(2) Insup Lee 0001(2) Klaus Havelund(2) Moonjoo Kim 0001(2) Oleg Sokolsky(2) Amir Pnueli(1) Benjamin Goldberg(1) Bernd Finkbeiner(1) Carl A. Gunter(1) Doron A. Peled(1) Elsa L. Gunter(1) Hassen Saïdi(1) Henny Sipma(1) Jangwoo Shin(1) Joshua Levy(1) Karthikeyan Bhargavan(1) More (+10 of total 31)
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
1Moonjoo Kim 0001, Insup Lee 0001, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky Monitoring, Checking, and Steering of Real-Time Systems. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Mark Brörkens, Michael Möller 0002 Dynamic Event Generation for Runtime Checking using the JDI. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Suan Hsi Yong, Susan Horwitz Reducing the Overhead of Dynamic Analysis. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Sriram Sankaranarayanan 0001, Henny Sipma Collecting Statistics over Runtime Executions. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Parker Abercrombie, Murat Karaorman jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lenore D. Zuck, Amir Pnueli, Yi Fang 0001, Benjamin Goldberg, Ying Hu 0003 Translation and Run-Time Validation of Optimized Code. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Joshua Levy, Hassen Saïdi, Tomás E. Uribe Combining Monitors for Runtime System Verification. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Elsa L. Gunter, Doron A. Peled Tracing the executions of concurrent programs. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Grigore Rosu Preface. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Moonjoo 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 RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Scott D. Stoller Testing Concurrent Java Programs using Randomized Scheduling. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Karthikeyan Bhargavan, Carl A. Gunter Requirements for a Practical Network Event Recognition Language. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Grigore Rosu (eds.) Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002 Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  BibTeX  RDF
Displaying result #1 - #13 of 13 (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