Abstract is missing.
- PSL for Runtime Verification: Theory and PracticeCindy Eisner. 1-8 [doi]
- On the Semantics of Matching Trace Monitoring PatternsPavel Avgustinov, Julian Tibble, Oege de Moor. 9-21 [doi]
- Collaborative Runtime Verification with TracematchesEric Bodden, Laurie J. Hendren, Patrick Lam, Ondřej Lhoták, Nomair A. Naeem. 22-37 [doi]
- Static and Dynamic Detection of Behavioral Conflicts Between AspectsPascal Durr, Lodewijk Bergmans, Mehmet Aksit. 38-50 [doi]
- Escaping with Future Variables in HALOCharlotte Herzeel, Kris Gybels, Pascal Costanza. 51-62 [doi]
- Runtime Verification of Interactions: From MSCs to AspectsIngolf H. Krüger, Michael Meisinger, Massimiliano Menarini. 63-74 [doi]
- Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime VerificationOmar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates. 75-86 [doi]
- ARVE: Aspect-Oriented Runtime Verification EnvironmentHiromasa Shin, Yusuke Endoh, Yoshio Kataoka. 87-96 [doi]
- From Runtime Verification to Evolvable SystemsHoward Barringer, Dov M. Gabbay, David E. Rydeheard. 97-110 [doi]
- Rule Systems for Run-Time Monitoring: From Eagleto RuleRHoward Barringer, David E. Rydeheard, Klaus Havelund. 111-125 [doi]
- The Good, the Bad, and the Ugly, But How Ugly Is Ugly?Andreas Bauer 0002, Martin Leucker, Christian Schallhart. 126-138 [doi]
- Translation Validation of System AbstractionsJan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter. 139-150 [doi]
- Instrumentation of Open-Source Software for Intrusion DetectionWilliam R. Mahoney, William L. Sousan. 151-163 [doi]
- Statistical Runtime Checking of Probabilistic PropertiesUsa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr. 164-175 [doi]
- Temporal Assertions with Parametrised PropositionsVolker Stolz. 176-187 [doi]
- Rollback AtomicitySerdar Tasiran, Tayfun Elmas. 188-201 [doi]
- Runtime Checking for Program VerificationKaren Zee, Viktor Kuncak, Michael Taylor, Martin C. Rinard. 202-213 [doi]