[SystemSafety] CfPart SERENE 2013: SE for Resilient Systems

[Alexander Romanovsky]

5th International Workshop on Software Engineering for Resilient Systems
SERENE'2013: October 3-4, Kiev, Ukraine
Call for Participation
http://serene.uni.lu/Workshops/SERENE_2013

The SERENE 2013 workshop provides a forum for researchers and practitioners
to exchange ideas and results on advances in all areas relevant to the resilience
of IT systems and software which is an ability to persistently deliver its services
in a trustworthy way even when facing changes, unforeseen failures and
intrusions.

The workshop is organised by the ERCIM WG on Software Engineering for
Resilient Systems - http://serene.uni.lu/.  The proceedings of SERENE'2013
are published as by Springer (LNCS 8166).

The programme of the workshop includes two keynotes and 13 technical
presentations.

=======================
SERENE'2013 INVITED TALKS:

1. Andras Pataricza, Budapest University of Technology and Economics, Hungary:
 Empirical assessment of resilience

2. Robin Bloomfield, Adelard/City University, UK:
 Security informed safety: if it's not secure, it's not safe

====================
SERENE'2013 PROGRAM:
------------------------------------Thursday, October 3th-------------------------

09:00-09:15 Welcome from the chairs. Vecheslav Kharchenko, Alexander Romanovsky
09:15-10:15 Invited Talk 1. Andras Pataricza. Empirical assessment of resilience
10:15-10:45 Coffee
10:45-12:15 Session 1. Resilient software and design
1.1. Engineering a Platform for Mission Planning of Autonomous and Resilient
     Quadrotors, Ivano Malavolta, Patrizio Pelliccione and Davide Di Ruscio
1.2. Towards Agile Development of Critical Software,
     Katarzyna Łukasiewicz and Janusz Gorski
1.3. Supporting the Evolution of Free and Open Source Software Distributions,
     Patrizio Pelliccione and Davide Di Ruscio
12:15-13:30 Lunch
13:30-15:00 Session 2. Rigorous Reasoning
2.1. Optimizing Verification of Structurally Evolving Algebraic Petri Nets,
     Yasir Imtiaz Khan
2.1. A Case Study in Refinement-Based Modelling of a Resilient Control System,
     Yuliya Prokhorova, Elena Troubitsyna and Linas Laibinis
2.2. Synthesis of resilient choreographies,
     Marco Autili, Amleto Di Salle and Massimo Tivoli
15:00-15:30 Coffee
15:30-17:00 Session 3. Applications
3.1. Formal Development and Quantitative Assessment of a Resilient
     Multi-Robotic System, Anton Tarasyuk, Inna Pereverzeva,
     Elena Troubitsyna and Linas Laibinis
3.2. The SafeCap Project on Railway Safety Verification and Capacity
     Simulation, Alexei Iliasov, Ilya Lopatkin and Alexander Romanovsky
3.3. Modeling Unmanned Vehicle Behavior in a Traffic System,
     Mark Woodard and Sahra Sedigh

--------------------------------------Friday, October 4th----------------------------------

09:00-09:15 Welcome from SERENE WG. Henry Muccini
09:15-10:15 Invited Talk 2. 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
4.1. Preliminary Contributions Towards Auto-Resilience,
     Vincenzo De Florio
4.2. A new theory of Software Reliability,
     Dmitry Maevsky
11:45-12:45 Session 5. Analysis
5.1. Static Analysis Approach for Defect Detection in Multithreaded
     C/C++ Programs, Mikhail Moiseev
5.2. 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)


REGISTRATION WEB SITE:
http://serene.uni.lu/Workshops/SERENE_2013/Registration
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20130813/ce2b7ec0/attachment-0001.html>