Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

  • Bernd Finkbeiner
  • Leonardo Mariani
Conference proceedings RV 2019

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

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

Table of contents

  1. Front Matter
    Pages i-x
  2. Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
    Pages 1-14
  3. Sanjit A. Seshia
    Pages 15-26
  4. Yliès Falcone, Srinivas Pinisetty
    Pages 48-69
  5. Christopher Hahn
    Pages 70-90
  6. Reza Babaee, Vijay Ganesh, Sean Sedwards
    Pages 111-128
  7. Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
    Pages 129-147
  8. Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
    Pages 148-164
  9. Alessandro Cimatti, Chun Tian, Stefano Tonetta
    Pages 165-184 Open Access
  10. Luis Miguel Danielsson, César Sánchez
    Pages 185-201
  11. Joshua Heneage Dawes, Giles Reger
    Pages 202-220
  12. Lang Feng, Jeff Huang, Jiang Hu, Abhijith Reddy
    Pages 221-238
  13. Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
    Pages 256-272
  14. Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
    Pages 273-291 Open Access
  15. Dejan Ničković, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh
    Pages 292-309
  16. Joshua Schneider, David Basin, Srđan Krstić, Dmitriy Traytel
    Pages 310-328
  17. Saeid Tizpaz-Niari, Pavol Černý, Sriram Sankaranarayanan, Ashutosh Trivedi
    Pages 329-348
  18. Hansol Yoon, Yi Chou, Xin Chen, Eric Frew, Sriram Sankaranarayanan
    Pages 349-367
  19. Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky
    Pages 375-381
  20. Alessandro Cimatti, Chun Tian, Stefano Tonetta
    Pages 382-392 Open Access
  21. Back Matter
    Pages 413-413

About these proceedings


This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.
The 25 regular papers presented in this book were carefully reviewed and selected from 38 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 system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
Chapter “Assumption-Based Runtime Verification with Partial Observability and Resets” and chapter “NuRV: a nuXmv Extension for Runtime Verification“ are available open access under a Creative Commons Attribution 4.0 International License via


runtime verification runtime monitoring dynamic analysis program specification program instrumentation enforcement predictive monitoring specification mining fault protection hardware monitoring program debugging model checking programming languages semantics sensors software engineering specifications theorem proving verification

Editors and affiliations

  1. 1.Universität des SaarlandesSaarbrückenGermany
  2. 2.University of Milano BicoccaMilanItaly

Bibliographic information