SEAMS 2024
Mon 15 - Tue 16 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 15 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Session1: Opening + Keynote by Alessandra RussoResearch Track at Luis de Freitas Branco
09:00
30m
Talk
SEAMS 2024 Opening
Research Track

09:30
60m
Keynote
Keynote: Advances on Symbolic Machine Learning and Recent Applications to Software Engineering
Research Track
Alessandra Russo Imperial College London
10:30 - 11:00
Coffee BreakICSE Catering at Open Space
10:30
30m
Coffee break
Break
ICSE Catering

11:00 - 12:30
Session 2: UncertaintyResearch Track at Luis de Freitas Branco
Chair(s): Ivana Dusparic Trinity College Dublin, Ireland
11:00
25m
Talk
Formal Synthesis of Uncertainty Reduction ControllersFULL
Research Track
Marc Carwehl Humboldt-Universität zu Berlin, Calum Imrie University of York, Thomas Vogel Humboldt-Universtität zu Berlin, Genaína Nunes Rodrigues University of Brasília, Radu Calinescu University of York, UK, Lars Grunske Humboldt-Universität zu Berlin
11:25
25m
Talk
Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability ConstraintsFULL
Research Track
Raquel Sanchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga
11:50
25m
Talk
Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptationFULL
Research Track
Gianluca Filippone University of L'Aquila, Italy, Juan Antonio Piñera García Gran Sasso Science Institute, Marco Autili University of L'Aquila, Italy, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
12:15
15m
Talk
Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive SystemsSHORT
Research Track
Javier Camara University of Málaga, Sebastian Hahner Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University, Antonio Vallecillo University of Málaga, Spain, Maribel Acosta Technical University of Munich, Nelly Bencomo Durham University, Radu Calinescu University of York, UK, Simos Gerasimou University of York
12:30 - 14:00
12:30
90m
Lunch
Lunch
ICSE Catering

14:00 - 15:30
Session 3: Unmanned Aerial Vehicles and LLMs Research Track / Artifact Track at Luis de Freitas Branco
Chair(s): Gabriel A. Moreno Carnegie Mellon University Software Engineering Institute
14:00
25m
Talk
ADAM: Adaptive Monitoring of Runtime Anomalies in Small Uncrewed Aerial SystemsFULL
Research Track
Md Nafee Al Islam University of Notre Dame, Jane Cleland-Huang University of Notre Dame, Michael Vierhauser University of Innsbruck
14:25
15m
Talk
Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire TrackingSHORT
Research Track
Enrique Vilchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga
14:40
15m
Talk
Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable EnvironmentsARTIFACT
Artifact Track
Enrique Vilchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga
14:55
15m
Talk
Aloft: Self-Adaptive Drone Controller TestbedARTIFACT
Artifact Track
Calum Imrie University of York, Rhys Howard University of Oxford, Divya Thuremella University of Oxford, Nawshin Mannan Proma University of York, Tejas Pandey University of York, Paulina Lewinska University of York, Ricardo Cannizzaro University of Oxford, Richard Hawkins University of York, Colin Paterson University of York, Lars Kunze University of Oxford, Victoria J. Hodge University of York
15:10
15m
Talk
Exploring the Potential of Large Language Models in Self-adaptive SystemsSHORT
Research Track
Jialong Li Waseda University, Japan, Mingyue Zhang Southwest University, NIANYU LI ZGC Lab, China, Danny Weyns KU Leuven, Zhi Jin Peking University, Kenji Tei Waseda University
15:30 - 16:00
Coffee BreakICSE Catering at Open Space
15:30
30m
Coffee break
Break
ICSE Catering

16:00 - 17:30
Session 4: Testing + Community DebateResearch Track at Luis de Freitas Branco
Chair(s): Siobhán Clarke Trinity College Dublin, Ireland, Bradley Schmerl Carnegie Mellon University, USA
16:00
25m
Talk
Automating Pipelines of A/B Tests with Population Split Using Self-Adaptation and Machine LearningFULL
Research Track
Federico Quin Katholieke Universiteit Leuven, Danny Weyns KU Leuven
16:25
15m
Talk
Generating Executable Test Scenarios from Autonomous Vehicle Disengagements using Natural Language ProcessingSHORT
Research Track
Qunying Song Lund University, Rune Anderberg Lund University, Henrik Olsson Lund University, Per Runeson Lund University
16:40
50m
Panel
Panel: Should the adaptive software systems community re-visit bio-inspired algorithms given advances in ML and more general research attention on bio-diversity and sustainability?COMMUNITY DEBATE
Research Track
Darko Bozhinoski Université Libre de Bruxelles, Rogério de Lemos University of Kent, UK, Sona Ghahremani Hasso Plattner Institute, University of Potsdam, Andrew Jackson Trinity College Dublin, Ireland

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Session 5: Keynote by Jun Sun + AwardsResearch Track / Artifact Track at Luis de Freitas Branco
09:00
60m
Keynote
Keynote: Towards Always Law-Abiding Self-Driving
Research Track
Jun Sun Singapore Management University
10:00
20m
Awards
Most Influential Paper Award 2014
Research Track

10:20
10m
Awards
SEAMS Best Paper and Artifact Awards
Research Track

10:30 - 11:00
Coffee BreakICSE Catering at Open Space
10:30
30m
Coffee break
Break
ICSE Catering

11:00 - 12:30
Session 6: Self-Recovery & Evaluation Research Track / Artifact Track at Luis de Freitas Branco
Chair(s): Dalal Alrajeh Imperial College London
11:00
25m
Talk
Raft Protocol for Fault Tolerance and Self-Recovery in Federated LearningFULL
Research Track
Rustem Dautov SINTEF, Erik Johannes Husom SINTEF Digital
11:25
25m
Talk
Integrating Graceful Degradation and Recovery through Requirement-driven AdaptationFULL
Research Track
Simon Chu Carnegie Mellon University, Justin Koe The Cooper Union, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
11:50
25m
Talk
Learning Recovery Strategies for Dynamic Self-healing in Reactive SystemsFULL
Research Track
Mateo Sanabria Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Nicolás Cardozo Universidad de los Andes
Pre-print
12:15
15m
Talk
SWITCH: An Exemplar for Evaluating Self-Adaptive ML-Enabled SystemsARTIFACT
Artifact Track
Arya Marda IIIT Hyderabad, Shubham Kulkarni IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad
Pre-print Media Attached
12:30 - 14:00
12:30
90m
Lunch
Lunch
ICSE Catering

14:00 - 15:30
Session 7: SAS ApplicationsResearch Track / Artifact Track at Luis de Freitas Branco
Chair(s): Ilias Gerostathopoulos Vrije Universiteit Amsterdam
14:00
25m
Talk
Patterns of Applied Control for Public Health Measures on Transportation Services under EpidemicFULL
Research Track
Kenneth Johnson Auckland University of Technology, Samaneh Madanian Auckland University of Technology, Catia Trubiani Gran Sasso Science Institute
14:25
15m
Talk
An Artifact Exemplar for Engineering Self-Adaptive Microservice ApplicationsARTIFACT
Artifact Track
Vincenzo Riccio Politecnico di Milano, Giancarlo Sorrentino Politecnico di Milano, Ettore Zamponi Politecnico di Milano, Matteo Camilli Politecnico di Milano, Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Patrizia Scandurra University of Bergamo, Italy
Media Attached
14:40
15m
Talk
Self-adaptive, Requirements-driven Autoscaling of MicroservicesSHORT
Research Track
João Paulo Karol Santos Nunes IBM Brazil and University of São Paulo, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Elisa Yumi Nakagawa University of São Paulo
Pre-print
14:55
15m
Talk
GreenhouseDT: An Exemplar for Digital TwinsARTIFACT
Artifact Track
Eduard Kamburjan University of Oslo, Riccardo Sieve University of Oslo, Chinmayi Prabhu Baramashetru University of Oslo, Marco Amato University of Turin, Gianluca Barmina University of Turin, Eduard Occhipinti University of Turin, Einar Broch Johnsen University of Oslo
15:10
15m
Talk
Latency-aware RDMSim: Enabling the Investigation of Latency in Self-Adaptation for the Case of Remote Data MirroringARTIFACT
Artifact Track
Sebastian Götz Technische Universität Dresden, Nelly Bencomo Durham University, Huma Samin Durham University
15:30 - 16:00
Coffee BreakICSE Catering at Open Space
15:30
30m
Coffee break
Break
ICSE Catering

