default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th RV@ETAPS 2004: Barcelona, Spain
- Klaus Havelund, Grigore Rosu:
Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 113, Elsevier 2005 - Klaus Havelund, Grigore Rosu:
Preface. 1-2 - Doron Drusinsky:
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. 3-21 - Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis
:
Testing Conformance of Real-Time Applications by Automatic Generation of Observers. 23-43 - Konstantine Arkoudas, Martin C. Rinard:
Deductive Runtime Certification. 45-63 - Doron A. Peled, Hongyang Qu:
Enforcing Concurrent Temporal Behaviors. 65-83 - Viktor Schuppan, Marcel Baur, Armin Biere:
JVM Independent Replay in Java. 85-104 - Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati:
Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. 105-121 - Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky:
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. 123-143 - Prasanna Thati, Grigore Rosu:
Monitoring Algorithms for Metric Temporal Logic Specifications. 145-162 - Serdar Tasiran, Shaz Qadeer:
Runtime Refinement Checking of Concurrent Data Structures. 163-179 - Murat Karaorman, Jay Freeman:
jMonitor: Java Runtime Event Specification and Monitoring Library. 181-200 - Volker Stolz, Frank Huch:
Runtime Verification of Concurrent Haskell Programs. 201-216 - Lars-Åke Fredlund:
Guaranteeing Correctness Properties of a Java Card Applet. 217-233
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 11:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
