Program - SEAMS 2018

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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

	08:30 - 09:00		Welcome to SEAMS 2018 SEAMS 2018 G: Jesper AnderssonLinnaeus University, P: Danny WeynsKU Leuven

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

	09:00 - 10:30		Self adaptive software systems are essential for the Internet of ThingsKeynote SEAMS 2018 Danny HughesKU Leuven File Attached

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

	11:00 - 11:25		Compositional Verification of Self-Adaptive Cyber-Physical SystemsLong Paper SEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 Luis Garcia PaucarAston University, Nelly BencomoAston University
	11:55 - 12:10		Towards Integrating Undependable Self-Adaptive Systems in Safety-Critical EnvironmentsShort Paper SEAMS 2018 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 SEAMS 2018 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: UncertaintySEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 Rafael OlaecheaUniversity of Waterloo, Joanne M. AtleeUniversity of Waterloo, Canada, Axel Legay, Uli FahrenbergÉcole Polytechnique

	16:00 - 17:30: ModelingSEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 Byron DevriesGrand Valley State University, Betty H.C. ChengMichigan State University
	16:55 - 17:10		mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-OptimizationArtifact SEAMS 2018 Thomas VogelHumboldt-Universität zu Berlin Link to publication Pre-print

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

	18:00 - 22:00 Dinner		SEAMS Banquet SEAMS 2018

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

	08:30 - 09:00		Opening Day 2 SEAMS 2018 G: Jesper AnderssonLinnaeus University, P: Danny WeynsKU Leuven

	09:00 - 10:30: Agents & DistributionSEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 Mirko D'Angelo

	11:00 - 12:30: SecuritySEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 Thein Tun, Mu YangThe Open University, Arosha K BandaraOpen University, Yijun YuThe Open University, 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 SEAMS 2018 Michele GuerrieroPolitecnico di Milano, Damian Andrew TamburriTU/e, Elisabetta Di NittoPolitecnico di Milano
	12:15 - 12:25		INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project SEAMS 2018 Jürgen DobajGraz University of Technology

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

	14:00 - 14:10		Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract SEAMS 2018 Anthony PerumaRochester Institute of Technology, Daniel KrutzRochester Institute of Technology
	14:10 - 14:20		The Special Case of Data Protection and Self-adaptationExtended Abstract SEAMS 2018 Zoltan MannUniversity Duisburg-Essen, Andreas MetzgerUniversity of Duisburg-Essen
	14:20 - 14:30		Self-adapation Made Easy with BlockchainsExtended Abstract SEAMS 2018 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 SEAMS 2018 Thein Tun, Amel BennaceurThe Open University
	14:40 - 15:30		Panel Discussion on Security and AdaptivityPanel SEAMS 2018

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

	16:00 - 16:25		Learning Non-Deterministic Impact Models for AdaptationLong Paper SEAMS 2018 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 SEAMS 2018 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 SEAMS 2018 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: ClosingSEAMS 2018 at E1 room

	17:10 - 17:20		Closing SEAMS 2018 SEAMS 2018 G: Jesper AnderssonLinnaeus University, P: Danny WeynsKU Leuven
	17:20 - 17:30		Outlook on SEAMS 2019 SEAMS 2018

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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
E1 room		SEAMS 2018 Opening	SEAMS 2018 SEAMS Keynote				SEAMS 2018 Qualities & Verification							SEAMS 2018 Uncertainty				SEAMS 2018 Modeling
Ristoria Restaurant												SEAMS 2018 SEAMS Banquet

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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 2018 Opening						SEAMS 2018 Agents & Distribution																								SEAMS 2018 Security																																				SEAMS 2018 Security and Adaptivity																								SEAMS 2018 Learning														SEAMS 2018 Closing

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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

Filter Program

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

SEAMS 2018 Program

Filter Program

Program Display Configuration

Mon 28 May Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 29 May Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 28 May Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

Tue 29 May Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

SEAMS 2018

Mon 28 May Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 29 May Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change