1. SERENE 2008: Newcastle Upon Tyne, UK
Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (Eds.): SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008. ACM 2008 ISBN 978-1-60558-275-7
Architectures and modelling
Simone Cirani, Natalya Fedotova, Luca Veltri: A resilient architecture for DHT-based distributed collaborative environments. 1-8
Neil B. Harrison, Paris Avgeriou: Incorporating fault tolerance tactics in software architecture patterns. 9-18
Sadaf Mustafiz, Jörg Kienzle, Andrey Berlizev: Addressing degraded service outcomes and exceptional modes of operation in behavioural models. 19-28
Mobility
Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli: An integrated framework for the dependability evaluation of distributed mobile applications. 29-38
Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky: Formal development of cooperative exception handling for mobile agent systems. 39-48
Experience/industry session
Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Yuhui Chen, Alexander Romanovsky: The threat of uncertainty in service-oriented architecture. 49-54
Gabriel L. Zenarosa, Soumya Simanta: Experiences in engineering active replication into a traditional three-tiered client-server system. 55-60
Massimo Felici, Valentino Meduri, Alessandra Tedeschi, Carlo Riccucci: Supporting resilience in air traffic management. 61-66
PhD forum papers
Anirban Bhattacharyya, John S. Fitzgerald: Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. 67-72
Richard J. Payne: RPL: a policy language for dynamic reconfiguration. 73-78
Construction of and reasoning about resilient systems
Fernando J. Barros: An evolving hierarchical & modular approach to resilient software. 79-86
Ian J. Hayes: Towards reasoning about teleo-reactive programs for robust real-time systems. 87-94
PhD forum papers

Ilya Lopatkin: Resilience through dynamic reconfiguration in agent systems. 101-106
Project papers
Alexander Romanovsky: DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. 117-119
Paolo Masci, Henrique Moniz, Alessandra Tedeschi: Services for fault-tolerant conflict resolution in air traffic management. 121-125



