OASIcs, Volume 143, AEiC 2026, Complete Volume

Filieri, Antonio; Backeman, Peter

doi:10.4230/OASIcs.AEiC.2026

Document

OASIcs, Volume 143, AEiC 2026, Complete Volume

Authors Antonio Filieri , Peter Backeman

Part of: Volume: 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026)
Part of: Series: Open Access Series in Informatics (OASIcs)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2026-06-03

PDF

File

PDF

OASIcs.AEiC.2026.pdf

Filesize: 7.05 MB
144 pages

Document Identifiers

DOI: 10.4230/OASIcs.AEiC.2026
URN: urn:nbn:de:0030-drops-261367

Subject Classification

ACM Subject Classification

Software and its engineering → Formal methods
Software and its engineering → Software reliability
Computer systems organization → Real-time systems
Computer systems organization → Embedded and cyber-physical systems
Computing methodologies → Concurrent computing methodologies

Keywords

OASIcs, Volume 143, AEiC 2026, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Document

0

Metadata

Abstract

OASIcs, Volume 143, AEiC 2026, Complete Volume

Cite As Get BibTex

30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026). Open Access Series in Informatics (OASIcs), Volume 143, pp. 1-144, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/OASIcs.AEiC.2026

Author Details

Antonio Filieri

Amazon Web Services, Santa Clara, USA

Peter Backeman

Mälardalen University, Västerås, Sweden

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail