


default search action
30th AEiC 2026: Västerås, Sweden
- Antonio Filieri

, Peter Backeman
:
30th Ada-Europe International Conference on Reliable Software Technologies, AEiC 2026, Västerås, Sweden, June 9-12, 2026. OASIcs 143, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-425-3 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:x

- Bakary Badjie, José Cecílio, Nils-Jonathan Friedrich, Norman Seyffer, Georg Jäger, António Casimiro:

Model-Agnostic Uncertainty-Aware Semantic Segmentation with Conformal Risk Guarantees for Scene Understanding. 1:1-1:20 - Diogo Ferreira, Ibéria Medeiros:

Discovering and Repairing Flaws in C Binaries Without Requiring Codebase and Instrumentation. 2:1-2:19 - José Ruiz:

A Certifiable Approach to Multicore Using Ada. 3:1-3:15 - Edin Jelacic, Rong Gu, Cristina Seceleanu, Ning Xiong, Peter Backeman, Tiberiu Seceleanu, Zhennan Fei, Ali Nouri:

HASCO: A Hybrid AI Simulation Compiler for Semantic Accident Reconstruction. 4:1-4:22 - Hugo Silva, Tiago Carvalho, Luís Miguel Pinho:

A Rust Framework for Real-Time Parallel Programming. 5:1-5:17 - Alexander Paschoaletto, Paulo Baltarejo Sousa, Luís Miguel Pinho, Tiago Carvalho:

Task-Based Constant Bandwidth Server in the Zephyr Operating System. 6:1-6:16 - Sergio Sáez-Barona, Jorge Real:

A Flexible Ada Framework for Jitter-Sensitive Mixed-Criticality Real-Time Systems. 7:1-7:21

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














