Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

by Sokolsky, Oleg; Tasiran, Serdar

• ISBN13: 9783540773948
• ISBN10: 3540773940
• Format: Paperback
• Copyright: 2008-02-06
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada. The meeting was a satellite workshop of AoSD 2007, the International Conference on Aspect-Oriented Software Development. 16 revised full papers and one invited paper are included, which have been selected from 29 initial submissions. Subjects covered include several technical fields such as dynamic program analysis.

Table of Contents

Invited Paper
PSL for Runtime Verification: Theory and Practice	p. 1
AOP-Related Papers
On the Semantics of Matching Trace Monitoring Patterns	p. 9
Collaborative Runtime Verification with Tracematches	p. 22
Static and Dynamic Detection of Behavioral Conflicts Between Aspects	p. 38
Escaping with Future Variables in HALO	p. 51
Runtime Verification of Interactions: From MSCs to Aspects	p. 63
Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification	p. 75
ARVE: Aspect-Oriented Runtime Verification Environment	p. 87
Core Runtime Verification Papers
From Runtime Verification to Evolvable Systems	p. 97
Rule Systems for Run-Time Monitoring: From Eagle to RuleR	p. 111
The Good, the Bad, and the Ugly, But How Ugly Is Ugly?	p. 126
Translation Validation of System Abstractions	p. 139
Instrumentation of Open-Source Software for Intrusion Detection	p. 151
Statistical Runtime Checking of Probabilistic Properties	p. 164
Temporal Assertions with Parametrised Propositions	p. 176
Rollback Atomicity	p. 188
Runtime Checking for Program Verification	p. 202
Author Index	p. 215
Table of Contents provided by Blackwell. All Rights Reserved.