Program - SEAMS 2018

Filter

Mon 28 May

08:30 - 09:00: SEAMS 2018 - Opening at E1 room

08:30 - 09:00

Welcome to SEAMS 2018

Jesper AnderssonLinnaeus University, Danny WeynsKU Leuven

09:00 - 10:30: SEAMS 2018 - SEAMS Keynote at E1 room
Chair(s): Danny WeynsKU Leuven

09:00 - 10:30

Self adaptive software systems are essential for the Internet of ThingsKeynote

Danny HughesKU Leuven

File Attached

11:00 - 12:30: SEAMS 2018 - Qualities & Verification at E1 room
Chair(s): Radu CalinescuUniversity of York, UK

11:00 - 11:25

Compositional Verification of Self-Adaptive Cyber-Physical SystemsLong Paper

Aimee BordaTrinity College Dublin, Liliana PasqualeUniversity College Dublin & Lero, Ireland, Vasileios Koutavas, Bashar NuseibehThe Open University (UK) & Lero (Ireland)

Pre-print

11:25 - 11:40

DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non-functional Requirements Trade-offShort Paper

Ross Edwards, Nelly BencomoAston University

11:40 - 11:55

RE-STORM: Mapping the Decision-Making Problem and Non-Functional Requirements Trade-off to Partially Observable Markov Decision ProcessesShort Paper

Luis Garcia PaucarAston University, Nelly BencomoAston University

11:55 - 12:10

Towards Integrating Undependable Self-Adaptive Systems in Safety-Critical EnvironmentsShort Paper

Gereon WeissFraunhofer ESK, Philipp SchleissFraunhofer ESK, Daniel SchneiderFraunhofer IESE, Mario TrappFraunhofer IESE

12:10 - 12:25

K8-Scalar: a workbench to compare autoscalers for container-orchestrated database clustersArtifact

Wito DelnatKatholieke Universiteit Leuven, Eddy TruyenKatholieke Universiteit Leuven, Ansar RafiqueKatholieke Universiteit Leuven, Dimitri Van LanduytKatholieke Universiteit Leuven, Wouter JoosenKatholieke Universiteit Leuven

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

14:00 - 14:25

Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic SearchLong Paper

Cody KinneerCarnegie Mellon University, Zack CokerCarnegie Mellon University, Jiacheng WangDickinson College, David GarlanCarnegie Mellon University, Claire Le GouesCarnegie Mellon University

14:25 - 14:40

Uncertainty Reduction in Self-Adaptive SystemsShort Paper

Gabriel A. MorenoCarnegie Mellon University, USA, Javier CamaraCarnegie Mellon University, David GarlanCarnegie Mellon University, Mark KleinCarnegie Mellon University

14:40 - 15:05

Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper

Ilias GerostathopoulosTechnical University of Munich, Christian Prehoferfortiss, Germany, Tomas BuresCharles University, Czech Republic

Pre-print

15:05 - 15:20

Trace Checking for Dynamic Software Product LinesShort Paper

Rafael OlaecheaUniversity of Waterloo, Joanne M. AtleeUniversity of Waterloo, Canada, Axel Legay, Uli FahrenbergÉcole Polytechnique

16:00 - 17:30: SEAMS 2018 - Modeling at E1 room
Chair(s): Nelly BencomoAston University

16:00 - 16:25

Hybrid Adaptation Policies – Towards a Framework for Classification and Modelling of Different Combinations of Adaptation PoliciesLong Paper

Frank TrollmannDAI-Labor, TU Berlin, Johannes FähndrichDAI-Labor, TU Berlin, Sahin AlbayrakDAI-Labor, TU Berlin

16:25 - 16:40

A Systematic Literature Review of UML-based Domain-Specific Modeling Languages for Self-adaptive SystemsShort Paper

João Pablo S. Da SilvaUniversidade Federal do Rio Grande do Sul (UFRGS), Brazil, Miguel EcarFederal University of Pampa, Brazil, Marcelo S. PimentaUniversidade Federal do Rio Grande do Sul (UFRGS), Brazil, Gilleanes T. A. GuedesFederal University of Pampa, Brazil , Luiz Paulo FranzFederal University of Pampa, Brazil , Luciano MarchezanFederal University of Pampa, Brazil

16:40 - 16:55

Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature Interactions and their CausesShort Paper

Byron DevriesGrand Valley State University, Betty ChengMichigan State University

16:55 - 17:10

mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-OptimizationArtifact

Thomas VogelHumboldt-Universität zu Berlin

Link to publication Pre-print

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

18:00 - 22:00
Dinner

SEAMS Banquet

Tue 29 May

08:30 - 09:00: SEAMS 2018 - Opening at E1 room

08:30 - 09:00

Opening Day 2

Jesper AnderssonLinnaeus University, Danny WeynsKU Leuven

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

09:00 - 09:25

Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI Agent ActionsLong Paper

