| 2015 | StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. | Jess Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2015 | Runtime Adaptation for Actor Systems. | Ian Cassar, Adrian Francalanza |
| 2015 | Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. | Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan |
| 2015 | Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. | Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti |
| 2014 | Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems. | Jiannan Zhai, Nigamanth Sridhar, Jason O. Hallstrom |
| 2014 | Improving Dynamic Inference with Variable Dependence Graph. | Anand Yeolekar |
| 2014 | Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. | Simon Varvaressos, Kim Lavoie, Sbastien Gaboury, Sylvain Hall |
| 2014 | Robust Consistency Checking for Modern Filesystems. | Kuei Sun, Daniel Fryer, Dai Qin, Angela Demke Brown, Ashvin Goel |
| 2014 | Speculative Program Parallelization with Scalable and Decentralized Runtime Verification. | Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamao, Willy Wolff, Alexandra Jimborean, Philippe Clauss |
| 2014 | Faster Statistical Model Checking by Means of Abstraction and Learning. | Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2014 | Dynamic Verification for Hybrid Concurrent Programming Models. | Erdal Mutlu, Vladimir Gajinov, Adrin Cristal, Serdar Tasiran, Osman S. Unsal |
| 2014 | ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. | Stefan Mitsch, Andr Platzer |
| 2014 | RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. | Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu |
| 2014 | Portable Runtime Verification with Smartphones and Optical Codes. | Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sbastien Gaboury, Sylvain Hall |
| 2014 | Checking Data Structure Properties Orders of Magnitude Faster. | Emmanouil Koukoutos, Viktor Kuncak |
| 2014 | The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. | Malte Isberner, Falk Howar, Bernhard Steffen |
| 2014 | ROSRV: Runtime Verification for Robots. | Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu |
| 2014 | Online Monitoring of Metric Temporal Logic. | Hsi-Ming Ho, Jol Ouaknine, James Worrell |
| 2014 | Symbolic Execution Debugger (SED). | Martin Hentschel, Richard Bubel, Reiner Hhnle |
| 2014 | Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems. | Johannes Geist, Kristin Y. Rozier, Johann Schumann |
| 2014 | On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems. | Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers |
| 2014 | On-Line Monitoring for Temporal Logic Robustness. | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
| 2014 | Organising LTL Monitors over Distributed Systems with a Global Clock. | Christian Colombo, Ylis Falcone |
| 2014 | Lazy Symbolic Execution for Enhanced Learning. | Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali |
| 2014 | Dynamic Test Generation with Static Fields and Initializers. | Maria Christakis, Patrick Emmisberger, Peter Mller |