© 2018

Lectures on Runtime Verification

Introductory and Advanced Topics

  • Ezio Bartocci
  • Yliès Falcone

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

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

Table of contents

  1. Front Matter
    Pages I-VII
  2. Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger
    Pages 1-33
  3. João M. Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar
    Pages 34-60
  4. Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zălinescu
    Pages 61-102
  5. Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha
    Pages 103-134
  6. Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković et al.
    Pages 135-175
  7. Adrian Francalanza, Jorge A. Pérez, César Sánchez
    Pages 176-210
  8. Back Matter
    Pages 233-233

About this book


The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.


Computer software selection and evaluation Formal languages and automata theory Grammars and context-free languages Model checking Semantics Software engineering Software testing and debugging Specification language Transducers Verification

Editors and affiliations

  1. 1.TU WienViennaAustria
  2. 2.Université Grenoble Alpes, Inria, Laboratoire d’Informatique de GrenobleGrenobleFrance

About the editors

Editors: Ezio Bartocci, TU Wien, Austria and Yliès Falcone, University of Grenoble Alpes, France.

Bibliographic information