9:00 – 10:00 Invited talk 2: Gul Agha (UIUC, USA).

Building Dependable Concurrent Systems through Probabilistic Inference, Predictive Monitoring and Self-Adaptation

10:00 – 10:30 Coffee Break
10:30 – 12:30 Session 4: Concurrency and distributed systems.

Yoriyuki Yamagata, Cyrille Valentin Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe and Mitsuharu Yamamoto.
Runtime monitoring for concurrent systems

Rishi Surendran and Vivek Sardar.
Dynamic Determinacy Race Detection for Task Parallelism with Futures

Sorrachai Yingchareonthawornchai, Duong Nguyen, Vidhya Tekken Valapil, Sandeep Kulkarni
and Murat Demirbas.
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems

12:00 – 14:00 Lunch
14:00 – 15:45 Session 5: Specification and theory.

Grigore Rosu.
Finite-Trace Linear Temporal Logic: Conductive Completeness

Jeffery Hansen, Sagar Chaki, Scott Hissam, James Edmondson, Gabriel Moreno and David Kyle.
Input Attribution for Statistical Model Checking using Logistic Regression

Stefan Jaksic, Ezio Bartocci, Radu Grosu and Dejan Nickovic.
Quantitative Monitoring of STL with Edit Distance

Torben Scheffel, Malte Schmitz, Fernando Macias and Rui Wang.
Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position

15:45 – 16:15 Coffee Break
17:45 – 19:30 Visit
20:00 – Banquet