9th International Symposium on
Software Engineering for Adaptive and Self-Managing Systems
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Tentative Program

Monday 2nd June 2014

8:30 - 10:00 amOpening of SEAMS by Nelly Bencomo (Program Chair) and Gregor Engels (Conference Chair)
Mark Harman's Keynote. Search Based Software Engineering as an Agent for Adaptivity [PDF]
Coffee Break
10:30 - 12:00 amSearch-based and Data-Mining Approaches
Session Chair: Bradley Schmerl
Parisa Zoghi, Mark Shtern and Marin Litoiu. Designing Search Based Adaptive Systems, a Quantitative Approach [PDF]Reader: Konstantinos Angelopoulos
Erik M. Fredericks, Byron Devries and Betty H. C. Cheng. Towards Run-time Adaptation of Test Cases for Self-Adaptive Systems in the Face of Uncertainty [PDF]Reader: Danilo Filgueira Mendonça
Eric Yuan, Naeem Esfahani and Sam Malek. Automated Mining of Software Component Interactions for Self-Adaptation [PDF]Reader: Amel Bennaceur
LunchSteering Committee Lunch
2:00 - 3:30 pmSecurity, Goals and Requirements
Session Chair: Danny Weyns
Amel Bennaceur, Arosha Bandara, Michael Jackson, Wei Liu, Lionel Montrieux, Thein Than Tun, Yijun Yu and Bashar Nuseibeh. Requirements-Driven Mediation for Collaborative Security [PDF]Reader: Sam Malek
Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos and Bashar Nuseibeh. Topology Aware Adaptive Security [PDF]Reader: Bradley Schmerl
Lorena Castañeda, Norha M. Villegas and Hausi A. Müller. Self-Adaptive applications: on the development of Personalized Web-Tasking Systems [PDF]Reader: Marin Litoiu
Danilo Mendonça, Raian Ali and Genaína Rodrigues. Modelling and Analysing Contextual Failures for Dependability Requirements [PDF]Reader: Byron DeVries
Coffee Break
4:00 - 5:30 pmAnalysis and Diagnosis
Session Chair: Yuriy Brun
Jesús García Galán, Liliana Pasquale, Pablo Trinidad and Antonio Ruiz-Cortés. User-centric Adaptation of Multi-tenant Services: Preference-based Analysis for Service Reconfiguration [PDF]Reader: Claudio Menghi
Paulo Casanova, David Garlan, Bradley Schmerl and Rui Abreu. Diagnosing Unobserved Components in Self-Adaptive Systems [PDF]Reader: Simos Gerasimou
Report about the Dagstuhl Seminar "Software Engineering for Self-Adaptive Systems: Assurances" reported by Carlo Guezzi
7:00 - 9:30 pmSEAMS 2014 Dinner
Dinner will be at HICC (Conference venue). You should receive your ticket from the registration office if you are registered in SEAMS.

Tuesday 3rd June 2014

8:30 - 10:00 am Announcement of best paper(s)
Nenad Medvidovic 's Keynote. Adapting Our View of Software Adaptation: An Architectural Perspective
Coffee Break
10:30 - 12:00 am Cloud Computing
Session Chair: Marin Litoiu
Tao Chen and Rami Bahsoon. Symbiotic and Sensitivity-Aware Architecture for Globally-Optimal Benefit in Self-Adaptive Cloud [PDF]Reader: Luciano Baresi
Pooyan Jamshidi, Aakash Ahmad and Claus Pahl. Autonomic Resource Provisioning for Cloud-Based Software [PDF]Reader: Hausi Müller
Stefano Sebastio, Michele Amoretti and Alberto Lluch Lafuente. A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds [PDF]Reader: Danny Weyns
2:00 - 3:30 pmVerification
Session Chair: David Garlan
Simos Gerasimou, Radu Calinescu and Alec Banks. Efficient Runtime Quantitative Verification Using Caching, Lookahead and Nearly-Optimal Reconfiguration [PDF]Reader: Christopher Bailey
Muhammad Usman Iftikhar and Danny Weyns. ActivFORMS: Active Formal Models for Self-Adaptation [PDF]Reader: Pooyan Jamshidi
Christopher Bailey, Lionel Montrieux, Rogerio De Lemos, Yijun Yu and Michel Wermelinger. Run-Time Generation, Transformation, and Verification of Access Control Models for Self-Protection [PDF]Reader: Stefano Sebastio
Coffee Break
4:00 - 5:30 pmDecision-making
Session Chair: Hausi Müller
Ivan Dario Paez Anaya, Viliam Simko, Johann Bourcier, Noël Plouzeau, Jean-Marc Jézéquel. A Prediction-Driven Adaptation Approach for Self-Adaptive Sensor Networks [PDF]Reader: Gabriel Moreno
Javier Cámara Moreno, Gabriel Moreno and David Garlan. Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation [PDF]Reader: Liliana Pasquale
Konstantinos Angelopoulos, Vítor Silva Souza and John Mylopoulos. Dealing with Multiple Failures in Zanshin: A Control-Theoretic Approach [PDF]Reader: Ivan Dario Paez Anaya
5:30 - 5:40 pm Closing and thanks! Presentation of SEAMS 2015
Have a good time at ICSE and in India!
Presenters are highlighted.