Runtime Verification

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

  • Yliès Falcone
  • César Sánchez
Part of the Lecture Notes in Computer Science book series (LNCS, 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

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-46982-9
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-46981-2
  • Online ISBN 978-3-319-46982-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book