16:00 - 17:30
Session 8: Human Aspects + Closing + SEAMS 2025Research Track at Luis de Freitas Branco
Chair(s): Genaina Rodrigues University of Brasilia
16:00
25m
Talk
Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine LearningFULL
Research Track
Francesco Renato Negri Politecnico di Milano, Niccolò Nicolosi Politecnico di Milano, Matteo Camilli Politecnico di Milano, Raffaela Mirandola Karlsruhe Institute of Technology (KIT)
16:25
15m
Talk
Human empowerment in self-adaptive socio-technical systemsSHORT
Research Track
Nicolas Boltz Karlsruhe Institute of Technology (KIT), Sinem Getir Yaman University of York, UK, Paola Inverardi , Rogério de Lemos University of Kent, UK, Dimitri Van Landuyt KU Leuven, Belgium, Andrea Zisman The Open University
16:40
15m
Talk
Towards Understanding Trust in Self-adaptive SystemsSHORT
Research Track
Dimitri Van Landuyt KU Leuven, Belgium, David Halasz Masaryk University, Stef Verreydt DistriNet-KU Leuven, Danny Weyns KU Leuven
16:55
15m
Talk
SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous VehiclesSHORT
Research Track
Kenneth Chan Michigan State University, Sol Zilberman Michigan State University, Nicholas Polanco Michigan State University, Betty H.C. Cheng Michigan State University, Josh Siegel Michigan State University
17:10
20m
Talk
Closing
Research Track

Unscheduled Events

Not scheduled
Talk
Swarm intelligence-based bio-inspired algorithmsCOMMUNITY DEBATE
Research Track
Darko Bozhinoski Université Libre de Bruxelles
Not scheduled
Talk
Bio-inspired computing systems: handle with care, discard if need itCOMMUNITY DEBATE
Research Track
Rogério de Lemos University of Kent, UK

Accepted Papers

Title
ADAM: Adaptive Monitoring of Runtime Anomalies in Small Uncrewed Aerial SystemsFULL
Research Track
Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability ConstraintsFULL
Research Track
Automating Pipelines of A/B Tests with Population Split Using Self-Adaptation and Machine LearningFULL
Research Track
Bio-inspired computing systems: handle with care, discard if need itCOMMUNITY DEBATE
Research Track
Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine LearningFULL
Research Track
Exploring the Potential of Large Language Models in Self-adaptive SystemsSHORT
Research Track
Formal Synthesis of Uncertainty Reduction ControllersFULL
Research Track
Generating Executable Test Scenarios from Autonomous Vehicle Disengagements using Natural Language ProcessingSHORT
Research Track
Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptationFULL
Research Track
Human empowerment in self-adaptive socio-technical systemsSHORT
Research Track
Integrating Graceful Degradation and Recovery through Requirement-driven AdaptationFULL
Research Track
Learning Recovery Strategies for Dynamic Self-healing in Reactive SystemsFULL
Research Track
Pre-print
Patterns of Applied Control for Public Health Measures on Transportation Services under EpidemicFULL
Research Track
Raft Protocol for Fault Tolerance and Self-Recovery in Federated LearningFULL
Research Track
SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous VehiclesSHORT
Research Track
Self-adaptive, Requirements-driven Autoscaling of MicroservicesSHORT
Research Track
Pre-print
Swarm intelligence-based bio-inspired algorithmsCOMMUNITY DEBATE
Research Track
Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire TrackingSHORT
Research Track
Towards Understanding Trust in Self-adaptive SystemsSHORT
Research Track
Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive SystemsSHORT
Research Track

