Program - SEAMS 2018

Detailed Table Session Timeline Detailed Timeline

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

08:30 - 09:00	OpeningSEAMS 2018 at E1 room

08:30 30m		Welcome to SEAMS 2018 SEAMS 2018 G: Jesper Andersson Linnaeus University, P: Danny Weyns KU Leuven

09:00 - 10:30	SEAMS KeynoteSEAMS 2018 at E1 room Chair(s): Danny Weyns KU Leuven

09:00 90m		Self adaptive software systems are essential for the Internet of ThingsKeynote SEAMS 2018 Danny Hughes KU Leuven File Attached

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

14:00 - 15:30	UncertaintySEAMS 2018 at E1 room Chair(s): Hausi Müller University of Victoria, Computer Science, Faculty of Engineering, Canada

14:00 25m		Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic SearchLong Paper SEAMS 2018 Cody Kinneer Carnegie Mellon University, Zack Coker Carnegie Mellon University, Jiacheng Wang Dickinson College, David Garlan Carnegie Mellon University, Claire Le Goues Carnegie Mellon University
14:25 15m		Uncertainty Reduction in Self-Adaptive SystemsShort Paper SEAMS 2018 Gabriel A. Moreno Carnegie Mellon University, USA, Javier Camara Carnegie Mellon University, David Garlan Carnegie Mellon University, Mark Klein Carnegie Mellon University
14:40 25m		Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper SEAMS 2018 Ilias Gerostathopoulos Technical University of Munich, Christian Prehofer fortiss, Germany, Tomas Bures Charles University, Czech Republic Pre-print
15:05 15m		Trace Checking for Dynamic Software Product LinesShort Paper SEAMS 2018 Rafael Olaechea University of Waterloo, Joanne M. Atlee University of Waterloo, Canada, Axel Legay , Uli Fahrenberg École Polytechnique

16:00 - 17:30	ModelingSEAMS 2018 at E1 room Chair(s): Nelly Bencomo Aston University

16:00 25m		Hybrid Adaptation Policies – Towards a Framework for Classification and Modelling of Different Combinations of Adaptation PoliciesLong Paper SEAMS 2018 Frank Trollmann DAI-Labor, TU Berlin, Johannes Fähndrich DAI-Labor, TU Berlin, Sahin Albayrak DAI-Labor, TU Berlin
16:25 15m		A Systematic Literature Review of UML-based Domain-Specific Modeling Languages for Self-adaptive SystemsShort Paper SEAMS 2018 João Pablo S. Da Silva Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, Miguel Ecar Federal University of Pampa, Brazil, Marcelo S. Pimenta Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, Gilleanes T. A. Guedes Federal University of Pampa, Brazil , Luiz Paulo Franz Federal University of Pampa, Brazil , Luciano Marchezan Federal University of Pampa, Brazil
16:40 15m		Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature Interactions and their CausesShort Paper SEAMS 2018 Byron Devries Grand Valley State University, Betty H.C. Cheng Michigan State University
16:55 15m		mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-OptimizationArtifact SEAMS 2018 Thomas Vogel Humboldt-Universität zu Berlin Link to publication Pre-print

18:00 - 22:00	SEAMS BanquetSEAMS 2018 at Ristoria Restaurant

18:00 4h Dinner		SEAMS Banquet SEAMS 2018

Tue 29 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 09:00	OpeningSEAMS 2018 at E1 room

08:30 30m		Opening Day 2 SEAMS 2018 G: Jesper Andersson Linnaeus University, P: Danny Weyns KU Leuven

09:00 - 10:30	Agents & DistributionSEAMS 2018 at E1 room Chair(s): Patrizio Pelliccione University of Gothenburg & Chalmers University of Technology

09:00 25m		Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI Agent ActionsLong Paper SEAMS 2018 João Faccin Universidade Federal do Rio Grande do Sul (UFRGS), Ingrid Nunes Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
09:25 25m		Prototyping Self-managed Interdependent Networks - Self-healing Synergies against Cascading FailuresLong Paper SEAMS 2018 Evangelos Pournaras ETH Zurich, Mark Ballandies ETH Zurich, Dinesh Acharya ETH Zurich, Manish Thapa ETH Zurich, Ben-Elias Brandt ETH Zurich Pre-print
09:50 15m		A Coordination Mechanism to Replicate Large-Scale Multi-Agent SystemsShort Paper SEAMS 2018 Sylvain Ductor UECE, Zahia Guessoum LIP6, Université Pierre et Marie Curie
10:05 15m		SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web ApplicationsArtifactSEAMS 2018 Best Artifact Award SEAMS 2018 Gabriel A. Moreno Carnegie Mellon University, USA, Bradley Schmerl Carnegie Mellon University, USA, David Garlan Carnegie Mellon University Link to publication Media Attached
10:20 10m		Decentralized Self-Adaptive Computing at the EdgeDoctoral Project SEAMS 2018 Mirko D'Angelo

