| 2011 | Runtime Verification with State Estimation. | Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok |
| 2011 | Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. | A. Prasad Sistla, Milos Zefran, Yao Feng |
| 2011 | Dynamic Race Detection with LLVM Compiler - Compile-Time Instrumentation for ThreadSanitizer. | Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, Dmitriy Vyukov |
| 2011 | What Is My Program Doing? Program Dynamics in Programmer's Terms. | Steven P. Reiss, Alexander Tarvo |
| 2011 | Automated Test-Trace Inspection for Microcontroller Binary Code. | Thomas Reinbacher, Jrg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski |
| 2011 | Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2011 | Runtime Verification for Ultra-Critical Systems. | Lee Pike, Sebastian Niller, Nis Wegmann |
| 2011 | Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. | Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. | Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo, Cristian Pop |
| 2011 | Runtime Verification: A Computer Architecture Perspective. | Sharad Malik |
| 2011 | Runtime Verification of LTL-Based Declarative Process Models. | Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst |
| 2011 | Teaching Runtime Verification. | Martin Leucker |
| 2011 | Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. | Bohuslav Krena, Zdenek Letko, Toms Vojnar |
| 2011 | Efficiency Optimizations for Implementations of Deadlock Immunity. | Horatiu Jula, Silviu Andrica, George Candea |
| 2011 | Unbounded Symbolic Execution for Program Verification. | Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
| 2011 | Execution Trace Exploration and Analysis Using Ontologies. | Newres Al Haider, Benoit Gaudin, John Murphy |
| 2011 | DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. | Jan Fiedor, Vendula Hrub, Bohuslav Krena, Toms Vojnar |
| 2011 | Monitoring Realizability. | Rdiger Ehlers, Bernd Finkbeiner |
| 2011 | Elarva: A Monitoring Tool for Erlang. | Christian Colombo, Adrian Francalanza, Rudolph Gatt |
| 2011 | Combining Time and Frequency Domain Specifications for Periodic Signals. | Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos |
| 2011 | Monitoring Data Structures Using Hardware Transactional Memory. | Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu |
| 2011 | Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. | Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2011 | MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration). | Eric Bodden |
| 2011 | Algorithms for Monitoring Real-Time Properties. | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
| 2011 | MONPOLY: Monitoring Usage-Control Policies. | David A. Basin, Mats Harvan, Felix Klaedtke, Eugen Zalinescu |