default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th RV@CAV 2005: Edinburgh, UK
- Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma:
Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005. Electronic Notes in Theoretical Computer Science 144(4), Elsevier 2006 - Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma:
Preface. 1 - Feng Chen, Marcelo d'Amorim
, Grigore Rosu:
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. 3-20 - Arvind Easwaran, Sampath Kannan, Oleg Sokolsky:
Steering of Discrete Event Systems: Control Theory Approach. 21-39 - Tayfun Elmas, Serdar Tasiran:
VyrdMC: Driving Runtime Refinement Checking with Model Checkers. 41-56 - Yaniv Eytani:
Concurrent Java Test Generation as a Search Problem. 57-72 - Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck:
Monitoring Interfaces for Faults. 73-89 - Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim:
Run-Time Checking of Dynamic Properties. 91-108 - Volker Stolz, Eric Bodden:
Temporal Assertions using AspectJ. 109-124 - Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig:
Model-based Runtime Verification Framework for Self-optimizing Systems. 125-145
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-07-11 22:46 CEST 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:
