SEAMS

Venue

Room nameSEAMS

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect 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 29 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

14:00 - 15:45	Opening & Keynote 1SEAMS at SEAMS Chair(s): Radu Calinescu University of York, UK

14:00 30m Day opening		SEAMS Opening SEAMS Shinichi Honiden Waseda University / National Institute of Informatics, Japan, Radu Calinescu University of York, UK, Elisabetta Di Nitto Politecnico di Milano
14:30 75m Keynote		On the Probabilistic Analysis of Neural NetworksKeynote SEAMS Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center Media Attached

15:45 - 16:00	Virtual Coffee Break 1SEAMS at SEAMS

15:45 15m Break		Virtual Coffee Break 1 SEAMS

16:00 - 17:30	Session 1: AI, Machine Learning and StatisticsSEAMS at SEAMS Chair(s): Pooyan Jamshidi University of South Carolina

16:00 5m Talk		A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive SystemsTechnical SEAMS Ricardo Caldas Chalmers, Arthur Rodrigues University of Brası́lia, Eric Bernd Gil University of Brasilia, Genaína Nunes Rodrigues University of Brasília, Thomas Vogel Humboldt-Universität zu Berlin, Patrizio Pelliccione University of L'Aquila and Chalmers \| University of Gothenburg DOI Pre-print Media Attached
16:05 5m Talk		Applying Deep Learning to Reduce Large Adaptation Spaces of Self-Adaptive Systems with Multiple Types of GoalsTechnical SEAMS Jeroen Van Der Donckt KU Leuven, Danny Weyns KU Leuven, Federico Quin Katholieke Universiteit Leuven, Jonas Van Der Donckt Ghent University, Sam Michiels Katholieke Universiteit Leuven Pre-print Media Attached
16:10 5m Talk		Towards Classes of Architectural Dependability Assurance of Machine Learning Based SystemsNIER SEAMS Max Scheerer FZI Research Center for Information Technology, Germany, Jonas Klamroth FZI Research Center for Information Technology, Germany, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI), Bernhard Beckert Karlsruhe Institute of Technology Media Attached
16:15 5m Talk		A Framework for the Analysis of Adaptive Systems Using Bayesian StatisticsNIER SEAMS Yuning He NASA Ames, Johann Schumann NASA Ames Media Attached
16:20 60m Other		Q&A and Discussion (Session 1) SEAMS

Tue 30 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

06:00 - 07:30	Session 2: Testing, Analysis, Reasoning, and MonitoringSEAMS at SEAMS Chair(s): Sona Ghahremani Hasso Plattner Institute, University of Potsdam

06:00 5m Talk		Leveraging Test Logs for Building a Self-Adaptive Path PlannerNIER SEAMS Kun Liu Peking University, China, Xiao-Yi Zhang National Institute of Informatics, Japan, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Wenpin Jiao Peking University, China Pre-print Media Attached
06:05 5m Talk		Supporting Viewpoints to Review the Lack of Requirements in Space Systems with Machine LearningExperience SEAMS Kenji Mori Japan Aerospace Exploration Agency, Japan, Naoko Okubo Japan Aerospace Exploration Agency, Japan, Yasushi Ueda Japan Aerospace Exploration Agency, Japan, Masafumi Katahira Japan Aerospace Exploration Agency, Toshiyuki Amagasa University of Tsukuba, Japan Media Attached
06:10 5m Talk		DATESSO: Self-Adapting Service Composition with Debt-Aware Two Levels Constraint ReasoningTechnicalBest Student Paper SEAMS Satish Kumar University of Birmingham, United Kingdom, Tao Chen Loughborough University, Rami Bahsoon University of Birmingham, Rajkumar Buyya University of Melbourne, Australia DOI Pre-print Media Attached
06:15 5m Talk		Towards Bridging the Gap between Control and Self-Adaptive System PropertiesNIER SEAMS Javier Camara University of York, Alessandro Vittorio Papadopoulos Mälardalen University, Thomas Vogel Humboldt-Universität zu Berlin, Danny Weyns KU Leuven, David Garlan Carnegie Mellon University, Shihong Huang Florida Atlantic University, Kenji Tei Waseda University / National Institute of Informatics, Japan DOI Pre-print Media Attached
06:20 5m Talk		Explanation for Human-on-the-loop: a probabilistic model checking approachNIER SEAMS NIANYU LI Peking University, China, Sridhar Adepu Singapore University of Technology and Design, Singapore, Eunsuk Kang Carnegie Mellon University, David Garlan Carnegie Mellon University Pre-print Media Attached
06:25 65m Other		Q&A and Discussion (Session 2) SEAMS

14:00 - 15:30	Session 3: Composition, Control and TrustworthinessSEAMS at SEAMS Chair(s): Danny Weyns KU Leuven

14:00 5m Talk		An Ontological Architecture for Principled and Automated System of Systems CompositionTechnical SEAMS Abdessalam Elhabbash Lancaster University, Vatsala Nundloll Lancaster University, Yehia Elkhatib Lancaster University, Gordon Blair Lancaster University, Vicent Sanz Marco Lancaster University DOI Pre-print Media Attached
14:05 5m Talk		A Platform to Enable Self-Adaptive Cloud Applications Using Trustworthiness PropertiesDemo SEAMS José D'Abruzzo Pereira University of Coimbra, Rui Silva University of Coimbra, Nuno Antunes Universidade de Coimbra, Jorge Luiz Machado da Silva Unicamp, Breno de França UNICAMP, Regina Moraes UNICAMP, Marco Vieira University of Coimbra DOI Pre-print Media Attached
14:10 5m Talk		Learning Run-time Compositions of Interacting AdaptationsNIER SEAMS Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland DOI Pre-print Media Attached
14:15 5m Talk		Monitoring for Control in Role-oriented Self-Adaptive SystemsDoctoral SEAMS Ilja Shmelkin Technische Universität Dresden, Germany DOI Pre-print Media Attached
14:20 5m Talk		A Role-Based Architecture for Self-Adaptive Cyber-Physical SystemsDoctoral SEAMS Tim Kluge TU Dresden, Germany DOI Pre-print Media Attached
14:25 65m Other		Q&A and Discussion (Session 3) SEAMS

Wed 1 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

14:00 - 15:15	Keynote 2SEAMS at SEAMS Chair(s): Elisabetta Di Nitto Politecnico di Milano

14:00 75m Keynote		Evolving Robot Software and HardwareKeynote SEAMS A.E. Eiben Vrije Universiteit Amsterdam, Netherlands Media Attached

15:15 - 15:30	Virtual Coffee Break 2SEAMS at SEAMS

15:15 15m Break		Virtual Coffee Break 2 SEAMS

15:30 - 16:50	Session 4: ApplicationsSEAMS at SEAMS Chair(s): Genaina Rodrigues University of Brasilia

15:30 5m Talk		Software Architecture and Task Plan Co-Adaptation for Mobile Service RobotsTechnical SEAMS Javier Camara University of York, Bradley Schmerl Carnegie Mellon University, USA, David Garlan Carnegie Mellon University Pre-print Media Attached
15:35 5m Talk		Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based ApproachTechnicalBest Paper SEAMS Seung Yeob Shin SnT Centre/University of Luxembourg, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Lionel Briand SnT Centre/University of Luxembourg, Chetan Arora School of Information Technology, Deakin University, Frank Zimmer SES Techcom DOI Pre-print Media Attached
15:40 5m Talk		Knowledge Aggregation with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical SystemsNIER SEAMS Ana Petrovska Technical University of Munich, Germany, Sergio Quijano Technical University of Munich, Germany, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Alexander Pretschner Pre-print Media Attached
15:45 5m Talk		Using Component Ensembles for Modeling Autonomic Component Collaboration in Smart FarmingDemo SEAMS Petr Hnětynka Charles University, Tomas Bures Charles University, Czech Republic, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Jan Pacovský Charles University, Czechia Pre-print Media Attached
15:50 60m Other		Q&A and Discussion (Session 4) SEAMS

