| 2016 | Finite-Trace Linear Temporal Logic: Coinductive Completeness. | Grigore Rosu |
| 2016 | Leveraging DTrace for Runtime Verification. | Carl Martin Rosenberg, Martin Steffen, Volker Stolz |
| 2016 | Third International Competition on Runtime Verification - CRV 2016. | Giles Reger, Sylvain Hall, Ylis Falcone |
| 2016 | An Overview of MarQ. | Giles Reger |
| 2016 | Reactive Property Monitoring of Hybrid Systems with Aggregation. | Nicolas Rapin |
| 2016 | TrackOS: A Security-Aware Real-Time Operating System. | Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb |
| 2016 | Using Genetic Programming for Software Reliability. | Doron Peled |
| 2016 | An Automata-Based Approach to Evolving Privacy Policies for Social Networks. | Ral Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2016 | Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace. | Carlos Moreno, Sebastian Fischmeister |
| 2016 | Accelerated Runtime Verification of LTL Specifications with Counting Semantics. | Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi |
| 2016 | Some Thoughts on Runtime Verification. | Oded Maler |
| 2016 | Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). | Fernando Macas, Torben Scheffel, Malte Schmitz, Rui Wang |
| 2016 | Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis. | Nikolai Kosmatov, Julien Signoles |
| 2016 | nfer - A Notation and System for Inferring Event Stream Abstractions. | Sean Kauffman, Klaus Havelund, Rajeev Joshi |
| 2016 | Extended Code Coverage for AspectJ-Based Runtime Verification Tools. | Omar Javed, Yudi Zheng, Andrea Ros, Haiyang Sun, Walter Binder |
| 2016 | Quantitative Monitoring of STL with Edit Distance. | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic |
| 2016 | Input Attribution for Statistical Model Checking Using Logistic Regression. | Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle |
| 2016 | When RV Meets CEP. | Sylvain Hall |
| 2016 | On the Complexity of Monitoring Orchids Signatures. | Jean Goubault-Larrecq, Jean-Philippe Lachance |
| 2016 | A Stream-Based Specification Language for Network Monitoring. | Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah |
| 2016 | Runtime Verification at Work: A Tutorial. | Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu |
| 2016 | First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. | Christian Colombo, Ylis Falcone |
| 2016 | Predicting Space Requirements for a Stream Monitor Specification Language. | David M. Cerna, Wolfgang Schreiner, Temur Kutsia |
| 2016 | Runtime Verification for HyperLTL. | Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2016 | A Monitoring Tool for a Branching-Time Logic. | Duncan Paul Attard, Adrian Francalanza |