João FaccinUniversidade Federal do Rio Grande do Sul (UFRGS), Ingrid NunesUniversidade Federal do Rio Grande do Sul (UFRGS), Brazil

09:25 - 09:50

Prototyping Self-managed Interdependent Networks - Self-healing Synergies against Cascading FailuresLong Paper

Evangelos PournarasETH Zurich, Mark BallandiesETH Zurich, Dinesh AcharyaETH Zurich, Manish ThapaETH Zurich, Ben-Elias BrandtETH Zurich

Pre-print

09:50 - 10:05

A Coordination Mechanism to Replicate Large-Scale Multi-Agent SystemsShort Paper

Sylvain DuctorUECE, Zahia GuessoumLIP6, Université Pierre et Marie Curie

10:05 - 10:20

SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web ApplicationsArtifactSEAMS 2018 Best Artifact Award

Gabriel A. MorenoCarnegie Mellon University, USA, Bradley SchmerlCarnegie Mellon University, USA, David GarlanCarnegie Mellon University

Link to publication Media Attached

10:20 - 10:30

Decentralized Self-Adaptive Computing at the EdgeDoctoral Project

Mirko D'Angelo

11:00 - 12:30: SEAMS 2018 - Security at E1 room
Chair(s): Rogério de LemosUniversity of Kent, UK

11:00 - 11:25

Toward Evaluating the Impact of Self-adaptation on Security Control CertificationLong Paper

Allen MarshallUniversity of Tulsa, Sharmin JahanUniversity of Tulsa, Rose GambleUniversity of Tulsa

11:25 - 11:50

Requirements and Specifications for Adaptive Security: Concepts and AnalysisSEAMS 2018 Best Paper AwardLong Paper

Thein Tun, Mu YangThe Open University, Arosha BandaraOpen University, Yijun YuThe Open University, UK, Armstrong NhlabatsiQatar University, Niamul KhanQatar University, Khaled KhanQatar University, Bashar NuseibehThe Open University (UK) & Lero (Ireland)

Pre-print

11:50 - 12:15

Defining, Enforcing and Checking Privacy Policies In Data-Intensive ApplicationsLong Paper

Michele GuerrieroPolitecnico di Milano, Damian Andrew TamburriTU/e, Elisabetta Di NittoPolitecnico di Milano

12:15 - 12:25

INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project

Jürgen DobajGraz University of Technology

14:00 - 15:30: SEAMS 2018 - Security and Adaptivity at E1 room
Chair(s): David GarlanCarnegie Mellon University

14:00 - 14:10

Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract

Anthony PerumaRochester Institute of Technology, Daniel KrutzRochester Institute of Technology

14:10 - 14:20

The Special Case of Data Protection and Self-adaptationExtended Abstract

Zoltan MannUniversity Duisburg-Essen, Andreas MetzgerUniversity of Duisburg-Essen

14:20 - 14:30

Self-adapation Made Easy with BlockchainsExtended Abstract

Peter E. SedgewickUniversity of Kent, Rogério de LemosUniversity of Kent, UK

14:30 - 14:40

Agree to Disagree: Security Requirements Are Different, But Mechanisms For Security Adaptation Are NotExtended Abstract

Thein Tun, Amel BennaceurThe Open University

14:40 - 15:30

Panel Discussion on Security and AdaptivityPanel

16:00 - 17:10: SEAMS 2018 - Learning at E1 room
Chair(s): Mauro CaporuscioLinnaeus University

16:00 - 16:25

Learning Non-Deterministic Impact Models for AdaptationLong Paper

Francisco DuarteUniversidade de Lisboa, Richard GilUniversidade de Lisboa, Paolo RomanoUniversity of Lisbon, Portugal, Antónia LopesUniversity of Lisbon, Luis RodriguesINESC-ID, IST, ULisboa

16:25 - 16:50

A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive SystemsLong Paper

Arthur RodriguesUniversity of Brası́lia, Ricardo CaldasUniversity of Brası́lia, Genaina RodriguesUniversity of Brasilia, Thomas VogelHumboldt-Universität zu Berlin, Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology

Pre-print

16:50 - 17:05

Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement LearningShort Paper

Mahshid Helali MoghadamRISE SICS AB/Mälardalen University, Mehrdad SaadatmandRISE SICS, Markus BorgRISE SICS AB, Markus BohlinRISE SICS, Bjorn LisperMalardalen University

17:10 - 17:30: SEAMS 2018 - Closing at E1 room

17:10 - 17:20

Closing SEAMS 2018

Jesper AnderssonLinnaeus University, Danny WeynsKU Leuven

17:20 - 17:30

Outlook on SEAMS 2019

Mon 28 May 2018


Room	8:00	30	9:00	30	10:00	30	11:00	30	12:00	30	13:00		30	14:00	30	15:00	30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30	22:00	30
E1 room		SEAMS Opening 08:30 - 09:00	SEAMS SEAMS Keynote 09:00 - 10:30				SEAMS Qualities & Verification 11:00 - 12:30							SEAMS Uncertainty 14:00 - 15:30				SEAMS Modeling 16:00 - 17:30
Ristoria Restaurant												SEAMS SEAMS Banquet 18:00 - 22:00

