Keynote
Model-Based Adaptation and Learning for Robotic Systems
Raffaello D'Andrea, ETH Zürich, Switzerland and Co-Founder of Kiva Systems

Biography
Raffaello D'Andrea is professor of Dynamic Systems and Control at the Swiss Federal Institute of Technology in Zürich. He also is a co-founder of Kiva Systems, a company that develops adaptive and self-configuring warehouse automation systems using hundreds of networked, mobile robots. He was the faculty advisor and system architect of the Cornell Robot Soccer Team, four-time world champions at the international RoboCup competition in Sweden, Australia, Italy, and Japan. A creator of dynamic sculpture, he has exhibited his work at various international venues, including the Venice Biennale, Ars Electronica, the Smithsonian, and the Spoleto Festival. In addition, his work is in the permanent collections of the National Gallery of Canada, the FRAC Centre in France, and the Heinz Nixdorf Museum in Germany. D'Andrea is a recipient of the Invention and Entrepreneurship in Robotics and Automation Award, the United States Presidential Early Career Award for Science and Engineering, the National Science Foundation Career Award, and best paper awards from the American Automatic Control Council, the Institute of Electrical and Electronics Engineers, and the International Federation of Automatic Control. 

Session 2: Service-Based Systems
Session Chair and Discussion Leader: Schahram Dustdar, Technical University of Vienna, Austria

• Proactive Adaptation of Service Composition
  Rafael Aschoff and Andrea Zisman, City University London, UK
  

• Dynamic Self-Adaptation for Distributed Service-Oriented Transactions
  Hassan Gomaa and Koji Hashimoto, George Mason University, USA

• OSIRIS-SR: A Safety Ring for Self-Healing Distributed Composite Service Execution
  Nenad Stojnic and Heiko Schuldta, University of Basel, Switzerland

Discussion

Session 3: Exemplars
Session Chair and Discussion Leader: Luciano Baresi, Politecnico di Milano, Italy

• Traffic Routing for Evaluating Self-Adaptation
  Jochen Wuttke, Yuriy Brun, Jonathan Ramaswamy, University of Washington, and Alessandra Gorla, University of Lugano, Switzerland

• 3-Slide Exemplar Presentations
  Moderator: Luciano Baresi, Politecnico di Milano, Italy

Discussion

Session 4: Control Theory and Resilience
Session Chair and Discussion Leader: Marin Litoiu, York University, Canada

• Survey on the Design of Self-Adaptive Software Systems using Control Engineering Approaches
  Tharindu Patikirikorala, Alan Colman, Jun HanSwinburne University of Technology, and Liuping Wang
  Royal Melbourne Institute of Technology, Australia

• Reliability-Driven Dynamic Binding via Feedback Control
  Antonio Filieri, Carlo Ghezzi, Alberto Leva, Politecnico di Milano, Italy, and Martina Maggioa, Lund University, Sweden

• Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking
  Javier Cámara, University of Coimbra, Portugaland Rogerio De Lemos, University of Kent, UK

Discussion

Session 5: Distributed Systems
Session Chair and Discussion Leader: Carlo Ghezzi, Politecnico di Milano, Italy

• Coordination of Distributed Systems through Self-Organizing Group Topologies
  Sam Guinea and Panteha Saeedi, Politecnico di Milano, Italy

• Timing Constraints for Runtime Adaptation in Real-time, Networked Embedded Systems
  Marc Zeller and Christian Prehofer, Fraunhofer Institute for Communication Systems ESK Munich, Germany

• A Middleware and Algorithms for Trust Caculation from Multiple Evidence Sources
  Chern Har Yew and Hanan Lutfiyya, University of Western Ontario, Canada

• Report on 2012 SEfAS Book 2
  Rogerio de Lemos, University of Kent, UK
  

Discussion

Keynote
Reconciling Self-Adaptation with Self-Organization
Franco Zambonelli, University of Modena and Reggio Emilia, Italy

Biography
Franco Zambonelli is full professor of Computer Science at the University of Modena and Reggio Emilia. He received his PhD in Computer Science and Engineering from the University of Bologna in 1997. His research interests include pervasive computing, multi-agent systems, self-adaptive and self-organizing systems. He has published over 70 papers in peer-reviews journals, and has been an invited speaker at many conferences and workshops. He is the Co-Editor-in-Chief of ACM Transactions on Autonomous and Adaptive Systems, serves on the editorial boards of Elsevier's Journal of Pervasive and Mobile Computing, BCS Computer Journal, and Journal of Agent-Oriented Software Engineering, and is a member of the Steering Committee of the IEEE SASO Conference. He has been scientific manager of the EU FP6 Project CASCADAS and is currently coordinator of the EU FP7 Project SAPERE. He is a senior member of ACM and IEEE.

Session 7: Surveys and Taxonomies
Session Chair and Discussion Leader: Gregor Engels, University of Paderborn, Germany

• Claims and Supporting Evidence for Self-Adaptive Systems‚ A Literature Study
  Danny Weyns, M. Usman Iftikhar, Jesper Andersson, Linnaeus University, Sweden, Sam Malek, George Mason University, USA

  A Taxonomy of Uncertainty for Dynamically Adaptive Systems
  Andres Ramirez, Adam Jensen and Betty Cheng, Michigan State University, USA

• A Taxonomy and Survey of Self-Protecting Software Systems
  Eric Yuan and Sam Malek, George Mason University, USA

Discussion

Session 8: Fishbowl Panel
Runtime Validation and Verification (V&V)

Moderators
H.A. Müller, University of Victoria, Canada

Initial Panel Members
Yuriy Brun, University of Washington, USA
Paola Inverardi, Università dell'Aquila, Italy
Jeff Magee, Imperial College, UK
A. Perini, Fondazione Bruno Kessler - IRST, Italy
M. Shaw, Carnegie Mellon University, USA

Session 9: Models and Mediators
Session Chair and Discussion Leader: Jeff Magee, Imperial College, UK

• Model-based Adaptive DoS Attack Mitigation
  Cornel Barna, Mark Shtern, Michael Smit, and Marin Litoiu, York University, Canada

• A Language for Feedback Loops in Self-Adaptive Systems: Executable Runtime Megamodels
  Thomas Vogel and Holger Giese, Hasso Plattner Institute at University of Potsdam, Germany

• Towards Mediation-Based Self-Healing of Data-Driven Business Processes
  Tomasz Haupt, Mississippi State University, USA

• Models@runtime Meet SEAMS
  Nelly Bencomo, INRIA Paris-Rocquencour, France

Discussion

• Synthesizing Dynamically Updating Controllers from Changes in Scenario-Based Specifications
  Carlo Ghezzi, Joel Greenyer, and Valerio Panzica La Manna, Politecnico di Milano, Italy

• (Requirement) Evolution Requirements for Adaptive Systems
  Vitor E. Silva Souza, Alexei Lapouchnian, and John Mylopoulos, University of Trento, Italy
  

• On the Role of Primary and Secondary Assets in Adaptive Security An Application in Smart Grids
  Liliana Pasquale, Mazeiar Salehie, Raian Ali, Inah Omoronyia, and Bashar Nuseibeh, Lero-Irish Software Engineering Research Centre, Limerick, Ireland

  Discussion

• SEAMS 2013 Outlook
  Marin Litoiu, York University, Canada and John Mylopoulos, University of Trento, Italy

• SEAMS 2012 Closing Remarks
  Luciano Baresi, Politecnico di Milano, Italy