default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th RV 2007: Vancover, BC, Canada
- Oleg Sokolsky
, Serdar Tasiran:
Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4839, Springer 2007, ISBN 978-3-540-77394-8
Invited Paper
- Cindy Eisner:
PSL for Runtime Verification: Theory and Practice. 1-8
AOP-Related Papers
- Pavel Avgustinov, Julian Tibble, Oege de Moor:
On the Semantics of Matching Trace Monitoring Patterns. 9-21 - Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches. 22-37 - Pascal Durr, Lodewijk Bergmans, Mehmet Aksit:
Static and Dynamic Detection of Behavioral Conflicts Between Aspects. 38-50 - Charlotte Herzeel, Kris Gybels, Pascal Costanza:
Escaping with Future Variables in HALO. 51-62 - Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Runtime Verification of Interactions: From MSCs to Aspects. 63-74 - Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates:
Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. 75-86 - Hiromasa Shin, Yusuke Endoh, Yoshio Kataoka:
ARVE: Aspect-Oriented Runtime Verification Environment. 87-96
Core Runtime Verification Papers
- Howard Barringer, Dov M. Gabbay, David E. Rydeheard:
From Runtime Verification to Evolvable Systems. 97-110 - Howard Barringer, David E. Rydeheard, Klaus Havelund:
Rule Systems for Run-Time Monitoring: From Eagleto RuleR. 111-125 - Andreas Bauer, Martin Leucker, Christian Schallhart:
The Good, the Bad, and the Ugly, But How Ugly Is Ugly? 126-138 - Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter:
Translation Validation of System Abstractions. 139-150 - William R. Mahoney, William L. Sousan:
Instrumentation of Open-Source Software for Intrusion Detection. 151-163 - Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr:
Statistical Runtime Checking of Probabilistic Properties. 164-175 - Volker Stolz:
Temporal Assertions with Parametrised Propositions. 176-187 - Serdar Tasiran, Tayfun Elmas:
Rollback Atomicity. 188-201 - Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard:
Runtime Checking for Program Verification. 202-213
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 2024-12-26 00:34 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:
