Runtime Verification

16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

  • Yliès Falcone
  • César Sánchez
Conference proceedings RV 2016

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10012)

Table of contents

  1. Front Matter
    Pages I-XXI
  2. Invited Paper

    1. Front Matter
      Pages 1-1
  3. Satellite Events Papers

    1. Front Matter
      Pages 15-15
    2. Christian Colombo, Yliès Falcone
      Pages 17-20
    3. Giles Reger, Sylvain Hallé, Yliès Falcone
      Pages 21-37
  4. Tutorial Papers

    1. Front Matter
      Pages 39-39
    2. Borzoo Bonakdarpour, Bernd Finkbeiner
      Pages 41-45
    3. Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena et al.
      Pages 46-67
    4. Sylvain Hallé
      Pages 68-91
  5. Regular Papers

    1. Front Matter
      Pages 133-133
    2. David M. Cerna, Wolfgang Schreiner, Temur Kutsia
      Pages 135-151
    3. Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah
      Pages 152-168
    4. Jean Goubault-Larrecq, Jean-Philippe Lachance
      Pages 169-184
    5. Jeffery P. Hansen, Sagar Chaki, Scott Hissam, James Edmondson, Gabriel A. Moreno, David Kyle
      Pages 185-200
    6. Stefan Jakšić, Ezio Bartocci, Radu Grosu, Dejan Ničković
      Pages 201-218
    7. Omar Javed, Yudi Zheng, Andrea Rosà, Haiyang Sun, Walter Binder
      Pages 219-234
    8. Sean Kauffman, Klaus Havelund, Rajeev Joshi
      Pages 235-250
    9. Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi
      Pages 251-267
    10. Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider
      Pages 285-301
    11. Lee Pike, Pat Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb
      Pages 302-317
    12. Carl Martin Rosenberg, Martin Steffen, Volker Stolz
      Pages 318-332
    13. Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen
      Pages 351-367
    14. Rishi Surendran, Vivek Sarkar
      Pages 368-385
    15. Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe et al.
      Pages 386-403
    16. Andrey Yavolovsky, Miloš Žefran, A. Prasad Sistla
      Pages 404-419
    17. Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
      Pages 420-435
  6. Short Papers

    1. Front Matter
      Pages 437-437
    2. Fernando Macias, Torben Scheffel, Malte Schmitz, Rui Wang
      Pages 454-461
    3. Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu
      Pages 462-469
  7. Regular Tool Papers

    1. Front Matter
      Pages 471-471
    2. Duncan Paul Attard, Adrian Francalanza
      Pages 473-481
    3. Teng Zhang, Peter Gebhard, Oleg Sokolsky
      Pages 482-490
  8. Tool Exhibition Papers

    1. Front Matter
      Pages 491-491
    2. Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, J. Swaminathan
      Pages 493-497
    3. Giles Reger
      Pages 498-503
    4. Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier
      Pages 504-509
  9. Back Matter
    Pages 511-512

About these proceedings


This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.

The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.


algorithm analysis formal methods problem complexity programming techniques software engineering abstract interpretation embedded software security finite state model extraction formal languagese logics and meanings of programs mathematical logic monitoring network intrusion detection parametric monitoring process algebra runtime monitoring runtime verification side-channel analysis signal processing test generation

Editors and affiliations

  • Yliès Falcone
    • 1
  • César Sánchez
    • 2
  1. 1.Université Grenoble Alpes, InriaGrenobleFrance
  2. 2.IMDEA Software InstituteMadridSpain

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment