Research Results of the DICS Program 2006

Jürg Kohlas, Bertrand Meyer, André Schiper (Eds.): Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program. Lecture Notes in Computer Science 4028 Springer 2006, ISBN 3-540-36821-3

Surveys

Bertrand Meyer:
Dependable Software. 1-33
André Schiper:
Dependable Systems. 34-54
Maciej Kurant, Hung Xuan Nguyen, Patrick Thiran:
Survey on Dependable IP over Fiber Networks. 55-81

Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur:
SCOOP - Concurrency Made Easy. 82-102
Burak Emir, Sebastian Maneth, Martin Odersky:
Scalable Programming Abstractions for XML Services. 103-126
Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier:
Definition and Correct Refinement of Operation Specifications. 127-144
Didier Buchs, Luis Pedro, Levi Lucio:
Formal Test Generation from UML Models. 145-171

Daniel C. Bünzli, Rachele Fuzzati, Sergio Mena, Uwe Nestmann, Olivier Rütti, André Schiper, Pawel T. Wojciechowski:
Advances in the Design and Implementation of Group Communication Middleware. 172-194
Sebastian Gerlach, Basile Schaeli, Roger D. Hersch:
Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer's Perspective. 195-210
Cesare Pautasso, Win Bausch, Gustavo Alonso:
Autonomic Computing for Virtual Laboratories. 211-230

Frederick Ducatelle, Luca Maria Gambardella, Maciej Kurant, Hung Xuan Nguyen, Patrick Thiran:
Algorithms for Failure Protection in Large IP-over-fiber and Wireless Ad Hoc Networks. 231-259
Thomas Erlebach, Alexander Hall, Linda S. Moonen, Alessandro Panconesi, Frits C. R. Spieksma, Danica Vukadinovic:
Robustness of the Internet at the Topology and Routing Level. 260-274
Keno Albrecht, Fabian Kuhn, Roger Wattenhofer:
Dependable Peer-to-Peer Systems Withstanding Dynamic Adversarial Churn. 275-294