Research Results of the DICS Program

Keyphrases

Publications

2006

Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur
SCOOP - Concurrency Made Easy. Research Results of the DICS Program (2006)
Didier Buchs, Luis Pedro, Levi Lucio
Formal Test Generation from UML Models. Research Results of the DICS Program (2006)
Keno Albrecht, Fabian Kuhn, Roger Wattenhofer
Dependable Peer-to-Peer Systems Withstanding Dynamic Adversarial Churn. Research Results of the DICS Program (2006)
André Schiper
Dependable Systems. Research Results of the DICS Program (2006)
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. Research Results of the DICS Program (2006)
Cesare Pautasso, Win Bausch, Gustavo Alonso
Autonomic Computing for Virtual Laboratories. Research Results of the DICS Program (2006)
Bertrand Meyer
Dependable Software. Research Results of the DICS Program (2006)
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. Research Results of the DICS Program (2006)
Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier
Definition and Correct Refinement of Operation Specifications. Research Results of the DICS Program (2006)
Maciej Kurant, Hung Xuan Nguyen, Patrick Thiran
Survey on Dependable IP over Fiber Networks. Research Results of the DICS Program (2006)
Sebastian Gerlach, Basile Schaeli, Roger D. Hersch
Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer's Perspective. Research Results of the DICS Program (2006)
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. Research Results of the DICS Program (2006)
Burak Emir, Sebastian Maneth, Martin Odersky
Scalable Programming Abstractions for XML Services. Research Results of the DICS Program (2006)

volume 4028, 2006

Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program Research Results of the DICS Program 4028 (2006)