Frontmatter

Keynotes

Genetic Improvement for Adaptive Software Engineering (Keynote)
Mark Harman, Yue Jia, William B. Langdon, Justyna Petke, Iman Hemati Moghadam, Shin Yoo, and Fan Wu
(University College London, UK)


@InProceedings{SEAMS14p1, author = {Mark Harman and Yue Jia and William B. Langdon and Justyna Petke and Iman Hemati Moghadam and Shin Yoo and Fan Wu}, title = {Genetic Improvement for Adaptive Software Engineering (Keynote)}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, } Article: seams14main-id100-p doi:

Adapting Our View of Software Adaptation: An Architectural Perspective (Keynote)
Nenad Medvidovic
(University of Southern California, USA)


@InProceedings{SEAMS14p5, author = {Nenad Medvidovic}, title = {Adapting Our View of Software Adaptation: An Architectural Perspective (Keynote)}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {5-4}, doi = {}, year = {2014}, } Article: seams14main-id101-p doi:

Search-Based and Data-Mining Approaches

Designing Search Based Adaptive Systems: A Quantitative Approach
Parisa Zoghi, Mark Shtern, and Marin Litoiu
(York University, Canada)


@InProceedings{SEAMS14p9, author = {Parisa Zoghi and Mark Shtern and Marin Litoiu}, title = {Designing Search Based Adaptive Systems: A Quantitative Approach}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {9-8}, doi = {}, year = {2014}, } Article: seams14main-id98-p doi:

Towards Run-Time Adaptation of Test Cases for Self-Adaptive Systems in the Face of Uncertainty
Erik M. Fredericks, Byron DeVries, and Betty H. C. Cheng
(Michigan State University, USA)


@InProceedings{SEAMS14p19, author = {Erik M. Fredericks and Byron DeVries and Betty H. C. Cheng}, title = {Towards Run-Time Adaptation of Test Cases for Self-Adaptive Systems in the Face of Uncertainty}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2014}, } Article: seams14main-id46-p doi:

Automated Mining of Software Component Interactions for Self-Adaptation
Eric Yuan, Naeem Esfahani, and Sam Malek
(George Mason University, USA)


@InProceedings{SEAMS14p29, author = {Eric Yuan and Naeem Esfahani and Sam Malek}, title = {Automated Mining of Software Component Interactions for Self-Adaptation}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {29-28}, doi = {}, year = {2014}, } Article: seams14main-id94-p doi:

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, and Bashar Nuseibeh
(Open University, UK; Wuhan Institute of Technology, China; Lero, Ireland)


@InProceedings{SEAMS14p39, author = {Amel Bennaceur and Arosha K. Bandara and Michael Jackson and Wei Liu and Lionel Montrieux and Thein Than Tun and Yijun Yu and Bashar Nuseibeh}, title = {Requirements-Driven Mediation for Collaborative Security}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2014}, } Article: seams14main-id88-p doi:

Topology Aware Adaptive Security
Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, and Bashar Nuseibeh
(Lero, Ireland; University of Limerick, Ireland; Politecnico di Milano, Italy; Open University, UK)


@InProceedings{SEAMS14p45, author = {Liliana Pasquale and Carlo Ghezzi and Claudio Menghi and Christos Tsigkanos and Bashar Nuseibeh}, title = {Topology Aware Adaptive Security}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2014}, } Article: seams14main-id90-p doi:

Self-Adaptive Applications: On the Development of Personalized Web-Tasking Systems
Lorena Castañeda, Norha M. Villegas, and Hausi A. Müller
(University of Victoria, Canada; Icesi University, Colombia; IBM, Canada)


@InProceedings{SEAMS14p51, author = {Lorena Castañeda and Norha M. Villegas and Hausi A. Müller}, title = {Self-Adaptive Applications: On the Development of Personalized Web-Tasking Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2014}, } Article: seams14main-id27-p doi:

Modelling and Analysing Contextual Failures for Dependability Requirements
Danilo F. Mendonça, Raian Ali, and Genaína N. Rodrigues
(University of Brasília, Brazil; Bournemouth University, UK)


@InProceedings{SEAMS14p57, author = {Danilo F. Mendonça and Raian Ali and Genaína N. Rodrigues}, title = {Modelling and Analysing Contextual Failures for Dependability Requirements}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {57-56}, doi = {}, year = {2014}, } Article: seams14main-id82-p doi:

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, and Antonio Ruiz-Cortés
(University of Seville, Spain; Lero, Ireland; University of Limerick, Ireland)


@InProceedings{SEAMS14p67, author = {Jesús García-Galán and Liliana Pasquale and Pablo Trinidad and Antonio Ruiz-Cortés}, title = {User-Centric Adaptation of Multi-tenant Services: Preference-Based Analysis for Service Reconfiguration}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2014}, } Article: seams14main-id28-p doi:

Diagnosing Unobserved Components in Self-Adaptive Systems
Paulo Casanova, David Garlan, Bradley Schmerl, and Rui Abreu
(Carnegie Mellon University, USA; University of Porto, Portugal)


