A Time-composable Operating System. - Andrea Baldovin; Enrico Mezzetti; Tullio Vardanega (WCET, 2012)

Towards a Time-Composable Operating System. - Andrea Baldovin; Enrico Mezzetti; Tullio Vardanega (Ada-Europe, 2013)

Limited preemptive scheduling of non-independent task sets. - Andrea Baldovin; Enrico Mezzetti; Tullio Vardanega (EMSOFT, 2013)

Kernel-level time composability for avionics applications. - Andrea Baldovin; Andrea Graziano; Enrico Mezzetti; Tullio Vardanega (SAC, 2013)

Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. - Franck Wartel; Leonidas Kosmidis; Code Lo; Benoit Triquet; Eduardo Quiñones; Jaume Abella 001; Adriana Gogonel; Andrea Baldovin; Enrico Mezzetti; Liliana Cucu; Tullio Vardanega; Francisco J. Cazorla (SIES, 2013)

SPRINT: Extending RUN to Schedule Sporadic Tasks. - Andrea Baldovin; Geoffrey Nelissen; Tullio Vardanega; Eduardo Tovar (RTNS, 2014)

Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems. - Andrea Baldovin (2014)

The CONCERTO Methodology for Model-Based Development of Avionics Software. - Andrea Baldovin; Alessandro Zovi; Geoffrey Nelissen; Stefano Puri (Ada-Europe, 2015)

Timing analysis of an avionics case study on complex hardware/software platforms. - Franck Wartel; Leonidas Kosmidis; Adriana Gogonel; Andrea Baldovin; Zoë R. Stephenson; Benoit Triquet; Eduardo Quiñones; Code Lo; Enrico Mezzetti; Ian Broster; Jaume Abella 001; Liliana Cucu-Grosjean; et al. (DATE, 2015)

AI and Reliability Trends in Safety-Critical Autonomous Systems on Ground and Air. - Jyotika Athavale; Andrea Baldovin; Ralf Graefe; Michael Paulitsch; Rafael Rosales (DSN Workshops, 2020)

Trends and Functional Safety Certification Strategies for Advanced Railway Automation Systems. - Jyotika Athavale; Andrea Baldovin; Michael Paulitsch (IRPS, 2020)

A Software-Only Approach to Enable Diverse Redundancy on Intel GPUs for Safety-Related Kernels. - Nikolaos Andriotis; Alejandro Serrano-Cases; Sergi Alcaide; Jaume Abella 001; Francisco J. Cazorla; Yang Peng; Andrea Baldovin; Michael Paulitsch; Vladimir Tsymbal (SAC, 2023)

HPC Hardware Design Reliability Benchmarking With HDFIT. - Patrik Omland; Alessio Netti; Yang Peng; Andrea Baldovin; Michael Paulitsch; Gustavo Espinosa; Jorge Parra; Gereon Hinz; Alois C. Knoll (IEEE Trans. Parallel Distributed Syst., 2023)