7. RV 2007:
Vancover,
BC,
Canada
Oleg Sokolsky, Serdar Tasiran (Eds.):
Runtime Verification, 7th International Workshop, RV 2007, Vancover, 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 Taylor, Martin C. Rinard:
Runtime Checking for Program Verification.
202-213
Copyright © Mon Nov 23 23:17:37 2009
by Michael Ley (ley@uni-trier.de)