@InProceedings{SEAMS14p77, author = {Paulo Casanova and David Garlan and Bradley Schmerl and Rui Abreu}, title = {Diagnosing Unobserved Components in Self-Adaptive Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {77-76}, doi = {}, year = {2014}, } Article: seams14main-id66-p doi:

Cloud Computing

Symbiotic and Sensitivity-Aware Architecture for Globally-Optimal Benefit in Self-Adaptive Cloud
Tao Chen and Rami Bahsoon
(University of Birmingham, UK)


@InProceedings{SEAMS14p87, author = {Tao Chen and Rami Bahsoon}, title = {Symbiotic and Sensitivity-Aware Architecture for Globally-Optimal Benefit in Self-Adaptive Cloud}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {87-86}, doi = {}, year = {2014}, } Article: seams14main-id41-p doi:

Autonomic Resource Provisioning for Cloud-Based Software
Pooyan Jamshidi, Aakash Ahmad, and Claus Pahl
(Dublin City University, Ireland; Lero, Ireland)


@InProceedings{SEAMS14p97, author = {Pooyan Jamshidi and Aakash Ahmad and Claus Pahl}, title = {Autonomic Resource Provisioning for Cloud-Based Software}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2014}, } Article: seams14main-id14-p doi:

A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds
Stefano Sebastio, Michele Amoretti, and Alberto Lluch Lafuente
(IMT Institute for Advanced Studies, Italy; University of Parma, Italy)


@InProceedings{SEAMS14p107, author = {Stefano Sebastio and Michele Amoretti and Alberto Lluch Lafuente}, title = {A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {107-106}, doi = {}, year = {2014}, } Article: seams14main-id30-p doi:

Verification

Efficient Runtime Quantitative Verification using Caching, Lookahead, and Nearly-Optimal Reconfiguration
Simos Gerasimou, Radu Calinescu, and Alec Banks
(University of York, UK; Dstl, UK)


@InProceedings{SEAMS14p117, author = {Simos Gerasimou and Radu Calinescu and Alec Banks}, title = {Efficient Runtime Quantitative Verification using Caching, Lookahead, and Nearly-Optimal Reconfiguration}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {117-116}, doi = {}, year = {2014}, } Article: seams14main-id81-p doi:

ActivFORMS: Active Formal Models for Self-Adaptation
M. Usman Iftikhar and Danny Weyns
(Linnaeus University, Sweden)


@InProceedings{SEAMS14p127, author = {M. Usman Iftikhar and Danny Weyns}, title = {ActivFORMS: Active Formal Models for Self-Adaptation}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {127-126}, doi = {}, year = {2014}, } Article: seams14main-id80-p doi:

Run-Time Generation, Transformation, and Verification of Access Control Models for Self-Protection
Christopher Bailey, Lionel Montrieux, Rogério de Lemos, Yijun Yu, and Michel Wermelinger
(University of Kent, UK; Open University, UK; University of Coimbra, Portugal)


@InProceedings{SEAMS14p137, author = {Christopher Bailey and Lionel Montrieux and Rogério de Lemos and Yijun Yu and Michel Wermelinger}, title = {Run-Time Generation, Transformation, and Verification of Access Control Models for Self-Protection}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {137-136}, doi = {}, year = {2014}, } Article: seams14main-id84-p doi:

Decision-Making

A Prediction-Driven Adaptation Approach for Self-Adaptive Sensor Networks
Ivan Dario Paez Anaya, Viliam Simko, Johann Bourcier, Noël Plouzeau, and Jean-Marc Jézéquel
(IRISA, France; INRIA, France; University of Rennes 1, France; KIT, Germany)


@InProceedings{SEAMS14p147, author = {Ivan Dario Paez Anaya and Viliam Simko and Johann Bourcier and Noël Plouzeau and Jean-Marc Jézéquel}, title = {A Prediction-Driven Adaptation Approach for Self-Adaptive Sensor Networks}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {147-146}, doi = {}, year = {2014}, } Article: seams14main-id18-p doi:

Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation
Javier Cámara, Gabriel A. Moreno, and David Garlan
(Carnegie Mellon University, USA)


@InProceedings{SEAMS14p157, author = {Javier Cámara and Gabriel A. Moreno and David Garlan}, title = {Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2014}, } Article: seams14main-id87-p doi:

Dealing with Multiple Failures in Zanshin: A Control-Theoretic Approach
Konstantinos Angelopoulos, Vítor E. Silva Souza, and John Mylopoulos
(University of Trento, Italy; Federal University of Espírito Santo, Brazil)


@InProceedings{SEAMS14p167, author = {Konstantinos Angelopoulos and Vítor E. Silva Souza and John Mylopoulos}, title = {Dealing with Multiple Failures in Zanshin: A Control-Theoretic Approach}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {167-166}, doi = {}, year = {2014}, } Article: seams14main-id12-p doi:

proc time: 0.03