Thu 2 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

07:00 - 08:20	Session 5: Design, Verification & ExplainabilitySEAMS at SEAMS Chair(s): Javier Camara University of York

07:00 5m Talk		Collective Risk Minimization via a Bayesian Model for Statistical Software TestingTechnical SEAMS Joachim Haensel Hasso Plattner Institute, University of Potsdam, Germany, Christian Medeiros Adriano Hasso-Plattner-Institute, Potsdam, Johannes Dyck Hasso Plattner Institute for Software Systems Engineering, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam Pre-print Media Attached
07:05 5m Talk		Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and ConditionsNIER SEAMS Assaf Marron Weizmann Institute of Science, Israel, Lior Limonad IBM Corporation, Israel, Sarah Pollack Weizmann Institute of Science, Israel, David Harel Weizmann Institute of Science, Israel Media Attached
07:10 5m Talk		Self-Protection Against Business Logic VulnerabilitiesNIER SEAMS Silvan Zeller Omegapoint AB, Sweden, Narges Khakpour Linnaeus University, Danny Weyns KU Leuven, Daniel Deogun Omegapoint AB, Sweden Media Attached File Attached
07:15 5m Talk		Towards Highly Scalable Runtime Models with HistoryNIER SEAMS Lucas Sakizloglou Hasso Plattner Institute, University of Potsdam, Sona Ghahremani Hasso Plattner Institute, University of Potsdam, Thomas Brand , Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam DOI Pre-print Media Attached
07:20 60m Other		Q&A and Discussion (Session 5) SEAMS

Fri 3 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

14:00 - 15:20	Session 6: Ethical Concerns of Self-Adaptive SystemsSEAMS at SEAMS Chair(s): Paola Inverardi University of L'Aquila

14:00 5m Talk		Towards a Code of Ethics for Autonomous and Self-Adaptive SystemsEthical SEAMS Danny Weyns KU Leuven Pre-print Media Attached
14:05 5m Talk		Human in the Loop: What is the Point of no Return?Ethical SEAMS Rogério de Lemos University of Kent, UK Pre-print Media Attached
14:10 70m Other		Panel and Discussion SEAMS

15:20 - 15:30	Virtual Coffee Break 3SEAMS at SEAMS

15:20 10m Break		Virtual Coffee Break 3 SEAMS

15:30 - 16:00	ClosingSEAMS at SEAMS Chair(s): Radu Calinescu University of York, UK, Elisabetta Di Nitto Politecnico di Milano, Shinichi Honiden Waseda University / National Institute of Informatics, Japan, Zhenjiang Hu Peking University, China

15:30 5m Awards		SEAMS Most Influential Paper Awards SEAMS Zhenjiang Hu Peking University, China
15:35 5m Talk		SEAMS 2006 MIP: Architecture-based self-adaptation in the presence of multiple objectivesMIP SEAMS Shang-Wen Cheng Uber Advanced Technologies Group, David Garlan Carnegie Mellon University, Bradley Schmerl Carnegie Mellon University, USA Media Attached
15:40 5m Talk		SEAMS 2007 MIP: An architectural style for solving computationally intensive problems on large networkMIP SEAMS Yuriy Brun University of Massachusetts Amherst, Nenad Medvidović University of Southern California Link to publication DOI Pre-print Media Attached
15:45 15m Day closing		SEAMS 2020 Best Paper Awards, SEAMS 2021 Presentation, Closing Remarks SEAMS Shinichi Honiden Waseda University / National Institute of Informatics, Japan, Radu Calinescu University of York, UK, Elisabetta Di Nitto Politecnico di Milano, Hausi Müller University of Victoria, Computer Science, Faculty of Engineering, Canada

