| 2013 | Towards a Generic Non-intrusive Fault Detection Framework. | Jukka Julku, Mika Rautila |
| 2013 | Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. | Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda |
| 2013 | A Scala DSL for Rete-Based Runtime Verification. | Klaus Havelund |
| 2013 | Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). | Adrian Francalanza, Aldrin Seychell |
| 2013 | Distributed Finite-State Runtime Monitoring with Aggregated Events. | Kevin Falzon, Eric Bodden, Rahul Purandare |
| 2013 | On Signal Temporal Logic. | Alexandre Donz |
| 2013 | A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. | Mickal Delahaye, Nikolai Kosmatov |
| 2013 | Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. | Normann Decker, Martin Leucker, Daniel Thoma |
| 2013 | SMock - A Test Platform for Monitoring Tools. | Christian Colombo, Ruth Mizzi, Gordon J. Pace |
| 2013 | Right-Universality of Visibly Pushdown Automata. | Vronique Bruyre, Marc Ducobu, Olivier Gauwin |
| 2013 | Monitoring of Temporal First-Order Properties with Aggregations. | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
| 2013 | Instrumenting Android and Java Applications as Easy as abc. | Steven Arzt, Siegfried Rasthofer, Eric Bodden |
| 2013 | From Propositional to First-Order Monitoring. | Andreas Bauer, Jan-Christoph Kster, Gil Vegliach |
| 2012 | Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications. | Giovanni Vigna |
| 2012 | Scalable Dynamic Partial Order Reduction. | Jir Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey |
| 2012 | Maximal Causal Models for Sequentially Consistent Systems. | Traian-Florin Serbanuta, Feng Chen, Grigore Rosu |
| 2012 | Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation. | Benjamin D. Rodes, Anh Nguyen-Tuong, Jason Hiser, John C. Knight, Michele Co, Jack W. Davidson |
| 2012 | From Runtime Verification to Runtime Intervention and Adaptation. | Martin C. Rinard |
| 2012 | Quantitative Trace Analysis Using Extended Timing Diagrams. | Andreas Richter, Klaus Kabitzsch |
| 2012 | Real-Time Runtime Verification on Chip. | Thomas Reinbacher, Matthias Fgger, Jrg Brauer |
| 2012 | Runtime Enforcement of Timed Properties. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand, Antoine Rollet, Omer Landry Nguena-Timo |
| 2012 | Profiling Field Initialisation in Java. | Stephen Nelson, David J. Pearce, James Noble |
| 2012 | Path-Aware Time-Triggered Runtime Verification. | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2012 | BabelTrace: A Collection of Transducers for Trace Validation. | Aouatef Mrad, Samatar Ahmed, Sylvain Hall, ric Beaudet |
| 2012 | Sparse Coding for Specification Mining and Error Localization. | Wenchao Li, Sanjit A. Seshia |