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 |
| 14.15-15.45 | |
SERENE WG meeting (all welcome)