Mon 29 Jun
Displayed time zone: (UTC) Coordinated Universal Time change


Room	14:00						30						15:00						30						16:00						30						17:00						30
SEAMS	SEAMS Opening & Keynote 1																					SEAMS Virtual Coffee Break 1			SEAMS Session 1: AI, Machine Learning and Statistics

Tue 30 Jun
Displayed time zone: (UTC) Coordinated Universal Time change


Room	6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
SEAMS	SEAMS Session 2: Testing, Analysis, Reasoning, and Monitoring																																																																																								SEAMS Session 3: Composition, Control and Trustworthiness

Wed 1 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	14:00						30						15:00						30						16:00						30
SEAMS	SEAMS Keynote 2															SEAMS Virtual Coffee Break 2			SEAMS Session 4: Applications

Thu 2 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	7:00						30						8:00						30
SEAMS	SEAMS Session 5: Design, Verification & Explainability

Fri 3 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	14:00						30						15:00						30
SEAMS	SEAMS Session 6: Ethical Concerns of Self-Adaptive Systems																SEAMS Virtual Coffee Break 3		SEAMS Closing

Mon 29 Jun
Displayed time zone: (UTC) Coordinated Universal Time change


Room	14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
SEAMS	SEAMS SEAMS Opening 14:00 - 14:30						SEAMSKeynote On the Probabilistic Analysis of Neural Networks 14:30 - 15:45															SEAMS Virtual Coffee Break 1 15:45 - 16:00			SEAMSTechnical A Hybrid Approach Combining Control Theory and AI for Engineering Self- ... 16:00 - 16:05	SEAMSTechnical Applying Deep Learning to Reduce Large Adaptation Spaces of Self-Adapti ... 16:05 - 16:10	SEAMSNIER Towards Classes of Architectural Dependability Assurance of Machine Lea ... 16:10 - 16:15	SEAMSNIER A Framework for the Analysis of Adaptive Systems Using Bayesian Statistics 16:15 - 16:20	SEAMS Q&A and Discussion (Session 1) 16:20 - 17:20

Tue 30 Jun
Displayed time zone: (UTC) Coordinated Universal Time change


Room	6:00			15			30			45			7:00			15			30			45			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
SEAMS	SEAMSNIER Leveraging Test Logs for Building a Self-Adaptive Path Planner 06:00 - 06:05	SEAMSExperience Supporting Viewpoints to Review the Lack of Requirements in Space Syste ... 06:05 - 06:10	SEAMSTechnicalBest Student Paper DATESSO: Self-Adapting Service Composition with Debt-Aware Two Levels C ... 06:10 - 06:15	SEAMSNIER Towards Bridging the Gap between Control and Self-Adaptive System Prope ... 06:15 - 06:20	SEAMSNIER Explanation for Human-on-the-loop: a probabilistic model checking approach 06:20 - 06:25	SEAMS Q&A and Discussion (Session 2) 06:25 - 07:30																																																																																			SEAMSTechnical An Ontological Architecture for Principled and Automated System of Syst ... 14:00 - 14:05	SEAMSDemo A Platform to Enable Self-Adaptive Cloud Applications Using Trustworthi ... 14:05 - 14:10	SEAMSNIER Learning Run-time Compositions of Interacting Adaptations 14:10 - 14:15	SEAMSDoctoral Monitoring for Control in Role-oriented Self-Adaptive Systems 14:15 - 14:20	SEAMSDoctoral A Role-Based Architecture for Self-Adaptive Cyber-Physical Systems 14:20 - 14:25	SEAMS Q&A and Discussion (Session 3) 14:25 - 15:30

Wed 1 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
SEAMS	SEAMSKeynote Evolving Robot Software and Hardware 14:00 - 15:15															SEAMS Virtual Coffee Break 2 15:15 - 15:30			SEAMSTechnical Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots 15:30 - 15:35	SEAMSTechnicalBest Paper Dynamic Adaptation of Software-defined Networks for IoT Systems: A Sear ... 15:35 - 15:40	SEAMSNIER Knowledge Aggregation with Subjective Logic in Multi-Agent Self-Adaptiv ... 15:40 - 15:45	SEAMSDemo Using Component Ensembles for Modeling Autonomic Component Collaboratio ... 15:45 - 15:50	SEAMS Q&A and Discussion (Session 4) 15:50 - 16:50

Thu 2 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	7:00			15			30			45			8:00			15			30			45
SEAMS	SEAMSTechnical Collective Risk Minimization via a Bayesian Model for Statistical Softw ... 07:00 - 07:05	SEAMSNIER Expecting the Unexpected: Developing Autonomous-System Design Principle ... 07:05 - 07:10	SEAMSNIER Self-Protection Against Business Logic Vulnerabilities 07:10 - 07:15	SEAMSNIER Towards Highly Scalable Runtime Models with History 07:15 - 07:20	SEAMS Q&A and Discussion (Session 5) 07:20 - 08:20

Fri 3 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	14:00			15			30			45			15:00			15			30			45
SEAMS	SEAMSEthical Towards a Code of Ethics for Autonomous and Self-Adaptive Systems 14:00 - 14:05	SEAMSEthical Human in the Loop: What is the Point of no Return? 14:05 - 14:10	SEAMS Panel and Discussion 14:10 - 15:20														SEAMS Virtual Coffee Break 3 15:20 - 15:30		SEAMS SEAMS Most Influential Paper Awards 15:30 - 15:35	SEAMSMIP SEAMS 2006 MIP: Architecture-based self-adaptation in the presence of m ... 15:35 - 15:40	SEAMSMIP SEAMS 2007 MIP: An architectural style for solving computationally inte ... 15:40 - 15:45	SEAMS SEAMS 2020 Best Paper Awards, SEAMS 2021 Presentation, Closing Remarks 15:45 - 16:00

Room information: SEAMS

Mon 29 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 30 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 1 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 2 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 3 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Mon 29 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

SEAMS

SEAMS

Tue 30 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

SEAMS

SEAMS

Wed 1 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

SEAMS

SEAMS

SEAMS

Thu 2 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

SEAMS

Fri 3 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

SEAMS

SEAMS

SEAMS

Mon 29 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 30 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 1 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 2 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 3 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Tracks

Room information: SEAMS

Program Display Configuration

Mon 29 JunDisplayed time zone: (UTC) Coordinated Universal Time change

Tue 30 JunDisplayed time zone: (UTC) Coordinated Universal Time change

Wed 1 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Thu 2 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Fri 3 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Mon 29 JunDisplayed time zone: (UTC) Coordinated Universal Time change

SEAMS

SEAMS

SEAMS

Tue 30 JunDisplayed time zone: (UTC) Coordinated Universal Time change

SEAMS

SEAMS

Wed 1 JulDisplayed time zone: (UTC) Coordinated Universal Time change

SEAMS

SEAMS

SEAMS

Thu 2 JulDisplayed time zone: (UTC) Coordinated Universal Time change

SEAMS

Fri 3 JulDisplayed time zone: (UTC) Coordinated Universal Time change

SEAMS

SEAMS

SEAMS

Mon 29 JunDisplayed time zone: (UTC) Coordinated Universal Time change

Tue 30 JunDisplayed time zone: (UTC) Coordinated Universal Time change

Wed 1 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Thu 2 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Fri 3 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Mon 29 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 30 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 1 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 2 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 3 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Mon 29 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 30 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 1 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 2 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 3 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Mon 29 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 30 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 1 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 2 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 3 Jul
Displayed time zone: (UTC) Coordinated Universal Time change