AEiC 2025 accepted contributions

Journal track

The following journal-track submissions have successfully passed the first round of review, and have been invited to be presented at the conference:

• A Transformation Strategy for Process Partitioning in Hierarchical Concurrent Process Networks
  Fahimeh Bahrami, Ingo Sander.

• Taking a Closer Look at Memory Interference Effects in Commercial-off-the-Shelf Multicore SoCs
  Lorenzo Carletti, Andrea Serafini, Gianluca Brilli, Alessandro Capotondi, Alessandro Biasci, Paolo Valente, Andrea Marongiu.

• Real-Time Probabilistic Programming
  Lars Hummelgren, Matthias Becker, David Broman.

• Feasibility of Deep Reinforcement Learning for the Real-Time Attitude Control of a Satellite System
  Ángel-Grover Pérez-Muñoz, Guillermo López-García, Irene García-Villoria, Alejandro Alonso, Angel Porras-Hermoso.

• Live Migration of Compiled Wasm Modules across the Compute Continuum
  Edoardo Tinto, Luca Marchiori, Tullio Vardanega.

• Reachability Analysis of Hybrid Rebeca Models
  Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani.

Industrial track

The following industrial presentations have been accepted at the conference:

• Method and Feedback on Ada Application Ports
  Robert Cholay, Natacha Porté.

• Reasoning about Subprogram Termination in SPARK
  Claire Dross, Joffrey Huguet, Johannes Kanig.

• Ariane 6 flight software: Lessons learned
  David Lesens.

• KM3: a Generic Preprocessor with Macros and Diagrams to Ada and Other Languages
  Laurent Gouzenes

Work-in-progress track

The following work-in-progress papers have been accepted at the conference:

• Task-to-Accelerator Mapping for Heterogeneous Systems Using Heuristics
  Mohammad Samadi, Tiago Carvalho, Luis Miguel Pinho, Sara Royuela.

• Dynamic System Model Generation for Online FDD of Robotics Systems
  Johannes Kohl, Georg Muck, Georg Jäger, Sebastian Zug.

• Archaeology for the Future - Ada on OpenVMS
  Gérard Calliet.

• Automated Execution of Attack Chains to Train Data-driven IDS in Cyber-physical Systems
  Diogo Pedro, José Cecílio, Pedro M. Ferreira, Alan O. de Sá.

• Adding Support for Explicit Preemption Points to a Non-preemptive Ada RTOS
  Mario Aldea Rivas, Hector Perez Tijero, Juan Romón Peña, J. Javier Gutiérrez.

• Verified SAT Redundancy Checking in SPARK
  Johannes K Fichte, Tobias Philipp.

• LLM-based Framework for Email Classification and Phishing Detection
  Nuno Costa, José Cecílio, Ruben Salgueiro, Mauricio Rosa, Dulce Domingos.

• A Comparative Study of Reliable Predictive Models for Energy-Efficient MPC in Buildings
  Alexandre Geraldo, António Casimiro, Alan Oliveira de Sá, José Cecílio, Pedro M. Ferreira.

• Development and Management of Digital Twins for Energy Monitoring Systems
  Tiago Carvalho, Luis Miguel Pinho, Pedro Paiva.