SEAMS 2025
Mon 28 - Tue 29 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025

This program is tentative and subject to change.

Mon 28 Apr 2025 12:05 - 12:20 at 204 - Session 2: Foundations

A key feature in self-adaptive systems is resilience, which is an ongoing research topic. Recently, the community started to explore antifragility, which describes the improvement of resilience over time. While there are model-agnostic resilience metrics, there is currently no out-of-the-box tool for researchers and practitioners to determine to which degree their system is resilient. To facilitate research on antifragility, we present RESMETRIC, a model-agnostic tool that calculates and visualizes various resilience metrics based on the quality of service over time. With RESMETRIC, researchers can evaluate their definition of resilience and antifragility. This paper highlights how RESMETRIC can be employed by demonstrating its use in a case study on gas detection.

This program is tentative and subject to change.

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session 2: FoundationsArtifact Track / Research Track at 204
11:00
25m
Talk
Symbolic State Seeding Improves Coverage Of Reinforcement LearningFULL
Research Track
Mohsen Ghaffari IT University of Copenhagen, Cong Chen IT-University of Copenhagen, Mahsa Varshosaz IT University of Copenhagen, Denmark, Einar Broch Johnsen University of Oslo, Andrzej Wąsowski IT University of Copenhagen, Denmark
11:25
25m
Talk
Robust Probabilistic Model Checking with Continuous Reward DomainsFULL
Research Track
Xiaotong Ji Imperial College London, Hanchun Wang Imperial College London, Antonio Filieri AWS and Imperial College London, Ilenia Epifani Politecnico di Milano
11:50
15m
Talk
Approaching Proactive Self-Adaptation in Nonlinear Cyber-Physical SystemsSHORT
Research Track
Farid Edrisi Linnaeus University, Diego Perez-Palacin Linnaeus University, Mauro Caporuscio Linnaeus University, Raffaela Mirandola Karlsruhe Institute of Technology (KIT)
12:05
15m
Talk
ResMetric: Analyzing Resilience to Enable Research on AntifragilityARTIFACT
Artifact Track
Ferdinand Koenig Humboldt-Universtität zu Berlin, Marc Carwehl Humboldt-Universität zu Berlin, Calum Imrie University of York
12:20
10m
Other
Discussion Session 2
Research Track

:
:
:
: