This program is tentative and subject to change.
Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change
07:00 - 19:00 | Ready Room MondayICSE Social, Networking and Special Rooms at 209 The Ready Room will be available throughout the week. There will be some tables with computers where people can edit presentations (bring on a USB stick) and upload presentations to the presentation rooms through the Contact 1 website. There will also be AV technicians to help if needed. You do not need to use the Ready Room: You have several choices: You can upload your presentation from your own computer in advance of your session (days in advance even) at the Contact 1 website (you will be sent a link). Or you can plug your computer in using an HDMI cable when you are starting your presentation. This last option is available but not recommended, since it increases the chance of delays. There will be some tables and couches in the Ready Room where you can get work done, or have small get-togethers with people. This room will not be ‘quiet’. If you want a quiet place to work or chill out (library quiet, no talking) then Room 209 will be available much of the time. The Ready Room will also have some poster boards. | ||
09:00 - 10:30 | |||
09:00 - 10:30 | Session 1: Opening and Keynote by Bashar NuseibehResearch Track at 204 Chair(s): Siobhán Clarke Trinity College Dublin, Ireland, Shiva Nejati University of Ottawa, Thomas Vogel Humboldt-Universtität zu Berlin | ||
09:00 30mTalk | SEAMS 2025 Opening Research Track Siobhán Clarke Trinity College Dublin, Ireland, Shiva Nejati University of Ottawa, Thomas Vogel Humboldt-Universtität zu Berlin | ||
09:30 60mKeynote | Software Adaptation is Easy, Social Adaptation is Hard Research Track Bashar Nuseibeh The Open University, UK |
10:30 - 11:00 | |||
10:30 30mBreak | Monday Morning Break ICSE Catering |
11:00 - 12:30 | |||
11:00 - 12:30 | |||
11:00 25mTalk | 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 25mTalk | 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 15mTalk | 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 15mTalk | 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 10mOther | Discussion Session 2 Research Track |
12:30 - 14:00 | |||
12:30 90mLunch | Monday Lunch ICSE Catering |
14:00 - 15:30 | |||
14:00 - 15:30 | |||
14:00 25mTalk | Dynamic Resource Allocation for Deadline-Constrained Neural Network TrainingFULL Research Track Luciano Baresi Politecnico di Milano, Marco Garlini Politecnico di Milano, Giovanni Quattrocchi Politecnico di Milano Pre-print | ||
14:25 25mTalk | Integrating Performance Prediction, Anomaly Prediction and Root-Cause Localization for Self-Healing Software SystemsFULL Research Track | ||
14:50 25mTalk | WasteLess: An Optimal Provisioner for Self-Adaptive Second-Generation Serverless ApplicationsFULL Research Track Emilio Incerto IMT School for Advanced Studies Lucca, Roberto Pizziol IMT School for Advanced Studies Lucca, Gabriele Russo Russo University of Rome Tor Vergata, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy | ||
15:15 15mOther | Discussion Session 3 Research Track |
15:30 - 16:00 | |||
15:30 30mBreak | Monday Afternoon Break ICSE Catering |
16:00 - 17:30 | |||
18:30 - 21:30 | |||
18:30 3hDinner | Dinner Catering |
Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change
07:00 - 19:00 | |||
09:00 - 10:30 | |||
09:00 60mKeynote | Smart Swarms, Smarter Boundaries: Rethinking Decision Assurance in Autonomous Systems Research Track Jane Cleland-Huang University of Notre Dame | ||
10:00 20mAwards | Most Influential Paper Award 2015 Research Track | ||
10:20 10mAwards | SEAMS Best Paper and Artifact Awards Research Track |
10:30 - 11:00 | |||
10:30 30mBreak | Tuesday Morning Break ICSE Catering |
11:00 - 12:30 | |||
11:00 25mTalk | Self-Adaptive Dual-Layer DDoS Mitigation using Autoencoder and Reinforcement LearningFULL Research Track Qi Duan Carnegie Mellon University, Ehab Al-Shaer Carnegie Mellon University, USA, David Garlan Carnegie Mellon University | ||
11:25 25mTalk | Analysis of Autonomous Driving Software to Low-Level Sensor Cyber AttacksFULL Research Track Andrew Roberts Tallinn University of Technology, Mohsen Malayjerdi Tallinn University of Technology, Mauro Bellone FinEst Smart City Centre, Raivo Sell Tallinn University of Technology, Olaf Maennel University of Adelaide, Mohammad Hamad Technical University of Munich, Sebastian Steinhorst Technical University of Munich | ||
11:50 15mTalk | A Comprehensive Analysis of Cybersecurity Challenges in Self-Adaptive Avionics: A Plug&Fly Avionics Platform Case StudySHORT Research Track Aisha Zahid Junejo Universitat Stuttgart, Mario Werthwein Universitat Stuttgart, Bjoern Annighoefer University of Stuttgart | ||
12:05 15mTalk | Towards Using Inductive Learning to Adapt Security Controls in Smart HomesSHORT Research Track Kushal Ramkumar Lero@University College Dublin, Wanling Cai Lero@Trinity College Dublin, John McCarthy Lero@University College Cork, Gavin Doherty Lero@Trinity College Dublin, Bashar Nuseibeh The Open University, UK; Lero, University of Limerick, Ireland, Liliana Pasquale University College Dublin & Lero File Attached | ||
12:20 10mOther | Discussion Session 6 Research Track |
12:30 - 14:00 | |||
12:30 90mLunch | Tuesday Lunch ICSE Catering |
14:00 - 15:30 | |||
14:00 25mTalk | FLEXICO: Sustainable Machine Translation via Self-AdaptationFULL Research Track Maria Casimiro Instituto Superior Técnico, Universidade de Lisboa & S3D, Carnegie Mellon University, Paolo Romano IST/INESC-ID, José Sousa Unbabel, Amin M Khan INESC-ID. Universidade de Lisboa, David Garlan Carnegie Mellon University | ||
14:25 25mTalk | SPARQ: A QoS-aware Framework for Mitigating Cyber Risk in Self-Protecting IoT SystemsFULL Research Track Alessandro Palma Università di Roma Sapienza, Houssam Hajj Hassan SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Georgios Bouloukakis Télécom SudParis, Institut Polytechnique de Paris | ||
14:50 15mTalk | Adapting Aggregation Rule for Robust Federated Learning under Dynamic AttacksSHORT Research Track Chenyu Hu Southwest University, Mingyue Zhang Southwest University, NIANYU LI ZGC Lab, China, Jialong Li Waseda University, Japan, Zheng Yang Southwest University, Muneeb Ul Hassan Deakin University, Kenji Tei Institute of Science Tokyo | ||
15:05 15mTalk | Adaptive and Interoperable Federated Data Spaces: An Implementation ExperienceARTIFACT Artifact Track Nikolaos Papadakis , Niemat Khoder Télécom SudParis, Institut Polytechnique de Paris, France, Daphne Tuncer Ecole nationale des ponts et chaussees, Institut Polytechnique de Paris, France, Kostas Magoutis University of Crete and FORTH-ICS, Georgios Bouloukakis Télécom SudParis, Institut Polytechnique de Paris | ||
15:20 10mOther | Discussion Session 7 Research Track |
15:30 - 16:00 | |||
15:30 30mBreak | Tuesday Afternoon Break ICSE Catering |
16:00 - 17:30 | |||
16:00 60mPanel | Fishbowl Panel Research Track | ||
17:00 30mDay closing | Closing Research Track |
19:00 - 22:00 | |||
Accepted Papers
Call for Papers
We invite submissions of technical research papers describing original and unpublished results on software engineering for self-adaptive and self-managing systems, across the broad spectrum of topics of interest listed below. SEAMS 2025 will use two submission rounds for the Research Track, with deadlines in October 2024 and December 2024 – with the possibility of submitting a revised version from the first round to the second as detailed below. Accepted papers will be published in the IEEE and ACM digital libraries. In addition, authors of distinguished 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).
Background
Today we are building an exciting future in which autonomous vehicles navigate complex environments, smart cities employ advanced technologies to 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. This requires the systems 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-centered 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. 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-centered 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 Internet of Things, cyber-physical systems, cloud/fog/edge/mobile computing, bioengineering, robotics, smart environments, smart user interfaces, web/service-based applications, and automotive.
Types of Papers
We solicit two 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.
We plan to complement the SEAMS 2025 program of research and short paper presentations with a community debate. In contrast to past SEAMS editions, which called for positions on a given topic/statement, we now call for proposals for the debate.
Community debate proposals 1-page proposal, possibly with a supporting video
: proposals suggesting a topic of the debate, and the chair(s) who will be in charge of organizing and moderating the debate at SEAMS 2025 if the proposal is accepted. The chairs of accepted proposals will also be responsible for inviting participants to their debate. Community debate proposals should be single-anonymous, justify the relevance of the topic and adequateness of the chairs, and suggest a tentative list of participants in the debate. Accepted proposals will not be included in the SEAMS 2025 proceedings.
For additional information on how to submit papers to SEAMS 2025, 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
Community debate proposals will be reviewed by the General Chair and Program Chairs of SEAMS 2025 with the support of the SEAMS Steering Committee. The evaluation will be based on the following criteria:
- Novelty and Originality
- Relevance and Impact
Submission
SUBMISSION LINK: Abstracts and papers must be submitted via HotCRP: https://seams25.hotcrp.com/
Submission and Important Dates
SEAMS 2025 will use two submission rounds for the Research Track, with firm deadlines in October 2024 and December 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: Tue 01 October 2024
- Paper submission due: Tue 08 October 2024
- Notification of decision (
Accept
/Revision
/Reject
) to authors: Mon 11 November 2024- Submissions with
Accept
decisions: Final paper files (camera-ready copy) due: Tue 28 January 2025 - Submissions with
Revision
decisions: Submit a revised version along with a response letter to the reviews by Fri 13 December 2024 (see Second submission round). - Submissions with
Reject
decisions: Final decision. Rejected papers from the first round cannot be re-submitted to the second round.
- Submissions with
Second Submission Round
- Abstract deadline for new submissions: Fri 06 December 2024
- Paper, new and revised 1st papers submission due: Fri 13 December 2024
- Notification of decision (
Accept
/Reject
): Tue 14 January 2025 - Final paper for new and revised submissions (camera-ready copy) due: Tue 28 January 2025
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
- Submissions to SEAMS 2025 must conform to the IEEE conference proceedings template, specified in the IEEE Conference Proceedings Formatting Guidelines (title in 24pt font and full text in 10pt type, LaTeX users must use
\documentclass[10pt,conference]{IEEEtran}
without including the compsoc or compsocconf options). - Submissions must strictly conform to the IEEE conference proceedings formatting instructions specified above. Alterations of spacing, font size, and other changes that deviate from the instructions may result in desk rejection without further review.
- The SEAMS 2025 Research Track will use a lightweight double-anonymous 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 2025.
- 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.
- All communication with the program committee must go through the program committee chairs. Do not contact individual program committee members regarding your submission.
-
All submissions must not exceed the specified page limits. 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 2025 must not have been published elsewhere and must not be under review or submitted for review elsewhere whilst under consideration for SEAMS 2025. 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.
- If the research involves human participants/subjects, the authors must adhere to the ACM Publications Policy on Research Involving Human Participants and Subjects. Upon submitting, authors will declare their compliance with such a policy. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.
- Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM and IEEE have been involved in ORCID and may collect ORCID IDs from all published authors. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.
- By submitting to the ICSE Research Track, authors acknowledge that they conform to the authorship policy of the IEEE, the submission policy of the IEEE, and the authorship policy of the ACM (and associated FAQ. This includes the following points related to the use of Generative AI:
- “Generative AI tools and technologies, such as ChatGPT, may not be listed as authors of an ACM published Work. The use of generative AI tools and technologies to create content is permitted but must be fully disclosed in the Work. For example, the authors could include the following statement in the Acknowledgements section of the Work: ChatGPT was utilized to generate sections of this Work, including text, tables, graphs, code, data, citations, etc.). If you are uncertain about the need to disclose the use of a particular tool, err on the side of caution, and include a disclosure in the acknowledgements section of the Work.” - ACM
- “The use of artificial intelligence (AI)–generated text in an article shall be disclosed in the acknowledgements section of any paper submitted to an IEEE Conference or Periodical. The sections of the paper that use AI-generated text shall have a citation to the AI system used to generate the text.” - IEEE
- “If you are using generative AI software tools to edit and improve the quality of your existing text in much the same way you would use a typing assistant like Grammarly to improve spelling, grammar, punctuation, clarity, engagement or to use a basic word processing system to correct spelling or grammar, it is not necessary to disclose such usage of these tools in your Work.” - ACM
Submissions to SEAMS 2025 that meet the above requirements can be made via the submission site by the submission deadline. Any submission that does not comply with these requirements may be desk rejected without further review. We encourage the authors to upload their paper info early (and can submit the PDF later) to properly enter conflicts for double-anonymous reviewing. It is the sole responsibility of the authors to ensure that the formatting guidelines, double anonymous guidelines, and any other submission guidelines are met at the time of paper submission.
Notification and Publication
Accepted papers will appear in the SEAMS 2025 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 2025. 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).