• Nikolaï Kosmatov and Julien Signoles. Frama-C, a Collaborative Framework for C Code Verification
• Jean Goubault-Larrecq and Jean-Philippe Lachance. On the Complexity of Monitoring Orchids Signatures
• Jeffery Hansen, Sagar Chaki, Scott Hissam, James Edmondson, Gabriel Moreno and David Kyle. Input Attribution for Statistical Model Checking using Logistic Regression
• Jinghao Shi, Shuvendu Lahiri, Geoffrey Challen and Ranveer Chandra. Wireless Protocol Validation Under Uncertainty
• Stefan Jaksic, Ezio Bartocci, Radu Grosu and Dejan Nickovic. Quantitative Monitoring of STL with Edit Distance
• Sylvain Hallé. When RV Meets CEP
• Yoriyuki Yamagata, Cyrille Valentin Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe and Mitsuharu Yamamoto. Runtime monitoring for concurrent systems
• Lee Pike, Patrick Hickey, Trevor Elliott, Eric Mertens and Aaron Tomb. TrackOS: A Security-Aware Real-Time Operating System
• Giles Reger. An Overview of MarQ
• Carlos Moreno and Sebastian Fischmeister. Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace
• Sorrachai Yingchareonthawornchai, Duong Nguyen, Vidhya Tekken Valapil, Sandeep Kulkarni and Murat Demirbas. Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems
• David Cerna, Wolfgang Schreiner and Temur Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language
• Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister and Yogi Joshi. Accelerated Runtime Verification of LTL Specifications with Counting Semantics
• Raúl Pardo, Christian Colombo, Gerardo Schneider and Gordon Pace. An Automata-based Approach to Evolving Privacy Policies for Social Networks
• Rishi Surendran and Vivek Sarkar. Dynamic Determinacy Race Detection for Task Parallelism with Futures
• Omar Javed, Yudi Zheng, Andrea Rosa, Haiyang Sun and Walter Binder. Extended Code Coverage for AspectJ-based Runtime Verification Tools
• Teng Zhang, Peter Gebhard and Oleg Sokolsky. SMEDL: Combining Synchronous and Asynchronous Monitoring
• Duncan Attard and Adrian Francalanza. A Monitoring Tool for a Branching-Time Logic
• Konstantin Selyunin, Thang Nguyen, Ezio Bartocci and Radu Grosu. Applying Runtime Monitoring for Automotive Electronic Development
• Bernd Finkbeiner, Peter Faymonville, Hazem Torfah and Sebastian Schirmer. Network Monitoring with Streams
• Philip Daian, Dwight Guth, Yilong Li, Edgar Pek, Traian Serbanuta and Grigore Rosu. Runtime Verification at Work: A Startup Perspective
• Sean Kauffman, Rajeev Joshi and Klaus Havelund. Nfer – A Logic and Infrastructure for Inferring Event Stream Properties
• Andrey Yavolovsky, Milos Zefran and Prasad Sistla. Decision-Theoretic Monitoring of Cyber-Physical Systems
• Lukasz Ziarek, Bharat Jayaraman, Demian Lessa and J. Swaminathan. Runtime Visualization and Verification in JIVE
• Carl Martin Rosenberg, Volker Stolz and Martin Steffen. Leveraging DTrace for Runtime Verification
• Nicolas Rapin. Reactive Property Monitoring of Hybrid Systems with Aggregation
• Johann Schumann, Patrick Moosbrugger and Kristin Rozier. Runtime Analysis with R2U2: A Tool Exhibition Report
• Torben Scheffel, Malte Schmitz, Fernando Macias and Rui Wang. Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper)
• Takumi Akazaki. Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression
• Grigore Rosu. Finite-Trace Linear Temporal Logic: Coinductive Completeness
• Borzoo Bonakdarpour and Bernd Finkbeiner. Runtime Verification for HyperLTL
• Doron Peled. Using Genetic Programming for Software Reliability