The ASCENS Approach 2015

Language and Verification for Collective Autonomic Systems

Modeling and Theory of Adaptive and Self-aware Systems

Engineering Techniques for Collective Autonomic Systems

Case Studies: Challenges and Feedback

a service of Schloss Dagstuhl - Leibniz Center for Informatics