E-Book, Englisch, Band 4839, 218 Seiten, eBook
Sokolsky / Tasiran Runtime Verification
2007
ISBN: 978-3-540-77395-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
E-Book, Englisch, Band 4839, 218 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-77395-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
