2. RV 2011: San Francisco, CA, USA

Tutorials

• Howard Barringer, Klaus Havelund:
  Internal versus External DSLs for Trace Analysis - (Extended Abstract). 1-3
  
• Chao Wang, Malay K. Ganai:
  Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. 4-18
  
• Borzoo Bonakdarpour, Sebastian Fischmeister:
  Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. 19-33
  
• Martin Leucker:
  Teaching Runtime Verification. 34-48
  

Invited

• Sharad Malik:
  Runtime Verification: A Computer Architecture Perspective. 49-62
  
• Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan:
  Isolating Determinism in Multi-threaded Programs. 63-77
  
• Horatiu Jula, Silviu Andrica, George Candea:
  Efficiency Optimizations for Implementations of Deadlock Immunity. 78-93
  
• Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar:
  Permission Regions for Race-Free Parallelism. 94-109
  
• Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, Dmitriy Vyukov:
  Dynamic Race Detection with LLVM Compiler - Compile-Time Instrumentation for ThreadSanitizer. 110-114
  
• Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo, Cristian Pop:
  NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. 115-130
  
• Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst:
  Runtime Verification of LTL-Based Declarative Process Models. 131-146
  
• Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic:
  Parametric Identification of Temporal Properties. 147-160
  
• William N. Sumner, Christian Hammer, Julian Dolby:
  Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. 161-176
  
• Bohuslav Krena, Zdenek Letko, Tomás Vojnar:
  Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. 177-192
  
• Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok:
  Runtime Verification with State Estimation. 193-207
  
• Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister:
  Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. 208-222
  
• Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
  CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. 223-238
  
• Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski:
  Automated Test-Trace Inspection for Microcontroller Binary Code. 239-244
  
• Steven P. Reiss, Alexander Tarvo:
  What Is My Program Doing? Program Dynamics in Programmer's Terms. 245-259
  
• David A. Basin, Felix Klaedtke, Eugen Zalinescu:
  Algorithms for Monitoring Real-Time Properties. 260-275
  
• A. Prasad Sistla, Milos Zefran, Yao Feng:
  Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. 276-293
  
• Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios E. Fainekos:
  Combining Time and Frequency Domain Specifications for Periodic Signals. 294-309
  
• Lee Pike, Sebastian Niller, Nis Wegmann:
  Runtime Verification for Ultra-Critical Systems. 310-324
  
• Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong, Tao Huang:
  Runtime Verification of Data-Centric Properties in Service Based Systems. 325-341
  
• Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan:
  Cooperative Concurrency for a Multicore World - (Extended Abstract). 342-344
  
• Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu:
  Monitoring Data Structures Using Hardware Transactional Memory. 345-359
  

Tools

• David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu:
  MONPOLY: Monitoring Usage-Control Policies. 360-364
  
• Eric Bodden:
  MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration). 365-369
  
• Christian Colombo, Adrian Francalanza, Rudolph Gatt:
  Elarva: A Monitoring Tool for Erlang. 370-374
  
• Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar:
  DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. 375-380
  
• Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum:
  Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. 381-395
  
• Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa:
  Unbounded Symbolic Execution for Program Verification. 396-411
  
• Newres Al Haider, Benoit Gaudin, John Murphy:
  Execution Trace Exploration and Analysis Using Ontologies. 412-426
  
• Rüdiger Ehlers, Bernd Finkbeiner:
  Monitoring Realizability. 427-441
  
• Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee:
  Runtime Verification of Traces under Recording Uncertainty. 442-456
  

Last update Sun May 19 23:31:15 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page