| 2018 | Runtime Verification - 17 Years Later. | Klaus Havelund, Grigore Rosu |
| 2018 | Runtime Verification: From Propositional to First-Order Temporal Logic. | Klaus Havelund, Doron Peled |
| 2018 | Writing Domain-Specific Languages for BeepBeep. | Sylvain Hall, Raphal Khoury |
| 2018 | Striver: Stream Runtime Verification for Real-Time Event-Streams. | Felipe Gorostiaga, Csar Snchez |
| 2018 | Verifying and Validating Autonomous Systems: Towards an Integrated Approach. | Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi |
| 2018 | Tracing Distributed Component-Based Systems, a Brief Overview. | Ylis Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem |
| 2018 | A Taxonomy for Classifying Runtime Verification Tools. | Ylis Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel |
| 2018 | Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections. | Ylis Falcone |
| 2018 | Bringing Runtime Verification Home. | Antoine El-Hokayem, Ylis Falcone |
| 2018 | Can We Monitor All Multithreaded Programs? | Antoine El-Hokayem, Ylis Falcone |
| 2018 | Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. | Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos |
| 2018 | Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. | Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss |
| 2018 | COST Action IC1402 Runtime Verification Beyond Monitoring. | Christian Colombo, Ylis Falcone, Martin Leucker, Giles Reger, Csar Snchez, Gerardo Schneider, Volker Stolz |
| 2018 | An Environment for the ParTraP Trace Property Language (Tool Demonstration). | Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germn Vega, Yves Ledru, Lydie du Bousquet |
| 2018 | Efficient Timed Diagnosis Using Automata with Timed Domains. | Patricia Bouyer, Samy Jaziri, Nicolas Markey |
| 2018 | Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial). | Ezio Bartocci |
| 2018 | Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning. | Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister |
| 2018 | Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. | Shaun Azzopardi, Joshua Ellul, Gordon J. Pace |
| 2018 | METIS: Resource and Context-Aware Monitoring of Finite State Properties. | Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare |
| 2017 | Monitoring Time Intervals. | Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky |
| 2017 | Control Dependencies in Interpretive Systems. | Babak Yadegari, Saumya Debray |
| 2017 | Runtime Detection of Temporal Memory Errors. | Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson |
| 2017 | Verifying the Output of a Distributed Algorithm Using Certification. | Kim Vllinger |
| 2017 | Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. | Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas |
| 2017 | E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). | Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov |