Monday 19 September
9:00-10:30
- SMSCom: Self-Managing Situated Computing - Carlo Ghezzi (Politecnico di Milano, Italy)
- Run-time verification and model update - Antonio Filieri (Politecnico di Milano, Italy)
- Discussion
10:30-11:00 - Coffee break
11:00-12:30 - PBM-FIMBSE
- PBM-FIMBSE: Partial behaviour Modeling: A Foundation for Incremental and Iterative Model-Based Software Engineering - Sebastian Uchitel (Imperial College London, UK)
- Model Synthesis in Falible Domains - Nicolas D'Ippolito (Imperial College London, UK)
- Discussion
12:30-14:00 - Lunch
14:00-15:30
- VERIWARE: From Software Verification to 'Everyware' Verification - Marta Kwiatkowska (University of Oxford, UK)
- What's new in PRISM - Dave Parker (University of Oxford, UK)
- Discussion
15:30-16:00 - Coffee break
16:30-18:00
- Lucretius: Models for Software Evolution - John Mylopoulos (University of Trento, Italy)
- Modalities for Requirements - Ivan Jureta (University of Trento, Italy)
- Discussion
Tuesday 20 September
9:00-10:30
- QUAREM: Quantitative Reactive Modeling - Thomas Henzinger (Institute of Science and Technology, Austria)
- Quantitative Specifications: Determinizing Weighted Automata - Udi Bokor (Institute of Science and Technology, Austria)
- Discussion
10:30-11:00 - Coffee break
11:00-12:30
- Adaptive Security and Privacy - Bashar Nuseibeh (LERO, Ireland)
- Developing software for the Internet of Things: Challenges and Opportunities - Luca Mottola (Swedish Institute of Computer Science, Sweden)
- Improving fault localization and model-checking adaptation strategies in Rainbow - Bradley Schmerl (CMU, USA)
12:30-14:00 - Lunch
AFTERNOON OFF- GROUP VISIT TO SAN LAZZARO DEGLI ARMENI
20:00 - DINNER
Wednesday 21 September
9:00-10:30
- Black-Box Specification Inference - Andrea Mocci (Politecnico di Milano, Italy)
- Version-consistent Dynamic Reconfiguration of Component-based Distributed Systems - Luciano Baresi (Politecnico di Milano, Italy)
- Variations on Modal Transition Systems - Shoham Ben David (Imperial College London, UK)
10:30-11:00 - Coffee break
11:00-12:30
- Model Checking and Inductive Learning: a synergistic partnership - Dalal Alrajeh (Imperial College London, UK)
- Time-Bounded Verification of CTMCs against Real-Time Specifications - Marco Dicciola (University of Oxford, UK)
- Incremental Quantitative Verification for Markov Decision Processes - Mateusz Ujma (University of Oxford, UK)
12:30-13:30 - Lunch
13:30-15:30
- System Identification for Software - Alexei Lapouchnian (University of Trento, Italy)
- Evolution through Reconfiguration - Fabiano Dalpiaz (University of Trento, Italy)
- Quantitative Synthesis of Concurrent Programs - Pavol Cerny (Institute of Science and Technology, Austria)
- Compositional Scheduling using Interface Automata - Dejan Nickovic (Institute of Science and Technology, Austria)
15:30-16:00 - Coffee break
16:00-17:00 Discussion on further interaction and joint publication
