Program

The provisional program for RV 2015 is as follows.

Tutorial Day + RERS Challenge: Tuesday 22nd September 2015

8.00 Registration
9.00 Tutorial 1 – part I

M. Isberner, B. Steffen, F. Howar
LearnLib – An Open Source Java Library for Active Automata Learning
10.30 Coffee Break
11.00 Tutorial 1 – part II

M. Isberner, B. Steffen, F. Howar
LearnLib – An Open Source Java Library for Active Automata Learning
11.30 Tutorial 2

D. Nickovick
Monitoring and Measuring Hybrid Behaviors
12.30 Lunch Break
14.00 Tutoral 3

L. Bortolussi, D. Milos, G. Sanguinetti
Machine Learning Methods in Statistical Model Checking and System Design
15.30 Coffee Break
16.00 Tutorial 4

P. Daian, Y. Falcone, P. Meredith, T. Florin Serbanuta, S. Shiriashi, A. Iwai, G. Rosu
RV-Android: Efficient Parametric Android Runtime Verification
17.00 5th International Challenge on the Rigorous Examination of Reactive Systems
M. Geske, M. Isberner and B. Steffen

Presentation of the RERS Challenges 2015 on verification and monitoring, B. Steffen
Presentation of the results, M. Isberner

Conference Day 1: Wednesday 23rd September 2015

8.00 Registration
9.00 Keynote speech (chair: Radu Grosu)

Patrice Godefroid
20 Years of Dynamic Software Model Checking
10.00 Coffee Break
10.30 Session 1 – Monitoring Techniques (Chair: Klaus Havelund)

A. Francalanza, L. Aceto and A. Ingolfsdottir
On Verifying The Hennessy-Milner Logic with Recursion at Runtime

A. De M. Pedro, D. Pereira, L. M. Pinho and J. S. Pinto,
Monitoring for a decidable fragment of MTLD

J. Deshmukh, A. Donzé, S. Ghosh, X. Jin, G. Juniwal and S. A. Seshia,
Robust Online Monitoring of Signal Temporal Logic
12.00 Lunch Break
14.00 Session 2 – Monitoring Software (Chair: Dejan Nickovick)

A. Perotti, A. D’Avila Garcez and G. Boella
Runtime Verification Through Forward Chaining

J.-C. Kuester and A. Bauer
Monitoring real Android malware

S. Pinisetty, Y. Falcone, T. Jéron and H. Marchand,
TIPEX: a tool chain for Timed Property Enforcement during eXecution

J. M. Chimento, W. Ahrendt, G. Pace and G. Schneider,
StaRVOOrS – A Tool for Combined Static and Runtime Verification of Java
15.30 Coffee Break (Poster Session)
16.00 Second International Competition on Runtime Verification (CRV’15)
Y. Falcone, D. Nickovic, G. Reger, D. Thoma
17.00 Brief announcement on the upcoming RV 2016

Conference Day 2: Thursday 24th September 2015

8.00 Registration
9.00 Keynote speech (chair: Rupak Majumdar)

Sriram Sankaranarayanan
Simulation-Based Falsification of Cyber-Physical Systems
10.00 Coffee Break
10.30 Session 3 – Monitoring Cyber Physical Systems (Chair: Oleg Sokolsky)

J. Schumann, P. Moosbrugger and K. Rozier,
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems

D. Phan, J. Yang, D. Ratasich, R. Grosu, S. A. Smolka and S. Stoller
Collision Avoidance for Mobile Robots with Limited Sensing in Unknown Environments

A. Kane, O. Chowdhury, A. Datta and P. Koopman
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System

L. Nguyen, C. Schilling, S. Bogomolov and T. T Johnson
Runtime Verification of Model-based Development Environments (Short Paper)
12.15 Lunch Break
14.00 Session 4 – Monitoring Real-time, Concurrent and Spatial Distributed Systems (Chair: Ylies Falcone)

L. Bortolussi, M. Loreti, L. Nenzi, V. Ciancia and M. Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

S. Navabpour, B. Bonakdarpour and S. Fischmeister,
Time-triggered Runtime Verification of Component-Based Multi-core Systems

A. Naskos, P. Katsaros and A. Gounaris
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources (Short Paper)
15.15 Coffee Break (Poster Session)
15:45 M. Leucker
EU ICT COST Action on Runtime Verification
16:15 Moderator: Saddek Bensalem
Business Meeting – Is RV a formal method only ?
17:20 Vienna city center walking tour
20:00 Social Dinner – Restaurant Melker Stiftskeller, Schottengasse 3, A-1010 Wien

Conference Day 3: Friday 25th September 2015

8.00 Registration
9.00 Keynote speech (chair: Ezio Bartocci)

Georg Weissenbacher
Heisenbugs – When Programs Fail
10.00 Coffee Break
10.30 Session 5 – Formal Techniques (Chair: Martin Leucker)

S. Wang, Y. Geoffroy, G. Goessler, O. Sokolsky and I. Lee,
A Hybrid Approach to Causality Analysis

A. Goodloe, J. Laurent and L. Pike
Assuring the Guardians

G. Reger and D. Rydeheard
From First-Order Temporal Logic to Parametric Trace Slicing

D. Kyle, J. Hansen and S. Chaki
Statistical Model Checking of Distributed Adaptive Real-Time Software (Short Paper)

12.15 Lunch Break
14.00 Session 6 – New Applications (Chair: Borzoo Bonakdarpour)

A. Kassem, Y. Falcone and P. Lafourcade
Monitoring Electronic Exams

I. Cassar and A. Francalanza
Runtime Adaptation for Actor Systems

G. Reger
Suggesting Edits to Explain Failing Traces (Short Paper)
15:15 Concluding Remarks