Regular Papers

  • Adrian Francalanza, Luca Aceto and Anna Ingolfsdottir,
    On Verifying The Hennessy-Milner Logic with Recursion at Runtime
  • Johann Schumann, Patrick Moosbrugger and Kristin Rozier,
    R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
  • Jyotirmoy Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal and Sanjit A. Seshia,
    Robust Online Monitoring of Signal Temporal Logic
  • Samaneh Navabpour, Borzoo Bonakdarpour and Sebastian Fischmeister,
    Time-triggered Runtime Verification of Component-Based Multi-core Systems
  • Ali Kassem, Ylies Falcone and Pascal Lafourcade,
    Monitoring Electronic Exams
  • Ian Cassar and Adrian Francalanza,
    Runtime Adaptation for Actor Systems
  • Alwyn Goodloe, Jonathan Laurent and Lee Pike,
    Assuring the Guardians
  • Giles Reger and David Rydeheard,
    From First-Order Temporal Logic to Parametric Trace Slicing
  • Jan-Christoph Kuester and Andreas Bauer,
    Monitoring real Android malware
  • Alan Perotti, Artur D’Avila Garcez and Guido Boella,
    Runtime Verification Through Forward Chaining
  • André De Matos Pedro, David Pereira, Luis Miguel Pinho and Jorge Sousa Pinto,
    Monitoring for a decidable fragment of MTLD
  • Aaron Kane, Omar Chowdhury, Anupam Datta and Phil Koopman,
    A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
  • Dung Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka and Scott Stoller,
    Collision Avoidance for Mobile Robots with Limited Sensing in Unknown Environments
  • Shaohui Wang, Yoann Geoffroy, Gregor Goessler, Oleg Sokolsky and Insup Lee,
    A Hybrid Approach to Causality Analysis
  • Luca Bortolussi, Michele Loreti, Laura Nenzi, Vincenzo Ciancia and Mieke Massink,
    Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

Short Papers

  • Giles Reger,
    Suggesting Edits to Explain Failing Traces
  • David Kyle, Jeffery Hansen and Sagar Chaki,
    Statistical Model Checking of Distributed Adaptive Real-Time Software
  • Luan Nguyen, Christian Schilling, Sergiy Bogomolov and Taylor T Johnson,
    Runtime Verification of Model-based Development Environments
  • Athanasios Naskos, Panagiotis Katsaros and Anastasios Gounaris,
    Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources

Tool Papers

  • Jesus Mauricio Chimento, Wolfgang Ahrendt, Gordon Pace and Gerardo Schneider,
    StaRVOOrS – A Tool for Combined Static and Runtime Verification of Java
  • Srinivas Pinisetty, Ylies Falcone, Thierry Jéron and Hervé Marchand,
    TIPEX: a tool chain for Timed Property Enforcement during eXecution