Runtime Verification

- Invited Papers

- Executing Specifications using Synthesis and Constraint Solving

- Runtime Verification with Data

- Programming Without Borders

- Regular Papers

- Informative Types and Effects for Hybrid Migration Control

- Monitoring of Temporal First-order Properties with Aggregations

- From propositional to first-order monitoring

- Right-Universality of Visibly Pushdown Automata

- Distributed Finite-State Runtime Monitoring with Aggregated Events

- Synthesising Correct Concurrent Runtime Monitors (Extended Abstract)

- Practical interruptible conversations: Distributed dynamic verification with session types and Python

- Runtime Verification with Particle Filtering

- An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs

- Impartiality and Anticipation for Monitoring of Visibly Context-free Properties

- Accelerating Data Race Detection Utilizing On-chip Data-parallel Cores

- Efficient Model to Query and Visualize the System States Extracted from Trace Data

- Repair Abstractions for More Efficient Data Structure Repair

- To Run What No One Has Run Before: Executing an Intermediate Verification Language

- Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations

- A Causality Analysis Framework for Component-based Real-time Systems

- Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques

- Short Papers

- A Scala DSL for Rete-based Runtime Verification

- A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools

- Towards a generic non-intrusive fault detection framework

- A Witnessing Compiler: A Proof of Concept

- Runtime Monitoring of Temporal Logic Properties in a Platform Game

- Tool Papers

- SMock | A Test Platform for Monitoring Tools

- SPY: Local Verification of Global Protocols

- Tutorials

- Instrumenting Android and Java Applications as Easy as abc

- On Signal