Advertisement

© 2018

Runtime Verification

18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

  • Christian Colombo
  • Martin Leucker
Conference proceedings RV 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Klaus Havelund, Grigore Roşu
      Pages 3-17
    3. Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, Cesar Sanchez, Gerardo Schneider et al.
      Pages 18-26
  3. Tutorial Papers

    1. Front Matter
      Pages 33-33
    2. Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
      Pages 43-63 Open Access
    3. Antoine El-Hokayem, Yliès Falcone
      Pages 64-89
    4. Shaun Azzopardi, Joshua Ellul, Gordon J. Pace
      Pages 113-137
  4. Regular Papers

    1. Front Matter
      Pages 165-165
    2. Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare
      Pages 167-186
    3. Patricia Bouyer, Samy Jaziri, Nicolas Markey
      Pages 205-221
    4. Antoine El-Hokayem, Yliès Falcone
      Pages 222-240
    5. Yliès Falcone, Srđan Krstić, Giles Reger, Dmitriy Traytel
      Pages 241-262
    6. Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
      Pages 263-281
    7. Felipe Gorostiaga, César Sánchez
      Pages 282-298

About these proceedings

Introduction

Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Keywords

artificial intelligence computer architecture data communication systems embedded systems formal logic formal methods model checking optical communication processors programming languages semantics sensors software engineering software evaluation specification languages specifications temporal logic theorem proving verification

Editors and affiliations

  • Christian Colombo
    • 1
  • Martin Leucker
    • 2
  1. 1.University of MaltaMsidaMalta
  2. 2.University of LübeckLübeckGermany

Bibliographic information