Tentative Program

Monday 2nd June 2014

8:30 - 10:00 am	Opening 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
Coffee Break
10:30 - 12:00 am	Search-based and Data-Mining Approaches
	Session Chair: Bradley Schmerl
	Parisa Zoghi, Mark Shtern and Marin Litoiu. Designing Search Based Adaptive Systems, a Quantitative Approach	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	Reader: Danilo Filgueira Mendonça
	Eric Yuan, Naeem Esfahani and Sam Malek. Automated Mining of Software Component Interactions for Self-Adaptation	Reader: Amel Bennaceur
Lunch	Steering Committee Lunch
2:00 - 3:30 pm	Security, 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	Reader: Sam Malek
	Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos and Bashar Nuseibeh. Topology Aware Adaptive Security	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	Reader: Marin Litoiu
	Danilo Mendonça, Raian Ali and Genaína Rodrigues. Modelling and Analysing Contextual Failures for Dependability Requirements	Reader: Byron DeVries
Coffee Break
4:00 - 5:30 pm	Analysis 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	Reader: Claudio Menghi
	Paulo Casanova, David Garlan, Bradley Schmerl and Rui Abreu. Diagnosing Unobserved Components in Self-Adaptive Systems	Reader: Simos Gerasimou
	Report about the Dagstuhl Seminar "Software Engineering for Self-Adaptive Systems: Assurances" reported by Carlo Guezzi
7:00 - 9:30 pm	SEAMS 2014 Dinner
7:00 - 9:30 pm	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	Reader: Luciano Baresi
	Pooyan Jamshidi, Aakash Ahmad and Claus Pahl. Autonomic Resource Provisioning for Cloud-Based Software	Reader: Hausi Müller
	Stefano Sebastio, Michele Amoretti and Alberto Lluch Lafuente. A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds	Reader: Danny Weyns
Lunch
2:00 - 3:30 pm	Verification
	Session Chair: David Garlan
	Simos Gerasimou, Radu Calinescu and Alec Banks. Efficient Runtime Quantitative Verification Using Caching, Lookahead and Nearly-Optimal Reconfiguration	Reader: Christopher Bailey
	Muhammad Usman Iftikhar and Danny Weyns. ActivFORMS: Active Formal Models for Self-Adaptation	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	Reader: Stefano Sebastio
Coffee Break
4:00 - 5:30 pm	Decision-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	Reader: Gabriel Moreno
	Javier Cámara Moreno, Gabriel Moreno and David Garlan. Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation	Reader: Liliana Pasquale
	Konstantinos Angelopoulos, Vítor Silva Souza and John Mylopoulos. Dealing with Multiple Failures in Zanshin: A Control-Theoretic Approach	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.