| 2012 | Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers Sarfraz Khurshid, Koushik Sen |
| 2011 | Algorithms for Monitoring Real-Time Properties. David A. Basin, Felix Klaedtke, Eugen Zalinescu |
| 2011 | Automated Test-Trace Inspection for Microcontroller Binary Code. Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski |
| 2011 | CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2011 | Combining Time and Frequency Domain Specifications for Periodic Signals. Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos |
| 2011 | Cooperative Concurrency for a Multicore World - (Extended Abstract). Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan |
| 2011 | Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. Bohuslav Krena, Zdenek Letko, Tomás Vojnar |
| 2011 | DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar |
| 2011 | Dynamic Race Detection with LLVM Compiler - Compile-Time Instrumentation for ThreadSanitizer. Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, Dmitriy Vyukov |
| 2011 | Efficiency Optimizations for Implementations of Deadlock Immunity. Horatiu Jula, Silviu Andrica, George Candea |
| 2011 | Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | Elarva: A Monitoring Tool for Erlang. Christian Colombo, Adrian Francalanza, Rudolph Gatt |
| 2011 | Execution Trace Exploration and Analysis Using Ontologies. Newres Al Haider, Benoit Gaudin, John Murphy |
| 2011 | Internal versus External DSLs for Trace Analysis - (Extended Abstract). Howard Barringer, Klaus Havelund |
| 2011 | Isolating Determinism in Multi-threaded Programs. Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan |
| 2011 | MONPOLY: Monitoring Usage-Control Policies. David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu |
| 2011 | MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration). Eric Bodden |
| 2011 | Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. William N. Sumner, Christian Hammer, Julian Dolby |
| 2011 | Monitoring Data Structures Using Hardware Transactional Memory. Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu |
| 2011 | Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2011 | Monitoring Realizability. Rüdiger Ehlers, Bernd Finkbeiner |
| 2011 | NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo, Cristian Pop |
| 2011 | Parametric Identification of Temporal Properties. Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic |
| 2011 | Permission Regions for Race-Free Parallelism. Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar |
| 2011 | Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. Chao Wang, Malay K. Ganai |
| 2011 | Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. A. Prasad Sistla, Milos Zefran, Yao Feng |
| 2011 | Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | Runtime Verification for Ultra-Critical Systems. Lee Pike, Sebastian Niller, Nis Wegmann |
| 2011 | Runtime Verification of Data-Centric Properties in Service Based Systems. Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong, Tao Huang |
| 2011 | Runtime Verification of LTL-Based Declarative Process Models. Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst |
| 2011 | Runtime Verification of Traces under Recording Uncertainty. Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee |
| 2011 | Runtime Verification with State Estimation. Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok |
| 2011 | Runtime Verification: A Computer Architecture Perspective. Sharad Malik |
| 2011 | Teaching Runtime Verification. Martin Leucker |
| 2011 | Unbounded Symbolic Execution for Program Verification. Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
| 2011 | What Is My Program Doing? Program Dynamics in Programmer's Terms. Steven P. Reiss, Alexander Tarvo |