Runtime Verification (eBook, PDF)

7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Redaktion: Sokolsky, Oleg; Tasiran, Serdar

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 218
• Erscheinungstermin: 6. Dezember 2007
• Englisch
• ISBN-13: 9783540773955
• Artikelnr.: 44129653

Inhaltsangabe

Invited Paper.- PSL for Runtime Verification: Theory and Practice.- AOP-Related Papers.- On the Semantics of Matching Trace Monitoring Patterns.- Collaborative Runtime Verification with Tracematches.- Static and Dynamic Detection of Behavioral Conflicts Between Aspects.- Escaping with Future Variables in HALO.- Runtime Verification of Interactions: From MSCs to Aspects.- Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.- ARVE: Aspect-Oriented Runtime Verification Environment.- Core Runtime Verification Papers.- From Runtime Verification to Evolvable Systems.- Rule Systems for Run-Time Monitoring: From Eagle to RuleR.- The Good, the Bad, and the Ugly, But How Ugly Is Ugly?.- Translation Validation of System Abstractions.- Instrumentation of Open-Source Software for Intrusion Detection.- Statistical Runtime Checking of Probabilistic Properties.- Temporal Assertions with Parametrised Propositions.- Rollback Atomicity.- Runtime Checking for Program Verification.