2nd International Conference on RUNTIME VERIFICATION RV 2011, September 27 - September 30, 2011 San Francisco, California at the Historic Fairmont Hotel

✦Shakeel Butt, Vinod Ganapathy, Arati Baliga and Mihai Christodorescu. Monitoring Data Structures using Hardware Transactional Memory

✦Eric Bodden. MOPBox: A Library Approach to Runtime Verification

✦Narcisa Andreea Milea, Siau Cheng Khoo, David Lo and Cristi Pop. NORT: Runtime Anomaly-based Monitoring of Malicious Behavior for Windows

✦Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene. CoMA: Conformance Monitoring of Java programs by Abstract State Machines

✦David Basin, Felix Klaedtke and Eugen Zalinescu. Algorithms for Monitoring Real-time Properties

✦Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong and Tao Huang. Runtime Verification of Data-Centric Properties in Service based Systems

✦Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov and Dmitry Vyukov. Dynamic Race Detection with LLVM Compiler

✦Horatiu Jula, Silviu Andrica and George Candea. Toward Highly Efﬁcient Deadlock Immunity

✦Lukasz Ziarek, Siddharth Tiwary and Suresh Jagannathan. Isolating Determinism in Multi-threaded Programs

✦Rüdiger Ehlers and Bernd Finkbeiner. Monitoring Realizability

✦Fabrizio Maria Maggi, Michael Westergaard, Marco Montali and Wil M. P. Van Der Aalst. Runtime Verification of LTL-Based Declarative Process Models

✦Zdenek Letko, Tomas Vojnar and Bohuslav Krena. Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software

✦Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos. Combining Time and Frequency Domain Specifications For Periodic Signals.

✦Eugene Asarin, Alexandre Donze, Oded Maler and Dejan Nickovic. Parametric Identification of Temporal Properties

✦Rahul Purandare, Matt Dwyer and Sebastian Elbaum. Monitoring Finite State Properties: Algorithmic Approaches and their Relative Strengths

✦Scott Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott Smolka and Erez Zadok. Runtime Verification with State Estimation

✦Thomas Reinbacher, Joerg Brauer, Daniel Schachinger, Andreas Steininger and Stefan Kowalewski. Automated Test-Trace Inspection for Microcontroller Binary Code

✦Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour and Sebastian Fischmeister. Efficient Techniques for Near-optimal Instrumentation in Sampling-based Runtime Verification

✦Joxan Jaffar, Jorge A. Navas and Andrew Santosa. Unbounded Symbolic Execution for Program Verification

✦A. Prasad Sistla, Milos Zefran and Yao Feng. Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid States

✦Lee Pike, Sebastian Niller and Nis Wegmann. Runtime Verification for Ultra-Critical Systems

✦William Sumner, Christian Hammer and Julian Dolby. Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs

✦Newres Al Haider, Benoit Gaudin and John Murphy. Execution Trace Exploration and Analysis using Ontologies

✦Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky and Insup Lee. Runtime Verification of Traces under Recording Uncertainty

✦Edwin Westbrook, Jisheng Zhao, Zoran Budlimic and Vivek Sarkar. Permission Regions for Race-Free Parallelism

✦David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zalinescu. MONPOLY: Monitoring Usage-control Policies

✦Adrian Francalanza, Christian Colombo and Rudolph Gatt. Elarva: A Monitoring tool for Erlang

✦Howard Barringer and Klaus Havelund. Internal versus External DSLs for Trace Analysis

✦Jan Fiedor, Vendula Hruba, Bohuslav Krena and Tomas Vojnar. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking

✦Borzoo Bonakdarpour and Sebastian Fischmeister. Runtime Monitoring of Time-sensitive Systems

✦Chao Wang and Malay Ganai. Predicting Concurrency Failures in Generalized Traces of x86 Executables

✦Martin Leucker. Teaching Runtime Verification