BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH X-WR-CALNAME:Events of SEAMS 2012 PRODID:-//Generated by Conference Publishing//EN BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:19700101T010000 DTEND;TZID=Europe/Zurich:19700101T010000 SUMMARY:SEAMS: Preface LOCATION: DESCRIPTION:Preface\n\nTitle Page\n\n\n\nForeword\n\n\n\nCommittees\n\n\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120604T083000 DTEND;TZID=Europe/Zurich:20120604T083000 SUMMARY:SEAMS: Registration LOCATION: DESCRIPTION:Registration\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120605T083000 DTEND;TZID=Europe/Zurich:20120605T083000 SUMMARY:SEAMS: Registration LOCATION: DESCRIPTION:Registration\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120604T090000 DTEND;TZID=Europe/Zurich:20120604T090000 SUMMARY:SEAMS: Opening Remarks LOCATION: DESCRIPTION:Opening Remarks (Chair: Hausi A. Müller / Luciano Baresi)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120605T172000 DTEND;TZID=Europe/Zurich:20120605T172000 SUMMARY:SEAMS: Closing Session LOCATION: DESCRIPTION:Closing Session (Chair: Hausi A. Müller)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120604T101000 DTEND;TZID=Europe/Zurich:20120604T101000 SUMMARY:SEAMS: Nutrition Break LOCATION: DESCRIPTION:Nutrition Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120604T124500 DTEND;TZID=Europe/Zurich:20120604T124500 SUMMARY:SEAMS: Lunchon LOCATION: DESCRIPTION:Lunchon\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120604T153000 DTEND;TZID=Europe/Zurich:20120604T153000 SUMMARY:SEAMS: Nutrition Break LOCATION: DESCRIPTION:Nutrition Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120605T100000 DTEND;TZID=Europe/Zurich:20120605T100000 SUMMARY:SEAMS: Nutrition Break LOCATION: DESCRIPTION:Nutrition Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120605T124500 DTEND;TZID=Europe/Zurich:20120605T124500 SUMMARY:SEAMS: Lunchon LOCATION: DESCRIPTION:Lunchon\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120605T153000 DTEND;TZID=Europe/Zurich:20120605T153000 SUMMARY:SEAMS: Nutrition Break LOCATION: DESCRIPTION:Nutrition Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120605T194500 DTEND;TZID=Europe/Zurich:20120605T194500 SUMMARY:SEAMS: Dinner LOCATION:ETH Dozentenfoyer DESCRIPTION:Dinner\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120604T091000 DTEND;TZID=Europe/Zurich:20120604T091000 SUMMARY:SEAMS: Model-Based Adaptation and Learning for Robotic Systems by R affaello D'Andrea (Keynote) LOCATION: DESCRIPTION:Model-Based Adaptation and Learning for Robotic Systems by Raff aello D'Andrea (Keynote) (Chair: Hausi A. Müller)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120605T090000 DTEND;TZID=Europe/Zurich:20120605T090000 SUMMARY:SEAMS: Reconciling Self-Adaptation with Self-Organization by Franco Zambonelli (Keynote) LOCATION: DESCRIPTION:Reconciling Self-Adaptation with Self-Organization by Franco Za mbonelli (Keynote) (Chair: Luciano Baresi)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120605T120000 DTEND;TZID=Europe/Zurich:20120605T120000 SUMMARY:SEAMS: Fishbowl Panel LOCATION: DESCRIPTION:Fishbowl Panel (Chair: Hausi A. Müller)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120604T103000 DTEND;TZID=Europe/Zurich:20120604T103000 SUMMARY:SEAMS: Service-Based Systems LOCATION: DESCRIPTION:Service-Based Systems\n\nProactive Adaptation of Service Compos ition\n\n\n\nDynamic Self-Adaptation for Distributed Service-Oriented Trans actions\n\n\n\nOSIRIS-SR: A Safety Ring for Self-Healing Distributed Compos ite Service Execution\n\n\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120604T115000 DTEND;TZID=Europe/Zurich:20120604T115000 SUMMARY:SEAMS: Exemplars LOCATION: DESCRIPTION:Exemplars (Chair: Luciano Baresi)\n\n\n\nToward improving the a bility to evaluate self-adaptation mechanisms\, we present the automated tr affic routing problem. This problem involves large numbers of agents\, part ial knowledge\, and uncertainty\, making it well-suited to be solved using many\, distinct self-adaptation mechanisms. The well-defined nature of the problem allows for comparison and proper evaluation of the underlying mecha nisms and the involved algorithms. We (1) define the problem\, (2) outline the sources of uncertainty and partial information that can be addressed by self-adaptation\, (3) enumerate the dimensions along which self-adaptive s ystems should be evaluated to provide a benchmark for comparison of self-ad aptation and traditional mechanisms\, (4)present Adasim\, an open-source tr affic routing simulator that allows easy implementation and comparison of s ystems solving the automated traffic routing problem\, and (5) demonstrate Adasim by implementing two traffic routing systems.\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120604T140000 DTEND;TZID=Europe/Zurich:20120604T140000 SUMMARY:SEAMS: Control Theory and Resilience LOCATION: DESCRIPTION:Control Theory and Resilience (Chair: Marin Litoiu)\n\nA System atic Survey on the Design of Self-Adaptive Software Systems Using Control E ngineering Approaches\n\n\n\nReliability-Driven Dynamic Binding via Feedbac k Control\n\n\n\nEvaluation of Resilience in Self-Adaptive Systems Using Pr obabilistic Model-Checking\n\n\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120604T160000 DTEND;TZID=Europe/Zurich:20120604T160000 SUMMARY:SEAMS: Distributed Systems LOCATION: DESCRIPTION:Distributed Systems (Chair: Carlo Ghezzi)\n\nCoordination of Di stributed Systems through Self-Organizing Group Topologies\n\n\n\nTiming Co nstraints for Runtime Adaptation in Real-Time\, Networked Embedded Systems\ n\n\n\nA Middleware and Algorithms for Trust Calculation from Multiple Evid ence Sources\n\n\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120605T103000 DTEND;TZID=Europe/Zurich:20120605T103000 SUMMARY:SEAMS: Surveys and Taxonomies LOCATION: DESCRIPTION:Surveys and Taxonomies (Chair: Gregor Engels)\n\nClaims and Sup porting Evidence for Self-Adaptive Systems: A Literature Study\n\n\n\nA Tax onomy of Uncertainty for Dynamically Adaptive Systems\n\n\n\nA Taxonomy and Survey of Self-Protecting Software Systems\n\n\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120605T140000 DTEND;TZID=Europe/Zurich:20120605T140000 SUMMARY:SEAMS: Models and Mediators LOCATION: DESCRIPTION:Models and Mediators (Chair: Jeff Magee)\n\nModel-Based Adaptiv e DoS Attack Mitigation\n\n\n\nA Language for Feedback Loops in Self-Adapti ve Systems: Executable Runtime Megamodels\n\n\n\nTowards Mediation-Based Se lf-Healing of Data-Driven Business Processes\n\n\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=Europe/Zurich:20120605T160000 DTEND;TZID=Europe/Zurich:20120605T160000 SUMMARY:SEAMS: Requirements and Specifications LOCATION: DESCRIPTION:Requirements and Specifications (Chair: Betty Cheng)\n\nSynthes izing Dynamically Updating Controllers from Changes in Scenario-Based Speci fications\n\n\n\n(Requirement) Evolution Requirements for Adaptive Systems\ n\n\n\nOn the Role of Primary and Secondary Assets in Adaptive Security: An Application in Smart Grids\n\n\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT END:VCALENDAR