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 BibTeX
Invited Paper
AOP-Related Papers
- Pavel Avgustinov, Julian Tibble, Oege de Moor:
On the Semantics of Matching Trace Monitoring Patterns.
9-21
Electronic Edition (link) BibTeX
- Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches.
22-37
Electronic Edition (link) BibTeX
- Pascal Durr, Lodewijk Bergmans, Mehmet Aksit:
Static and Dynamic Detection of Behavioral Conflicts Between Aspects.
38-50
Electronic Edition (link) BibTeX
- Charlotte Herzeel, Kris Gybels, Pascal Costanza:
Escaping with Future Variables in HALO.
51-62
Electronic Edition (link) BibTeX
- Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Runtime Verification of Interactions: From MSCs to Aspects.
63-74
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Hiromasa Shin, Yusuke Endoh, Yoshio Kataoka:
ARVE: Aspect-Oriented Runtime Verification Environment.
87-96
Electronic Edition (link) BibTeX
Core Runtime Verification Papers
- Howard Barringer, Dov M. Gabbay, David E. Rydeheard:
From Runtime Verification to Evolvable Systems.
97-110
Electronic Edition (link) BibTeX
- Howard Barringer, David E. Rydeheard, Klaus Havelund:
Rule Systems for Run-Time Monitoring: From Eagleto RuleR.
111-125
Electronic Edition (link) BibTeX
- Andreas Bauer, Martin Leucker, Christian Schallhart:
The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
126-138
Electronic Edition (link) BibTeX
- Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter:
Translation Validation of System Abstractions.
139-150
Electronic Edition (link) BibTeX
- William R. Mahoney, William L. Sousan:
Instrumentation of Open-Source Software for Intrusion Detection.
151-163
Electronic Edition (link) BibTeX
- Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr:
Statistical Runtime Checking of Probabilistic Properties.
164-175
Electronic Edition (link) BibTeX
- Volker Stolz:
Temporal Assertions with Parametrised Propositions.
176-187
Electronic Edition (link) BibTeX
- Serdar Tasiran, Tayfun Elmas:
Rollback Atomicity.
188-201
Electronic Edition (link) BibTeX
- Karen Zee, Viktor Kuncak, Michael Taylor, Martin C. Rinard:
Runtime Checking for Program Verification.
202-213
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:36:19 2009
by Michael Ley (ley@uni-trier.de)
