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
  16. Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé
    Pages 184-198
  17. Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
    Pages 199-213
  18. Christian Colombo, Gordon J. Pace
    Pages 214-228
  19. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena Timo
    Pages 229-244
  20. Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
    Pages 260-275
  21. Eva Darulova, Viktor Kuncak
    Pages 277-291
  22. Stephen Nelson, David J. Pearce, James Noble
    Pages 292-307
  23. Benjamin D. Rodes, Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight, Michele Co, Jack W. Davidson
    Pages 308-313
  24. Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
    Pages 314-319
  25. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment