Skip to main content
SpringerLink
Log in
Book cover

Runtime Verification

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Christian Colombo

    1. University of Malta, Msida, Malta

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Martin Leucker

    1. University of Lübeck, Lübeck, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: RV 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Regular Papers

    1. Efficient Monitoring of Real Driving Emissions

      • Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer
      Pages 299-315

    2. Property-Driven Runtime Resolution of Feature Interactions

      • Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi
      Pages 316-333

    3. From Parametric Trace Slicing to Rule Systems

      • Giles Reger, David Rydeheard
      Pages 334-352

    4. Scalable Online First-Order Monitoring

      • Joshua Schneider, David Basin, Frederik Brix, Srđan Krstić, Dmitriy Traytel
      Pages 353-371

    5. Practical Information Flow Control for Web Applications

      • Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen de Roover, Elisa Gonzalez Boix
      Pages 372-388

    6. Time-Series Learning Using Monotonic Logical Properties

      • Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia
      Pages 389-405

  2. Short Papers

    1. Front Matter

      Pages 407-407
      Download chapter PDF

    2. Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic

      • Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos
      Pages 409-416

    3. Tracing Distributed Component-Based Systems, a Brief Overview

      • Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
      Pages 417-425

    4. MLTL Benchmark Generation via Formula Progression

      • Jianwen Li, Kristin Y. Rozier
      Pages 426-433

  3. Tool Papers

    1. Front Matter

      Pages 435-435
      Download chapter PDF

    2. An Environment for the ParTraP Trace Property Language (Tool Demonstration)

      • Ansem Ben Cheikh, Yoann Blein, Salim Chehida, German Vega, Yves Ledru, Lydie du Bousquet
      Pages 437-446

    3. Writing Domain-Specific Languages for BeepBeep

      • Sylvain Hallé, Raphaël Khoury
      Pages 447-457

    4. A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration

      • Jasmin Jahic, Matthias Jung, Thomas Kuhn, Claus Kestel, Norbert Wehn
      Pages 458-468

  4. Back Matter

    Pages 469-470
    Download chapter PDF
Back to top

Other volumes

  1. Runtime Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.

The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 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.

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.

Editors and Affiliations

  • University of Malta, Msida, Malta

    Christian Colombo

  • University of Lübeck, Lübeck, Germany

    Martin Leucker

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation