Accepted Papers (alphabetically)

• Pavel Avgustinov, Oege deMoor and Julian Tibble
  On the Semantics of Matching Trace Monitoring Patterns
• Howard Barringer, David Rydeheard and Dov Gabbay
  From Runtime Verification to Evolvable Software
• Howard Barringer, David Rydeheard and Klaus Havelund
  Rule Systems for Run-Time Monitoring: from Eagle to RuleR
• Andreas Bauer, Martin Leucker and Christian Schallhart
  The Good, the Bad, and the Ugly, but how Ugly is Ugly?
• Jan Olaf Blech, Ina Schaefer and Arnd Poetzsch-Heffter
  Translation Validation of System Abstractions
• Eric Bodden, Laurie Hendren, Ondrej Lhotak and Nomair Ahmed Naeem
  Collaborative Runtime Verification with Tracematches
• Pascal Durr, Lodewijk Bergmans and Mehmet Aksit
  Static and Dynamic Detection of Behavioral Conflicts between Aspects
• Charlotte Herzeel, Kris Gybels and Pascal Costanza
  A Semantic-based Runtime Weaver for Dynamic Management of the Join Point History
• Ingolf Krueger, Massimiliano Menarini and Michael Meisinger
  From Interaction Patterns to Aspects: a Mechanism for Systematic Runtime Monitoring
• William Mahoney and William L. Sousan
  Instrumentation of Open-Source Software For Intrusion Detection
• Omar Ochoa, Irbis Gallegos, Steve Roach and Ann Gates
  Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification
• Usa Sammapun, Insup Lee and Oleg Sokolsky
  Statistical Runtime Checking of Probabilistic Properties
• Hiromasa Shin, Yusuke Endoh and Yoshio Kataoka
  ARVE: Aspect-oriented Runtime Verification Environment
• Volker Stolz
  Temporal Assertions with Parametrised Propositions
• Serdar Tasiran and Tayfun Elmas
  A Causality-Based Runtime Check for Atomicity
• Karen Zee, Viktor Kuncak and Martin Rinard
  Runtime Checking for Program Verification Systems