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 |