<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style id="owaParaStyle" type="text/css">P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;"><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">ec5th International Workshop on Software Engineering for Resilient Systems </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">SERENE'2013: October 3-4, Kiev, Ukraine</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Call for Participation</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><a href="http://serene.uni.lu/Workshops/SERENE_2013">http://serene.uni.lu/Workshops/SERENE_2013</a></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">The SERENE 2013 workshop provides a forum for researchers and practitioners </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">to exchange ideas and results on advances in all areas relevant to the resilience </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">of IT systems and software which is an ability to persistently deliver its services </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">in a trustworthy way even when facing changes, unforeseen failures and </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">intrusions.</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">The workshop is organised by the ERCIM WG on Software Engineering for </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Resilient Systems - </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><a href="http://serene.uni.lu/">http://serene.uni.lu/</a></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">.
The proceedings of SERENE'2013 </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">are published as a Springer LNCS Volume.</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">The programme of the workshop includes two keynotes and 13 technical </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">presentations.</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">=======================</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">SERENE'2013 INVITED TALKS:</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">1. Andras Pataricza, Budapest University of Technology and Economics, Hungary: </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Empirical assessment of resilience</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">2. Robin Bloomfield, Adelard/City University, UK: </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Security informed safety: if it's not secure, it's not safe</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">====================</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">SERENE'2013 PROGRAM:</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">------------------------------------Thursday, October 3th-------------------------</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">09:00-09:15</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Welcome from the chairs. Vladimir Mokhor, Alexander Romanovsky </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">09:15-10:15</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Invited Talk 1. Andras Pataricza. Empirical assessment of resilience</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">10:15-10:45</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Coffee</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">10:45-12:15</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Session 1. Resilient software and design</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">1.1.
Engineering a Platform for Mission Planning of Autonomous and Resilient </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Quadrotors,
Ivano Malavolta, Patrizio Pelliccione and Davide Di Ruscio</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">1.2.
Towards Agile Development of Critical Software, </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Katarzyna
Łukasiewicz and Janusz Gorski </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">1.3.
Supporting the Evolution of Free and Open Source Software Distributions, </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Patrizio
Pelliccione and Davide Di Ruscio</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">12:15-13:30</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Lunch</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">13:30-15:00</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Session 2. Rigorous Reasoning</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">2.1.
Optimizing Verification of Structurally Evolving Algebraic Petri Nets, </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Yasir
Imtiaz Khan</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">2.1.
A Case Study in Refinement-Based Modelling of a Resilient Control System, </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Yuliya
Prokhorova, Elena Troubitsyna and Linas Laibinis</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">2.2.
Synthesis of resilient choreographies, </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Marco
Autili, Amleto Di Salle and Massimo Tivoli</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">15:00-15:30</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Coffee</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">15:30-17:00</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Session 3. Applications</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">3.1.
Formal Development and Quantitative Assessment of a Resilient </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Multi-Robotic
System, Anton Tarasyuk, Inna Pereverzeva, </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Elena
Troubitsyna and Linas Laibinis</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">3.2.
The SafeCap Project on Railway Safety Verification and Capacity</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Simulation,
Alexei Iliasov, Ilya Lopatkin and Alexander Romanovsky </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">3.3.
Modeling Unmanned Vehicle Behavior in a Traffic System, </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Mark
Woodard and Sahra Sedigh </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">--------------------------------------Friday, October 4th----------------------------------</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">09:00-09:15</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Welcome from SERENE WG. Henry Muccini</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">09:15-10:15</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Invited Talk 2. Robin Bloomfield. </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Security
informed safety: if it's not secure, it's not safe</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">10:15-10:45</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Coffee</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">10:45-11:45</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Session 4. Concepts</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">4.1.
Preliminary Contributions Towards Auto-Resilience, </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Vincenzo
De Florio</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">4.2.
A new theory of Software Reliability, </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Dmitry
Maevsky</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">11:45-12:45</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Session 5. Analysis</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">5.1.
Static Analysis Approach for Defect Detection in Multithreaded </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> C/C++
Programs, Mikhail Moiseev</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">5.2.
Stochastic Model-based Analysis of Railway Operation to Support Traffic</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> Planning,
Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; "></span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> and
Massimiliano Leone Itria</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">12.45-13.00</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Wrap-up and close</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">13.00-14.15</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Lunch</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">14.15-15.45</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><span class="Apple-tab-span" style="white-space: pre; ">
</span></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">SERENE WG meeting (all welcome)</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">===============</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">PROGRAM CHAIRS: </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Gorbenko, Anatoliy (National Aerospace University, Ukraine)</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Romanovsky, Alexander (Newcastle University, UK)</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Kharchenko, Vyacheslav (National Aerospace University, Ukraine)</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">=====================</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">REGISTRATION WEB SITE: </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br>
</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><a href="http://serene.uni.lu/Workshops/SERENE_2013/Registration">http://serene.uni.lu/Workshops/SERENE_2013/Registration</a></span>
</div>
</body>
</html>