11:00 - 12:30	SecuritySEAMS 2018 at E1 room Chair(s): Rogério de Lemos University of Kent, UK

11:00 25m		Toward Evaluating the Impact of Self-adaptation on Security Control CertificationLong Paper SEAMS 2018 Allen Marshall University of Tulsa, Sharmin Jahan University of Tulsa, Rose Gamble University of Tulsa
11:25 25m		Requirements and Specifications for Adaptive Security: Concepts and AnalysisSEAMS 2018 Best Paper AwardLong Paper SEAMS 2018 Thein Tun , Mu Yang The Open University, Arosha K Bandara Open University, Yijun Yu The Open University, Armstrong Nhlabatsi Qatar University, Niamul Khan Qatar University, Khaled Khan Qatar University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland) Pre-print
11:50 25m		Defining, Enforcing and Checking Privacy Policies In Data-Intensive ApplicationsLong Paper SEAMS 2018 Michele Guerriero Politecnico di Milano, Damian Andrew Tamburri TU/e, Elisabetta Di Nitto Politecnico di Milano
12:15 10m		INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project SEAMS 2018 Jürgen Dobaj Graz University of Technology

14:00 - 15:30	Security and AdaptivitySEAMS 2018 at E1 room Chair(s): David Garlan Carnegie Mellon University

14:00 10m		Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract SEAMS 2018 Anthony Peruma Rochester Institute of Technology, Daniel Krutz Rochester Institute of Technology
14:10 10m		The Special Case of Data Protection and Self-adaptationExtended Abstract SEAMS 2018 Zoltan Mann University Duisburg-Essen, Andreas Metzger University of Duisburg-Essen
14:20 10m		Self-adapation Made Easy with BlockchainsExtended Abstract SEAMS 2018 Peter E. Sedgewick University of Kent, Rogério de Lemos University of Kent, UK
14:30 10m		Agree to Disagree: Security Requirements Are Different, But Mechanisms For Security Adaptation Are NotExtended Abstract SEAMS 2018 Thein Tun , Amel Bennaceur The Open University
14:40 50m		Panel Discussion on Security and AdaptivityPanel SEAMS 2018

16:00 - 17:10	LearningSEAMS 2018 at E1 room Chair(s): Mauro Caporuscio Linnaeus University

16:00 25m		Learning Non-Deterministic Impact Models for AdaptationLong Paper SEAMS 2018 Francisco Duarte Universidade de Lisboa, Richard Gil Universidade de Lisboa, Paolo Romano University of Lisbon, Portugal, Antónia Lopes University of Lisbon, Luis Rodrigues INESC-ID, IST, ULisboa
16:25 25m		A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive SystemsLong Paper SEAMS 2018 Arthur Rodrigues University of Brası́lia, Ricardo Caldas University of Brası́lia, Genaina Rodrigues University of Brasilia, Thomas Vogel Humboldt-Universität zu Berlin, Patrizio Pelliccione University of Gothenburg & Chalmers University of Technology Pre-print
16:50 15m		Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement LearningShort Paper SEAMS 2018 Mahshid Helali Moghadam RISE SICS AB/Mälardalen University, Mehrdad Saadatmand RISE SICS, Markus Borg RISE SICS AB, Markus Bohlin RISE SICS, Bjorn Lisper Malardalen University

17:10 - 17:30	ClosingSEAMS 2018 at E1 room

17:10 10m		Closing SEAMS 2018 SEAMS 2018 G: Jesper Andersson Linnaeus University, P: Danny Weyns KU Leuven
17:20 10m		Outlook on SEAMS 2019 SEAMS 2018

SEAMS 2018 Program

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

Tue 29 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

SEAMS 2018 Program

Switch Program View

Program Display Configuration

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

Tue 29 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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

Tue 29 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change