Powered by
2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), June 4–5, 2012,
Zürich, Switzerland
Preface
Service-Based Systems
Mon, Jun 4, 10:30 - 11:50
Proactive Adaptation of Service Composition
Rafael R. Aschoff and
Andrea Zisman
(City University London, UK)
@InProceedings{SEAMS12p1,
author = {Rafael R. Aschoff and Andrea Zisman},
title = {Proactive Adaptation of Service Composition},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {1-0},
doi = {},
year = {2012},
}
Dynamic Self-Adaptation for Distributed Service-Oriented Transactions
Hassan Gomaa and
Koji Hashimoto
(George Mason University, USA)
@InProceedings{SEAMS12p11,
author = {Hassan Gomaa and Koji Hashimoto},
title = {Dynamic Self-Adaptation for Distributed Service-Oriented Transactions},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {11-10},
doi = {},
year = {2012},
}
Exemplars
Mon, Jun 4, 11:50 - 12:45 (Chair: Luciano Baresi)
Traffic Routing for Evaluating Self-Adaptation
Jochen Wuttke,
Yuriy Brun,
Alessandra Gorla, and
Jonathan Ramaswamy
(University of Washington, USA; University of Lugano, Switzerland)
@InProceedings{SEAMS12p31,
author = {Jochen Wuttke and Yuriy Brun and Alessandra Gorla and Jonathan Ramaswamy},
title = {Traffic Routing for Evaluating Self-Adaptation},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {31-30},
doi = {},
year = {2012},
}
Control Theory and Resilience
Mon, Jun 4, 14:00 - 15:30 (Chair: Marin Litoiu)
A Systematic Survey on the Design of Self-Adaptive Software Systems Using Control Engineering Approaches
Tharindu Patikirikorala,
Alan Colman,
Jun Han, and
Liuping Wang
(Swinburne University of Technology, Australia; Royal Melbourne Institute of Technology, Australia)
@InProceedings{SEAMS12p41,
author = {Tharindu Patikirikorala and Alan Colman and Jun Han and Liuping Wang},
title = {A Systematic Survey on the Design of Self-Adaptive Software Systems Using Control Engineering Approaches},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {41-40},
doi = {},
year = {2012},
}
Reliability-Driven Dynamic Binding via Feedback Control
Antonio Filieri,
Carlo Ghezzi,
Alberto Leva, and
Martina Maggio
(Politecnico di Milano, Italy; Lund University, Sweden)
@InProceedings{SEAMS12p51,
author = {Antonio Filieri and Carlo Ghezzi and Alberto Leva and Martina Maggio},
title = {Reliability-Driven Dynamic Binding via Feedback Control},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {51-50},
doi = {},
year = {2012},
}
Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking
Javier Cámara and
Rogério de Lemos
(University of Coimbra, Portugal; University of Kent, UK)
@InProceedings{SEAMS12p61,
author = {Javier Cámara and Rogério de Lemos},
title = {Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {61-60},
doi = {},
year = {2012},
}
Distributed Systems
Mon, Jun 4, 16:00 - 17:30 (Chair: Carlo Ghezzi)
Coordination of Distributed Systems through Self-Organizing Group Topologies
Sam Guinea and
Panteha Saeedi
(Politecnico di Milano, Italy)
@InProceedings{SEAMS12p71,
author = {Sam Guinea and Panteha Saeedi},
title = {Coordination of Distributed Systems through Self-Organizing Group Topologies},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {71-70},
doi = {},
year = {2012},
}
Timing Constraints for Runtime Adaptation in Real-Time, Networked Embedded Systems
Marc Zeller and
Christian Prehofer
(Fraunhofer ESK, Germany)
@InProceedings{SEAMS12p81,
author = {Marc Zeller and Christian Prehofer},
title = {Timing Constraints for Runtime Adaptation in Real-Time, Networked Embedded Systems},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {81-80},
doi = {},
year = {2012},
}
A Middleware and Algorithms for Trust Calculation from Multiple Evidence Sources
Chern Har Yew and
Hanan Lutfiyya
(University of Western Ontario, Canada)
@InProceedings{SEAMS12p91,
author = {Chern Har Yew and Hanan Lutfiyya},
title = {A Middleware and Algorithms for Trust Calculation from Multiple Evidence Sources},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {91-90},
doi = {},
year = {2012},
}
Surveys and Taxonomies
Tue, Jun 5, 10:30 - 12:00 (Chair: Gregor Engels)
Claims and Supporting Evidence for Self-Adaptive Systems: A Literature Study
Danny Weyns,
M. Usman Iftikhar,
Sam Malek, and
Jesper Andersson
(Linnaeus University, Sweden; George Mason University, USA)
@InProceedings{SEAMS12p101,
author = {Danny Weyns and M. Usman Iftikhar and Sam Malek and Jesper Andersson},
title = {Claims and Supporting Evidence for Self-Adaptive Systems: A Literature Study},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {101-100},
doi = {},
year = {2012},
}
A Taxonomy of Uncertainty for Dynamically Adaptive Systems
Andres J. Ramirez,
Adam C. Jensen, and
Betty H. C. Cheng
(Michigan State University, USA)
@InProceedings{SEAMS12p111,
author = {Andres J. Ramirez and Adam C. Jensen and Betty H. C. Cheng},
title = {A Taxonomy of Uncertainty for Dynamically Adaptive Systems},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {111-110},
doi = {},
year = {2012},
}
A Taxonomy and Survey of Self-Protecting Software Systems
Eric Yuan and
Sam Malek
(George Mason University, USA)
@InProceedings{SEAMS12p121,
author = {Eric Yuan and Sam Malek},
title = {A Taxonomy and Survey of Self-Protecting Software Systems},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {121-120},
doi = {},
year = {2012},
}
Models and Mediators
Tue, Jun 5, 14:00 - 15:30 (Chair: Jeff Magee)
Model-Based Adaptive DoS Attack Mitigation
Cornel Barna,
Mark Shtern,
Michael Smit,
Vassilios Tzerpos, and
Marin Litoiu
(York University, Canada)
@InProceedings{SEAMS12p131,
author = {Cornel Barna and Mark Shtern and Michael Smit and Vassilios Tzerpos and Marin Litoiu},
title = {Model-Based Adaptive DoS Attack Mitigation},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {131-130},
doi = {},
year = {2012},
}
Requirements and Specifications
Tue, Jun 5, 16:00 - 17:20 (Chair: Betty Cheng)
Synthesizing Dynamically Updating Controllers from Changes in Scenario-Based Specifications
Carlo Ghezzi,
Joel Greenyer, and
Valerio Panzica La Manna
(Politecnico di Milano, Italy)
@InProceedings{SEAMS12p161,
author = {Carlo Ghezzi and Joel Greenyer and Valerio Panzica La Manna},
title = {Synthesizing Dynamically Updating Controllers from Changes in Scenario-Based Specifications},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {161-160},
doi = {},
year = {2012},
}
(Requirement) Evolution Requirements for Adaptive Systems
Vítor E. Silva Souza,
Alexei Lapouchnian, and
John Mylopoulos
(University of Trento, Italy)
@InProceedings{SEAMS12p171,
author = {Vítor E. Silva Souza and Alexei Lapouchnian and John Mylopoulos},
title = {(Requirement) Evolution Requirements for Adaptive Systems},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {171-170},
doi = {},
year = {2012},
}
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, Ireland; Bournemouth University, UK; Open University, UK)
@InProceedings{SEAMS12p181,
author = {Liliana Pasquale and Mazeiar Salehie and Raian Ali and Inah Omoronyia and Bashar Nuseibeh},
title = {On the Role of Primary and Secondary Assets in Adaptive Security: An Application in Smart Grids},
booktitle = {Proc.\ SEAMS},
publisher = {IEEE},
pages = {181-180},
doi = {},
year = {2012},
}
proc time: 0.02