Call for Papers

We invite submissions of technical research papers describing original and unpublished results of software engineering for self-adaptive and self-managing systems, with a broad spectrum of topics of interest listed below. Note that SEAMS 2024 will use two submission rounds for the Research Track, with deadlines in October 2023 and December 2023, and with the possibility of submitting a revised version from the first round to the second as detailed below. Accepted papers will be included in the ACM Digital Library, and the conference proceedings will be published by IEEE CPS. A few selected papers will be invited to submit an extended version for the ACM Transactions on Autonomous and Adaptive Systems.

Background

Today we are building an exciting future in which autonomous vehicles navigate complex environments, smart cities help solve public problems and achieve a higher quality of life, and service robots support social care workers or perform tasks that are too dangerous for humans. These software-intensive systems must continuously preserve and optimize their operation despite uncertain changes in their operating environment, resource variability, evolving user needs, attacks and faults. The complexity of these systems demands them to adapt and manage themselves autonomously, although, in certain situations, human intervention may be beneficial to improve these systems’ operation. Adaptation also pervades less traditional application domains, such as engineering AI-based systems, human-centred design and development decisions, and the design of human-machine interactions.

SEAMS is a CORE-A ranked conference that applies software engineering methods, techniques, processes, and tools to support the construction of self-adaptive and autonomous systems that provide self-* properties like self-configuration, self-healing, self-optimization, and self-protection. This year we also encourage submissions exploring unconventional topics on new engineering approaches, such as the adaptivity of large language models and generative AI-based techniques, human-centred software design and development, and human-machine interactions). SEAMS aims to bring together researchers and practitioners from academia, industry, and government to investigate, discuss, examine, and advance the fundamental principles, the state-of-the-art, and the solutions addressing critical challenges of engineering self-adaptive and self-managing systems.

Topics of Interest

We welcome research contributions to all topics related to engineering self-adaptive and self-managing systems, including:

  • Foundational Concepts
  • Self-* properties
  • Uncertainty
  • Runtime models and variability
  • Mixed-initiative and human-in-the-loop/human-on-the-loop
  • Ethical challenges
  • Adaptation vs Evolution
  • Engineering Strategies
  • AI and machine learning
  • Automatic synthesis techniques
  • Control theory
  • Search-based techniques
  • Model checking
  • Simulation and digital twins
  • Human-centred software development
  • Engineering Activities
  • Domain/environment analysis
  • Requirements elicitation
  • Security and privacy
  • Architecture and design
  • Testing and assurances
  • Automated maintenance
  • Systematic reuse
  • Processes and methodologies
  • Self-adaptation for software engineering
  • Languages
  • Formal notations for self-* properties
  • Domain-specific languages
  • Programming language support

Application areas and domains include but are not limited to the industrial Internet of things, cyber-physical systems, cloud/fog/edge computing, bioengineering, robotics, smart environments, smart user interfaces, web applications, and automotive.

Types of Papers

We solicit three types of papers:

  • Research papers 10 pages of content + 2 pages of references: papers offering novel and mature research contributions and experiences gained from applying or evaluating research results in practice.
  • Short papers 6 pages of content + 1 page of references: papers presenting ongoing research or new research ideas without a complete evaluation.
  • Community debate 2 pages, possibly with a supporting video: Participants from industry and academia who would like to participate in the SEAMS 2024 community debate are strongly encouraged to submit a short position paper on the statement: “Should the adaptive software systems community re-visit bio-inspired algorithms given advances in ML and more general research attention on bio-diversity and sustainability?" A submission should clearly take a position in favor or against the statement and support this position with arguments.

For additional information on how to submit papers to SEAMS 2024, please see the Submission section. Besides research papers, the SEAMS organizers encourage the submission of artifacts. Artifacts can be associated with research papers, or they can be standalone contributions. For both options, artifacts should be submitted to the artifact track.

Review Criteria

