SERENE’2013 Programme

Thursday, October 3th
(Kiev, Hotel “Kozatskiy”, Conference hall № 3)
09:00-09:15 Welcome from the chairs. Vyacheslav Kharchenko, Alexander Romanovsky
09:15-10:15 Invited Talk. Andras Pataricza. Empirical assessment of resilience
10:15-10:45 Coffee
10:45-12:15 Session 1. Resilient software and design
Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors,  Davide Di Ruscio, Ivano Malavolta, and Patrizio Pelliccione
Towards Agile Development of Critical Software,                                           Janusz Gorski and Katarzyna Łukasiewicz
Supporting the Evolution of Free and Open Source Software Distributions,         Davide Di Ruscio and Patrizio Pelliccione
12:15-13:30 Lunch
13:30-15:00 Session 2. Rigorous Reasoning
Optimizing Verification of Structurally Evolving Algebraic Petri Nets,                 Yasir Imtiaz Khan
A Case Study in Refinement-Based Modelling of a Resilient Control System,     Yuliya Prokhorova, Elena Troubitsyna and Linas Laibinis
Synthesis of resilient choreographies,                                                             Marco Autili, Amleto Di Salle and Massimo Tivoli
15:00-15:30 Coffee
15:30-17:00 Session 3. Applications
Formal Development and Quantitative Assessment of a Resilient Multi-Robotic System, Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna and Linas Laibinis
The SafeCap Project on Railway Safety Verification and Capacity Simulation,   Alexei Iliasov, Ilya Lopatkin and Alexander Romanovsky
Modeling of Autonomous Vehicle Operation in Intelligent Transport Systems,         Mark Woodard and Sahra Sedigh
Friday, October 4th
(Kiev, Hotel “Kozatskiy”, Conference hall № 3)
09:00-09:15 Welcome from SERENE WG. Henry Muccini
09:15-10:15 Invited Talk. Robin Bloomfield. Security Informed Safety: if It’s Not Secure, It’s Not Safe
10:15-10:45 Coffee
10:45-11:45 Session 4. Concepts
Preliminary Contributions Towards Auto-Resilience,                                   Vincenzo De Florio
A New Approach to Software Reliability,                                                           Dmitry Maevsky
11:45-12:45 Session 5. Analysis
Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs, Mikhail Moiseev
Stochastic Model-based Analysis of Railway Operation to Support Traffic Planning, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi and Massimiliano Leone Itria
12.45-13.00 Wrap-up and close
13.00-14.15 Lunch

SERENE WG meeting (all welcome)