| 2007 | ARVE: Aspect-Oriented Runtime Verification Environment. Hiromasa Shin, Yusuke Endoh, Yoshio Kataoka |
| 2007 | Collaborative Runtime Verification with Tracematches. Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem |
| 2007 | Escaping with Future Variables in HALO. Charlotte Herzeel, Kris Gybels, Pascal Costanza |
| 2007 | From Runtime Verification to Evolvable Systems. Howard Barringer, Dov M. Gabbay, David E. Rydeheard |
| 2007 | Instrumentation of Open-Source Software for Intrusion Detection. William R. Mahoney, William L. Sousan |
| 2007 | On the Semantics of Matching Trace Monitoring Patterns. Pavel Avgustinov, Julian Tibble, Oege de Moor |
| 2007 | PSL for Runtime Verification: Theory and Practice. Cindy Eisner |
| 2007 | Rollback Atomicity. Serdar Tasiran, Tayfun Elmas |
| 2007 | Rule Systems for Run-Time Monitoring: From Eagleto RuleR. Howard Barringer, David E. Rydeheard, Klaus Havelund |
| 2007 | Runtime Checking for Program Verification. Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard |
| 2007 | Runtime Verification of Interactions: From MSCs to Aspects. Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini |
| 2007 | Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers Oleg Sokolsky, Serdar Tasiran |
| 2007 | Static and Dynamic Detection of Behavioral Conflicts Between Aspects. Pascal Durr, Lodewijk Bergmans, Mehmet Aksit |
| 2007 | Statistical Runtime Checking of Probabilistic Properties. Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr |
| 2007 | Temporal Assertions with Parametrised Propositions. Volker Stolz |
| 2007 | The Good, the Bad, and the Ugly, But How Ugly Is Ugly? Andreas Bauer, Martin Leucker, Christian Schallhart |
| 2007 | Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates |
| 2007 | Translation Validation of System Abstractions. Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter |