RV 2010 Accepted Papers

Regular Papers

• A Meta Aspect Protocol for Developing Dynamic Analyses
  Michael Achenbach and Klaus Ostermann
• Behavior Abstraction in Malware Analysis
  Philippe Beaucamps, Isabelle Gnaedig and Jean-Yves Marion
• Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors
  Eric Bodden, Patrick Lam and Laurie Hendren
• Checking the Correspondence Between UML models and Implementation
  Selim Ciraci, Somayeh Malakuti, Shmuel Katz and Mehmet Aksit
• Compensation-Aware Runtime Monitoring
  Christian Colombo, Gordon J Pace and Patrick Abela
• Recovery Tasks: An Automated Approach to Failure Recovery
  Brian Demsky, Jin Zhou and William Montaz
• Interval Analysis for Concurrent Trace Programs using Transaction Sequence Graphs
  Malay Ganai and Chao Wang
• Causality Analysis in Contract Violation
  Gregor Gössler, Daniel Le Métayer and Jean-Baptiste Raclet
• Reducing Configurations to Monitor in a Software Product Line
  Chang Hwan Peter Kim, Eric Bodden, Don Batory and Sarfraz Khurshid
• Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
  Etienne Kneuss, Philippe Suter and Viktor Kuncak
• Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects
  Johan Kraft, Anders Wall and Holger Kienle
• Verification of an AFDX Infrastructure using Simulations and  Probabilities
  Axel Legay, Saddek Bensalem, Benoit Delahaye, Marius Bozga, Ananda Basu and Emmanuel Sifakis
• Copilot: A Hard Real-Time Runtime Monitor
  Lee Pike, Alwyn Goodloe, Robin Morisset, and Sebastian Niller
• Efficient Data Race Detection for Async-Finish Parallelism
  Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev and Eran Yahav
• Run-Time Verification of Optimistic Concurrency
  Ali Sezgin, Serdar Tasiran, Shaz Qadeer and Kivanc Muslu
• Aspect-Oriented Instrumentation with GCC
  Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A Smolka, Scott D Stoller and Erez Zadok
• Runtime Verification for Software Transactional Memories
  Vasu Singh
• Optimized Temporal Monitors for SystemC
  Deian Tabakov and Moshe Vardi

Short Papers

• Formally Efficient Program Instrumentation
  Boris Feigin and Alan Mycroft
• StealthWorks: Emulating Memory Errors
  Musfiq Rahman, Bruce Childers and Sangyeun Cho
• Who Guards the Guardians? — Toward V&V of  Health Management Software
  Johann Schumann, Ashok Srivastava and Ole Mengshoel
• Runtime Verification of Stochastic, Faulty Systems
  Cristina M Wilcox and Brian C Williams
• Failure Signatures for Better Deadlock Bug Reports
  Cristian Zamfir and George Candea

Tool-demo Papers

• ESAT: A Tool for Animating Logic-based Specifications of Evolvable Component Systems
  Djihed Afifi, David Rydeheard and Howard Barringer
• A Tool for Improving Static Analysis by Mining Partial Execution Traces
  Gianluca Amato, Maurizio Parton and Francesca Scozzari
• LarvaStat: Monitoring of Statistical Properties
  Christian Colombo, Andrew Gauci and Gordon Pace
• WS-PSC Monitor: A tool chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart
  Pengcheng Zhang, Zhiyong Su and Wenrui Li