Runtime Verification

Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

  • Shaz Qadeer
  • Serdar Tasiran
Conference proceedings RV 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7687)

Table of contents

  1. Front Matter
  2. John Erickson, Stephen Freund, Madanlal Musuvathi
    Pages 1-1
  3. Cristian Cadar, Koushik Sen
    Pages 2-2
  4. Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey
    Pages 19-34
  5. Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor, Osman Unsal
    Pages 42-47
  6. Jon Eyolfson, Patrick Lam
    Pages 49-63
  7. Wenchao Li, Sanjit A. Seshia
    Pages 64-81
  8. Yliès Falcone, Sebastian Currea, Mohamad Jaber
    Pages 88-95
  9. Doina Bucur
    Pages 96-109
  10. Thomas Reinbacher, Matthias Függer, Jörg Brauer
    Pages 110-125
  11. Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet
    Pages 126-130
  12. Andreas Richter, Klaus Kabitzsch
    Pages 131-135
  13. Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu
    Pages 136-150
  14. David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu
    Pages 151-167
  15. Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok et al.
    Pages 168-182

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.

The 25 revised full papers presented together with 3 invited papers and  2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.


affine arithmetic embedded systems monitoring numerical computation trace analysis

Editors and affiliations

  • Shaz Qadeer
    • 1
  • Serdar Tasiran
    • 2
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.College of EngineeringKoc UniversitySariyerTurkey

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35631-5
  • Online ISBN 978-3-642-35632-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book