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:20120604T083000 DTEND;TZID=Europe/Zurich:20120604T090000 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:20120605T090000 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:20120604T091000 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:20120605T174000 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:20120604T103000 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:20120604T140000 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:20120604T160000 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:20120605T103000 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:20120605T140000 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:20120605T160000 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:20120605T221500 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:20120604T101000 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:20120605T100000 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:20120605T124500 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:20120604T115000 SUMMARY:SEAMS: Service-Based Systems LOCATION: DESCRIPTION:Service-Based Systems\n\nProactive Adaptation of Service Compos ition\nRafael R. Aschoff and Andrea Zisman\nCity University London\, UK\n\n Dynamic Self-Adaptation for Distributed Service-Oriented Transactions\nHass an Gomaa and Koji Hashimoto\nGeorge Mason University\, USA\n\nOSIRIS-SR: A Safety Ring for Self-Healing Distributed Composite Service Execution\nNenad Stojnić and Heiko Schuldt\nUniversity of Basel\, Switzerland\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:20120604T124500 SUMMARY:SEAMS: Exemplars LOCATION: DESCRIPTION:Exemplars (Chair: Luciano Baresi)\nJochen Wuttke\, Yuriy Brun\, Alessandra Gorla\, and Jonathan Ramaswamy\nUniversity of Washington\, USA\ ; University of Lugano\, Switzerland\n\nToward improving the ability to eva luate self-adaptation mechanisms\, we present the automated traffic routing problem. This problem involves large numbers of agents\, partial knowledge \, and uncertainty\, making it well-suited to be solved using many\, distin ct self-adaptation mechanisms. The well-defined nature of the problem allow s for comparison and proper evaluation of the underlying mechanisms and the involved algorithms. We (1) define the problem\, (2) outline the sources o f uncertainty and partial information that can be addressed by self-adaptat ion\, (3) enumerate the dimensions along which self-adaptive systems should be evaluated to provide a benchmark for comparison of self-adaptation and traditional mechanisms\, (4)present Adasim\, an open-source traffic routing simulator that allows easy implementation and comparison of systems solvin g the automated traffic routing problem\, and (5) demonstrate Adasim by imp lementing 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:20120604T153000 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\nTharindu Patikirikorala\, Alan Colman\, Jun Han\, an d Liuping Wang\nSwinburne University of Technology\, Australia\; Royal Melb ourne Institute of Technology\, Australia\n\nReliability-Driven Dynamic Bin ding via Feedback Control\nAntonio Filieri\, Carlo Ghezzi\, Alberto Leva\, and Martina Maggio\nPolitecnico di Milano\, Italy\; Lund University\, Swede n\n\nEvaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking\nJavier Cámara and Rogério de Lemos\nUniversity of Coimbra\, Portugal\; University of Kent\, UK\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:20120604T173000 SUMMARY:SEAMS: Distributed Systems LOCATION: DESCRIPTION:Distributed Systems (Chair: Carlo Ghezzi)\n\nCoordination of Di stributed Systems through Self-Organizing Group Topologies\nSam Guinea and Panteha Saeedi\nPolitecnico di Milano\, Italy\n\nTiming Constraints for Run time Adaptation in Real-Time\, Networked Embedded Systems\nMarc Zeller and Christian Prehofer\nFraunhofer ESK\, Germany\n\nA Middleware and Algorithms for Trust Calculation from Multiple Evidence Sources\nChern Har Yew and Ha nan Lutfiyya\nUniversity of Western Ontario\, Canada\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:20120605T120000 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\nDanny Weyns \, M. Usman Iftikhar\, Sam Malek\, and Jesper Andersson\nLinnaeus Universit y\, Sweden\; George Mason University\, USA\n\nA Taxonomy of Uncertainty for Dynamically Adaptive Systems\nAndres J. Ramirez\, Adam C. Jensen\, and Bet ty H. C. Cheng\nMichigan State University\, USA\n\nA Taxonomy and Survey of Self-Protecting Software Systems\nEric Yuan and Sam Malek\nGeorge Mason Un iversity\, USA\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:20120605T153000 SUMMARY:SEAMS: Models and Mediators LOCATION: DESCRIPTION:Models and Mediators (Chair: Jeff Magee)\n\nModel-Based Adaptiv e DoS Attack Mitigation\nCornel Barna\, Mark Shtern\, Michael Smit\, Vassil ios Tzerpos\, and Marin Litoiu\nYork University\, Canada\n\nA Language for Feedback Loops in Self-Adaptive Systems: Executable Runtime Megamodels\nTho mas Vogel and Holger Giese\nHPI\, Germany\n\nTowards Mediation-Based Self-H ealing of Data-Driven Business Processes\nTomasz Haupt\nMississippi State U niversity\, USA\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:20120605T172000 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\nCarlo Ghezzi\, Joel Greenyer\, and Valerio Panzica La Manna\nPol itecnico di Milano\, Italy\n\n(Requirement) Evolution Requirements for Adap tive Systems\nVítor E. Silva Souza\, Alexei Lapouchnian\, and John Mylopoul os\nUniversity of Trento\, Italy\n\nOn the Role of Primary and Secondary As sets in Adaptive Security: An Application in Smart Grids\nLiliana Pasquale\ , Mazeiar Salehie\, Raian Ali\, Inah Omoronyia\, and Bashar Nuseibeh\nLero\ , Ireland\; Bournemouth University\, UK\; Open University\, UK\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT END:VCALENDAR