Each paper submitted to the Research Track will be reviewed by at least three PC members. The evaluation will be based on the following criteria:

  • Novelty and Originality
  • Relevance and Impact
  • Soundness and Verifiability
  • Presentation and Readability

SUBMISSION LINK: Abstracts and papers must be submitted via HotCRP: https://seams24.hotcrp.com/.

Submission and Important Dates

SEAMS 2024 will use two submission rounds for the Research Track, with firm deadlines in October 2023 and January 2024, and with the possibility of submitting a revised version from the first round to the second as detailed below.

First Submission Round

  • Abstract deadline: 29 September 2023
  • Paper submission due: 6 October 2023
  • Notification of decision (Accept / Revision / Reject) to authors: 10 November 2023
    • Submissions with Accept decisions: Final paper files (camera-ready copy) due: 28 January 2024
    • Submissions with Revision decisions: Submit a revised version along with a response letter to the reviews by 15 December 2023 (see Second submission round).
    • Submissions with Reject decisions: Final decision, authors of the rejected papers from the first round may not submit the same paper again in the second round. Submitting a new paper in the second round is possible (see explanation below).

Second submission round

  • Abstract deadline for new submissions: 8 December 2023
  • Paper, new and revised 1st papers submission due: 15 December 2023
  • Notification of decision (Accept / Reject): 12 January 2024
  • Final paper for new and revised submissions (camera-ready copy) due: 28 January 2024

The round 2 submission of a new paper that tackles the same or a similar problem relevant to SEAMS in a way that shares commonalities with a rejected round 1 paper is not restricted. Such a submission would be handled as an independent paper, although you need to consider the fact that the PC members who reviewed your round 1 paper may also bid to review your round 2 submission.

Author Responses

Authors of papers that receive “Revision” decisions in the first round will have the opportunity to submit a revised version of their papers to the second round. The authors are required to provide a response letter that (1) explains how the comments have been tackled, (2) provides answers to the questions posed by reviewers.

Paper Submission

  • The paper format of SEAMS 2024 must follow the ACM formatting guidelines, see also http://www.acm.org/publications/proceedings-template for both Latex and Word users. LaTEX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, enable the conference format in the preamble of the document (i.e. \documentclass[sigconf,review]{acmart}), and use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}).
  • The SEAMS 2024 Research Track will use a lightweight double-blind review process. No submission may reveal its authors’ identities. In particular:
    • Authors’ names must be omitted from the submission.
    • All references to the author’s prior work should be in the third person.
    • While authors have the right to upload preprints on ArXiV or similar sites, they must avoid specifying that the manuscript was submitted to SEAMS 2024.
    • During review, authors should not publicly use the submission title. They should thus use a different paper title for any pre-print in arxiv or similar websites.
    • Additional material published online should be anonymized and should not provide references to the paper’s authors. *Accepted full research papers will be allowed one extra page for the main text of the camera-ready version. The purchase of additional pages in the proceedings is not allowed.
  • By submitting to SEAMS, authors acknowledge that they are aware of and agree to be bound by the ACM Policy and Procedures on Plagiarism and the IEEE Plagiarism FAQ. In particular, papers submitted to SEAMS 2024 must not have been published elsewhere and must not be under review or submitted for review elsewhere whilst under consideration for SEAMS 2024. Contravention of this concurrent submission policy will be deemed a serious breach of scientific ethics, and appropriate action will be taken in all such cases. To check for double submission and plagiarism issues, the chairs reserve the right to (1) share the list of submissions with the PC Chairs of other conferences with overlapping review periods and (2) use external plagiarism detection software, under contract to the ACM or IEEE, to detect violations of these policies.

Notification and Publication

Accepted papers will appear in the SEAMS 2024 proceedings that will be published in the IEEE and ACM digital libraries. The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of ICSE 2024. The official publication date affects the deadline for any patent filings related to published work. Authors of selected Research papers will be invited to submit revised and extended versions of their work to a dedicated Special Issue of ACM Transactions on Autonomous and Adaptive Systems (TAAS).

Awards

SEAMS delivers the following awards to Research papers:

  • Best paper
  • Best student paper