- 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
- 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
- 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