SEAMS 2014- Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Full Citation in the ACM Digital Library

SESSION: Keynotes

Genetic improvement for adaptive software engineering (keynote)

• Mark Harman
• Yue Jia
• William B. Langdon
• Justyna Petke
• Iman Hemati Moghadam
• Shin Yoo
• Fan Wu

Adapting our view of software adaptation: an architectural perspective (keynote)

• Nenad Medvidovic

SESSION: Search-Based and Data-Mining Approaches

Designing search based adaptive systems: a quantitative approach

• Parisa Zoghi
• Mark Shtern
• Marin Litoiu

Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty

• Erik M. Fredericks
• Byron DeVries
• Betty H. C. Cheng

Automated mining of software component interactions for self-adaptation

• Eric Yuan
• Naeem Esfahani
• Sam Malek

SESSION: Security, Goals, and Requirements

Requirements-driven mediation for collaborative security

• Amel Bennaceur
• Arosha K. Bandara
• Michael Jackson
• Wei Liu
• Lionel Montrieux
• Thein Than Tun
• Yijun Yu
• Bashar Nuseibeh

Topology aware adaptive security

• Liliana Pasquale
• Carlo Ghezzi
• Claudio Menghi
• Christos Tsigkanos
• Bashar Nuseibeh

Self-adaptive applications: on the development of personalized web-tasking systems

• Lorena Castañeda
• Norha M. Villegas
• Hausi A. Müller

Modelling and analysing contextual failures for dependability requirements

• Danilo F. Mendonça
• Raian Ali
• Genaína N. Rodrigues

SESSION: Analysis and Diagnosis

User-centric adaptation of multi-tenant services: preference-based analysis for service reconfiguration

• Jesús García-Galán
• Liliana Pasquale
• Pablo Trinidad
• Antonio Ruiz-Cortés

Diagnosing unobserved components in self-adaptive systems

• Paulo Casanova
• David Garlan
• Bradley Schmerl
• Rui Abreu

SESSION: Cloud Computing

Symbiotic and sensitivity-aware architecture for globally-optimal benefit in self-adaptive cloud

• Tao Chen
• Rami Bahsoon

Autonomic resource provisioning for cloud-based software

• Pooyan Jamshidi
• Aakash Ahmad
• Claus Pahl

A computational field framework for collaborative task execution in volunteer clouds

• Stefano Sebastio
• Michele Amoretti
• Alberto Lluch Lafuente

SESSION: Verification

Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

• Simos Gerasimou
• Radu Calinescu
• Alec Banks

ActivFORMS: active formal models for self-adaptation

• M. Usman Iftikhar
• Danny Weyns

Run-time generation, transformation, and verification of access control models for self-protection

• Christopher Bailey
• Lionel Montrieux
• Rogério de Lemos
• Yijun Yu
• Michel Wermelinger

SESSION: Decision-Making

A prediction-driven adaptation approach for self-adaptive sensor networks

• Ivan Dario Paez Anaya
• Viliam Simko
• Johann Bourcier
• Noël Plouzeau
• Jean-Marc Jézéquel

Stochastic game analysis and latency awareness for proactive self-adaptation

• Javier Cámara
• Gabriel A. Moreno
• David Garlan

Dealing with multiple failures in zanshin: a control-theoretic approach

• Konstantinos Angelopoulos
• Vítor E. Silva Souza
• John Mylopoulos