Overview
The 27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023) will take place in Lisbon, Portugal, and will be an in-presence only event. The conference schedule comprises a panel with invited experts, a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops.
The conference will take place at Hotel Fénix Lisboa, which is located in the centre of Lisbon, easily accessible by metro from the airport, and in walking distance to downtown. The first day of the conference (June 13th) is a holiday in Lisbon, and there will be a lot of popular festivities all around. If you can stay over before or after the conference, there's a lot to see around. Check the Venue page for more info.
The call for contributions is available on this page and in PDF.
Conference Program Synopsis
Final Program
The final program in PDF is available here: Ada-Europe 2023 program
Booklet of Presentations
The booklet of presentations in PDF is available here: Ada-Europe 2023 booklet of presentations
Conference Core Composition
The core conference program features five distinct types of technical presentations, with different duration, all followed by various manners of discussion time. In the visual synopsis of the program schedule, each distinct presentation type is denoted by a specific colour code.
Colour Code | Duration |
---|---|
Journal-track talk | Long, 30 minutes |
Industrial-track talk | Medium, 20 minutes |
Work-in-progress-track talk | Short, 10 minutes plus poster |
Keynote | 1 hour |
Panel Discussion | 1 hour 30 minutes |
All papers presented at the conference in the journal track, the industrial track and the work-in-progress track have undergone peer review. All track chairs took it on themselves to assure that the review process was strictly free of conflict of interests between authors and reviewers.
It is a characterizing trait of the AEiC conference series that the presentations of such diverse contributions are combined into by-theme and not by-track presentation sessions, in order that authors and participants alike all enjoy all flavours of the program in a mixed as opposed to segregated combination.
Conference Core Schedule
Wednesday, 14 June | |
---|---|
09:00 - 09:15 | Welcome & Opening |
09:15 - 10:30 |
Keynote talk
Applications of Liquid Types for more Reliable Software Alcides Fonseca, FCUL, Portugal Chair: António Casimiro |
10:30 - 11:30 | Break |
11:30 - 12:30 |
Session 1: Verification and validation 1
Chair: Elena Troubitsyna |
Systematic Review on Contract-based Safety Assurance and Guidance for Future Research
Samina Kanwala, Faiz Ul Muramb and Muhammad Atif Javedc |
|
Compositional Verification of Embedded Real-Time Systems
Mohammed Aristide Foughali, Pierre-Emmanuel Hladik and Alexander Zuepke |
|
12:30 - 14:00 | Lunch |
14:00 - 15:30 |
Session 2: Advanced systems
Chair: Frank Singhoff |
VR-based Teleoperation of Autonomous Ground Vehicles for Operation Recovery
Georg Jäger, Gero Licht, Norman Seyffer and Stefan Reitmann |
|
Denoising Autoencoder-based Defensive Distillation as an Adversarial Robustness Algorithm
Bakary Badjie, José Cecílio and António Casimiro |
|
Software-based security approach for networked embedded devices
José Ferreira, Alan Oliveira, André Souto and José Cecílio |
|
Cooperative Autonomous Driving in Simulation
Gonçalo Costa, José Cecílio and António Casimiro |
|
Exploring Trade-offs in Explainable AI
Dene Brown and Glenn Hawe |
|
Cataloging Prompt Patterns to Enhance the Discipline of Prompt Engineering
Douglas C. Schmidt, Jesse Spencer-Smith, Quchen Fu and Jules White |
|
Achieving Crash Fault Tolerance In Autonomous Vehicle Autopilot Software Stacks Through Safety-Critical Module Rejuvenation
Federico Lucchetti |
|
Safety-critical software in the EROSS+ on-orbit servicing project
Kristoffer Nyborg Gregertsen, Vincent Dubanchet, Carolina Pinto Dos Santos Serra and Juan Antonio Bejar Romero |
|
15:30 - 16:30 | Break |
16:30 - 18:00 |
Session 3: Reliability and performance
Chair: Björn Andersson |
Exploiting container based microservices for reliable smart mobility applications
Paolo Ferrari, Emiliano Sisinni and Massimiliano Gaffurini |
|
Towards Reliable Distributed Edge-Cloud Applications
Michael Pressler, Dirk Ziegenbein and Arne Hamann |
|
Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters
Miguel Correia, Wellington Oliveira and José Cecílio |
|
Analyzing the performance of persistent storage for fault-tolerant stateful fog applications
Zeinab Bakhshi, Guillermo Rodriguez-Navas and Hans Hansson |
|
20h00 - 23:00 | Conference Banquet |
Thursday, 15 June | |
---|---|
09:00 - 10:30 |
Panel
Promises and Challenges of AI-enabled Software Development Tools for Safety-Critical Application Douglas Schmidt, Vanderbilt University, USA Jochen Quante, Robert Bosch GmbH, Germany Jon Pérez Cerrolaza, IKERLAN, Spain Björn Andersson, SEI - Carnegie Mellon University, USA Chair: Tullio Vardanega |
10:30 - 11:30 | Break |
11:30 - 12:30 |
Session 4: Verification and validation 2
Chair: Luis Miguel Pinho |
Symbolic Assurance Refinement for CPS
Dionisio de Niz and Lutz Wrage |
|
Towards a Methodology to Design Provably Secure Cyber-Physical Systems
Felipe Lisboa Malaquias, Georgios Giantamidis, Stylianos Basagiannis, Simone Fulvio Rolllini and Isaac Amundson |
|
Safety of the Intended Functionality Concept Integration into a Validation Tool Suite
Víctor J. Expósito Jiménez, Helmut Martin, Bernhard Winkler, Joaquim M. Castella Triginer, Heiko Scharke and Hannes Schneider |
|
Application of a method for evaluation of software used in naval nuclear means
Eduardo Bezerra |
|
12:30 - 14:00 | Lunch |
14:00 - 15:30 |
Session 5: Reliable programming
Chair: Alejandro R. Mosteo |
Automatic test value generation for Ada
Léo Creuse, Matthieu Eyraud and Viviane Garèse |
|
Mechanization of the Ravenscar profile in Coq
Jerome Hugues |
|
A Real-Time Parallel Programming Approach for Rust
Hugo Silva, Tiago Carvalho and Luis Miguel Pinho |
|
Security Hardening Ada Programs through Innovative Fuzz Testing
Paul Butcher |
|
An Update On the Tasking Profiles in Ada 2022
Patrick Rogers |
|
Ada on a New Embedded Target
Dylan Eskew |
|
15:30 - 16:30 | Break |
16:30 - 18:00 |
Session 6: Real-time systems
Chair: José Cecílio |
Worst Case Execution Time Estimation of Multicore and GPU Software: A Pedestrian Detection Use Case
Van Rodiguez-Ferrandez, Alvaro Jover-Alvarez, Matina Maria Trompouki, Leonidas Kosmidis and Francisco J Cazorla |
|
A POSIX/RTEMS monitoring tool and a benchmark to detect real-time scheduling anomalies
Blandine Djika Mezatio, Georges Kouamou, Frank Singhoff and Alain Plantec |
|
Time-Predictable Task-to-Thread Mapping in Multi-Core Processors
Mohammad Samadi, Sara Royuela, Luis Miguel Pinho, Tiago Carvalho and Eduardo Quiñones |
|
Fine-grained adaptive parallelism for automotive systems through AMALTHEA and OpenMP
Adrian Munera, Sara Royuela, Michael Pressler, Harald Mackamul, Dirk Ziegenbein and Eduardo Quiñones |
|
Closing of Core Program |