RE-STORM: Mapping the Decision-Making Problem and Non-Functional Requirements Trade-off to Partially Observable Markov Decision Processes (SEAMS 2018 - 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems) - SEAMS 2018

Write a Blog >>

Mon 28 - Tue 29 May 2018 Gothenburg, Sweden

co-located with * ICSE 2018 *

Who

Luis Hernan Garcia Paucar, Nelly Bencomo

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 28 May 2018 11:40 - 11:55 at E1 room - Qualities & Verification Chair(s): Radu Calinescu

Luis Hernan Garcia Paucar

Aston University

United Kingdom

Nelly Bencomo

Aston University

United Kingdom

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Mon 28 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	11:00 - 12:30	Qualities & VerificationSEAMS 2018 at E1 room Chair(s): Radu Calinescu University of York, UK

	11:00 25m		Compositional Verification of Self-Adaptive Cyber-Physical SystemsLong Paper SEAMS 2018 Aimee Borda Trinity College Dublin, Liliana Pasquale University College Dublin & Lero, Ireland, Vasileios Koutavas , Bashar Nuseibeh The Open University (UK) & Lero (Ireland) Pre-print
	11:25 15m		DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non-functional Requirements Trade-offShort Paper SEAMS 2018 Ross Edwards , Nelly Bencomo Aston University
	11:40 15m		RE-STORM: Mapping the Decision-Making Problem and Non-Functional Requirements Trade-off to Partially Observable Markov Decision ProcessesShort Paper SEAMS 2018 Luis Hernan Garcia Paucar Aston University, Nelly Bencomo Aston University
	11:55 15m		Towards Integrating Undependable Self-Adaptive Systems in Safety-Critical EnvironmentsShort Paper SEAMS 2018 Gereon Weiss Fraunhofer ESK, Philipp Schleiss Fraunhofer ESK, Daniel Schneider Fraunhofer IESE, Mario Trapp Fraunhofer IESE
	12:10 15m		K8-Scalar: a workbench to compare autoscalers for container-orchestrated database clustersArtifact SEAMS 2018 Wito Delnat Katholieke Universiteit Leuven, Eddy Truyen Katholieke Universiteit Leuven, Ansar Rafique Katholieke Universiteit Leuven, Dimitri Van Landuyt Katholieke Universiteit Leuven, Wouter Joosen Katholieke Universiteit Leuven