Tue 29 May 2018


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
E1 room							SEAMS Opening 08:30 - 09:00						SEAMS Agents & Distribution 09:00 - 10:30																								SEAMS Security 11:00 - 12:30																																				SEAMS Security and Adaptivity 14:00 - 15:30																								SEAMS Learning 16:00 - 17:10														SEAMS Closing 17:10 - 17:30

Mon 28 May 2018


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45	11:00	15		30		45		12:00		15	30	45	13:00	15		30	45	14:00	15		30		45	15:00		15	30	45	16:00	15		30		45		17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45	22:00	15	30	45
E1 room			SEAMS Welcome to SEAMS 2018 08:30 - 09:00		SEAMSKeynote Self adaptive software systems are essential for the Internet of Things 09:00 - 10:30								SEAMSLong Paper Compositional Verification of Self-Adaptive Cyber-Physical Systems 11:00 - 11:25		SEAMSShort Paper DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non ... 11:25 - 11:40		SEAMSShort Paper RE-STORM: Mapping the Decision-Making Problem and Non-Functional Requir ... 11:40 - 11:55		SEAMSShort Paper Towards Integrating Undependable Self-Adaptive Systems in Safety-Critic ... 11:55 - 12:10		SEAMSArtifact K8-Scalar: a workbench to compare autoscalers for container-orchestrate ... 12:10 - 12:25									SEAMSLong Paper Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stoch ... 14:00 - 14:25		SEAMSShort Paper Uncertainty Reduction in Self-Adaptive Systems 14:25 - 14:40		SEAMSLong Paper Adapting a System with Noisy Outputs with Statistical Guarantees 14:40 - 15:05			SEAMSShort Paper Trace Checking for Dynamic Software Product Lines 15:05 - 15:20				SEAMSLong Paper Hybrid Adaptation Policies – Towards a Framework for Classification and ... 16:00 - 16:25		SEAMSShort Paper A Systematic Literature Review of UML-based Domain-Specific Modeling La ... 16:25 - 16:40		SEAMSShort Paper Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature In ... 16:40 - 16:55		SEAMSArtifact mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self ... 16:55 - 17:10
Ristoria Restaurant																											SEAMS SEAMS Banquet 18:00 - 22:00

Tue 29 May 2018


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
E1 room							SEAMS Opening Day 2 08:30 - 09:00						SEAMSLong Paper Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI ... 09:00 - 09:25					SEAMSLong Paper Prototyping Self-managed Interdependent Networks - Self-healing Synergi ... 09:25 - 09:50					SEAMSShort Paper A Coordination Mechanism to Replicate Large-Scale Multi-Agent Systems 09:50 - 10:05			SEAMSArtifactSEAMS 2018 Best Artifact Award SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Appr ... 10:05 - 10:20			SEAMSDoctoral Project Decentralized Self-Adaptive Computing at the Edge 10:20 - 10:30								SEAMSLong Paper Toward Evaluating the Impact of Self-adaptation on Security Control Cer ... 11:00 - 11:25					SEAMSSEAMS 2018 Best Paper AwardLong Paper Requirements and Specifications for Adaptive Security: Concepts and Ana ... 11:25 - 11:50					SEAMSLong Paper Defining, Enforcing and Checking Privacy Policies In Data-Intensive App ... 11:50 - 12:15					SEAMSDoctoral Project INSpIRA: INtegrating Security Into Risk Assessment 12:15 - 12:25																					SEAMSExtended Abstract Security: A Critical Quality Attribute in Self-Adaptive Systems 14:00 - 14:10		SEAMSExtended Abstract The Special Case of Data Protection and Self-adaptation 14:10 - 14:20		SEAMSExtended Abstract Self-adapation Made Easy with Blockchains 14:20 - 14:30		SEAMSExtended Abstract Agree to Disagree: Security Requirements Are Different, But Mechanisms ... 14:30 - 14:40		SEAMSPanel Panel Discussion on Security and Adaptivity 14:40 - 15:30																SEAMSLong Paper Learning Non-Deterministic Impact Models for Adaptation 16:00 - 16:25					SEAMSLong Paper A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive S ... 16:25 - 16:50					SEAMSShort Paper Adaptive Runtime Response Time Control in PLC-based Real-Time Systems u ... 16:50 - 17:05				SEAMS Closing SEAMS 2018 17:10 - 17:20		SEAMS Outlook on SEAMS 2019 17:20 - 17:30

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

SEAMS 2018 Program

Mon 28 May

Tue 29 May

Mon 28 May 2018

SEAMS

SEAMS

SEAMS

SEAMS

SEAMS

SEAMS

Tue 29 May 2018

SEAMS

SEAMS

SEAMS

SEAMS

SEAMS

SEAMS

Mon 28 May 2018

Tue 29 May 2018

Tracks