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
    8. Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer
      Pages 299-315
    9. Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi
      Pages 316-333
    10. Giles Reger, David Rydeheard
      Pages 334-352
    11. Joshua Schneider, David Basin, Frederik Brix, Srđan Krstić, Dmitriy Traytel
      Pages 353-371
    12. Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen de Roover, Elisa Gonzalez Boix
      Pages 372-388
    13. Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia
      Pages 389-405
  5. Short Papers

    1. Front Matter
      Pages 407-407
    2. Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos
      Pages 409-416
    3. Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
      Pages 417-425
    4. Jianwen Li, Kristin Y. Rozier
      Pages 426-433
  6. Tool Papers

    1. Front Matter
      Pages 435-435
    2. Ansem Ben Cheikh, Yoann Blein, Salim Chehida, German Vega, Yves Ledru, Lydie du Bousquet
      Pages 437-446
    3. Sylvain Hallé, Raphaël Khoury
      Pages 447-457
    4. Jasmin Jahic, Matthias Jung, Thomas Kuhn, Claus Kestel, Norbert Wehn
      Pages 458-468
  7. Back Matter
    Pages 469-470

About these proceedings


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


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

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-03768-0
  • Online ISBN 978-3-030-03769-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site