| 2016 | Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression. | Takumi Akazaki |
| 2015 | A Hybrid Approach to Causality Analysis. | Shaohui Wang, Yoann Geoffroy, Gregor Gler, Oleg Sokolsky, Insup Lee |
| 2015 | R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. | Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier |
| 2015 | From First-order Temporal Logic to Parametric Trace Slicing. | Giles Reger, David E. Rydeheard |
| 2015 | Suggesting Edits to Explain Failing Traces. | Giles Reger |
| 2015 | TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand |
| 2015 | Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. | Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller |
| 2015 | Runtime Verification Through Forward Chaining. | Alan Perotti, Guido Boella, Artur S. d'Avila Garcez |
| 2015 | Monitoring for a Decidable Fragment of MTL-∫. | Andr de Matos Pedro, David Pereira, Lus Miguel Pinho, Jorge Sousa Pinto |
| 2015 | Monitoring and Measuring Hybrid Behaviors A Tutorial. | Dejan Nickovic |
| 2015 | Runtime Verification for Hybrid Analysis Tools. | Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson |
| 2015 | Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. | Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink |
| 2015 | Time-Triggered Runtime Verification of Component-Based Multi-core Systems. | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2015 | Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources. | Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, Anastasios Gounaris |
| 2015 | Assuring the Guardians. | Jonathan Laurent, Alwyn Goodloe, Lee Pike |
| 2015 | Statistical Model Checking of Distributed Adaptive Real-Time Software. | David Kyle, Jeffery P. Hansen, Sagar Chaki |
| 2015 | Monitoring Real Android Malware. | Jan-Christoph Kster, Andreas Bauer |
| 2015 | Monitoring Electronic Exams. | Ali Kassem, Ylis Falcone, Pascal Lafourcade |
| 2015 | A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. | Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman |
| 2015 | LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. | Malte Isberner, Bernhard Steffen, Falk Howar |
| 2015 | Rigorous Examination of Reactive Systems: The RERS Challenge 2015. | Maren Geske, Malte Isberner, Bernhard Steffen |
| 2015 | On Verifying Hennessy-Milner Logic with Recursion at Runtime. | Adrian Francalanza, Luca Aceto, Anna Inglfsdttir |
| 2015 | Second International Competition on Runtime Verification CRV 2015. | Ylis Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma |
| 2015 | Robust Online Monitoring of Signal Temporal Logic. | Jyotirmoy V. Deshmukh, Alexandre Donz, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia |
| 2015 | RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. | Philip Daian, Ylis Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu |