| 2016 | A Monitoring Tool for a Branching-Time Logic. Duncan Paul Attard, Adrian Francalanza |
| 2016 | A Stream-Based Specification Language for Network Monitoring. Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah |
| 2016 | Accelerated Runtime Verification of LTL Specifications with Counting Semantics. Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi |
| 2016 | An Automata-Based Approach to Evolving Privacy Policies for Social Networks. Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2016 | An Overview of MarQ. Giles Reger |
| 2016 | Applying Runtime Monitoring for Automotive Electronic Development. Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu |
| 2016 | Decision-Theoretic Monitoring of Cyber-Physical Systems. Andrey Yavolovsky, Milos Zefran, A. Prasad Sistla |
| 2016 | Dynamic Determinacy Race Detection for Task Parallelism with Futures. Rishi Surendran, Vivek Sarkar |
| 2016 | Extended Code Coverage for AspectJ-Based Runtime Verification Tools. Omar Javed, Yudi Zheng, Andrea Rosà, Haiyang Sun, Walter Binder |
| 2016 | Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression. Takumi Akazaki |
| 2016 | Finite-Trace Linear Temporal Logic: Coinductive Completeness. Grigore Rosu |
| 2016 | First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. Christian Colombo, Yliès Falcone |
| 2016 | Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis. Nikolai Kosmatov, Julien Signoles |
| 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 | Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). Fernando Macías, Torben Scheffel, Malte Schmitz, Rui Wang |
| 2016 | Leveraging DTrace for Runtime Verification. Carl Martin Rosenberg, Martin Steffen, Volker Stolz |
| 2016 | Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace. Carlos Moreno, Sebastian Fischmeister |
| 2016 | On the Complexity of Monitoring Orchids Signatures. Jean Goubault-Larrecq, Jean-Philippe Lachance |
| 2016 | Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas |
| 2016 | Predicting Space Requirements for a Stream Monitor Specification Language. David M. Cerna, Wolfgang Schreiner, Temur Kutsia |
| 2016 | Quantitative Monitoring of STL with Edit Distance. Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic |
| 2016 | Reactive Property Monitoring of Hybrid Systems with Aggregation. Nicolas Rapin |
| 2016 | Runtime Analysis with R2U2: A Tool Exhibition Report. Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier |
| 2016 | Runtime Monitoring for Concurrent Systems. Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2016 | Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings Yliès Falcone, César Sánchez |
| 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 | Runtime Verification for HyperLTL. Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2016 | Runtime Visualization and Verification in JIVE. Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman |
| 2016 | SMEDL: Combining Synchronous and Asynchronous Monitoring. Teng Zhang, Peter Gebhard, Oleg Sokolsky |
| 2016 | Some Thoughts on Runtime Verification. Oded Maler |
| 2016 | Third International Competition on Runtime Verification - CRV 2016. Giles Reger, Sylvain Hallé, Yliès Falcone |
| 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 | When RV Meets CEP. Sylvain Hallé |
| 2016 | Wireless Protocol Validation Under Uncertainty. Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen |
| 2016 | nfer - A Notation and System for Inferring Event Stream Abstractions. Sean Kauffman, Klaus Havelund, Rajeev Joshi |