default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th 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.
last updated on 2026-06-18 00:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
