Leveraging Semi-formal Approaches for DepDevOps. - Wanja Zaeske; Umut Durak (SAFECOMP Workshops, 2020)

XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems. - Jürgen Becker 001; Leonard Masing; Tobias Dörr; Florian Schade; Georgios Keramidas; Christos P. Antonopoulos; Michail Mavropoulos; Efstratios Tiganourias; Vasilios I. Kelefouras; Konstantinos Antonopoulos; Nikolaos S. Voros; Umut Durak; et al. (FPL, 2021)

XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems. - Leonard Masing; Tobias Dörr; Florian Schade; Jürgen Becker 001; Georgios Keramidas; Christos P. Antonopoulos; Michail Mavropoulos; Efstratios Tiganourias; Vasilios I. Kelefouras; Konstantinos Antonopoulos; Nikolaos S. Voros; Umut Durak; et al. (DATE, 2022)

A Behavior Specification and Simulation Methodology for Embedded Real-Time Software. - Tobias Dörr; Florian Schade; Alexander Ahlbrecht; Wanja Zaeske; Leonard Masing; Umut Durak; Jürgen Becker 001 (DS-RT, 2022)

XANDAR: A holistic Cybersecurity Engineering Process for Safety-critical and Cyber-physical Systems. - Fahad Siddiqui 001; Rafiullah Khan; Sakir Sezer; Kieran McLaughlin; Leonard Masing; Tobias Dörr; Florian Schade; Jürgen Becker 001; Alexander Ahlbrecht; Wanja Zaeske; Umut Durak; Nico Adler; et al. (VTC Spring, 2022)

DevOps for Airborne Software - Exploring Modern Approaches - Wanja Zaeske; Umut Durak (Springer, 2022)

XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems. - Tobias Dörr; Florian Schade; Jürgen Becker 001; Georgios Keramidas; Nikos Petrellis; Vasilios I. Kelefouras; Michail Mavropoulos; Konstantinos Antonopoulos; Christos P. Antonopoulos; Nikolaos S. Voros; Alexander Ahlbrecht; Wanja Zaeske; et al. (DATE, 2024)

Towards Modified Condition/Decision Coverage of Rust. - Wanja Zaeske; Pietro Albini; Florian Gilcher; Umut Durak (CoRR, 2024)

Agile, Post-quantum Secure Cryptography in Avionics. - Karoline Varner; Wanja Zaeske; Sven Friedrich; Aaron Kaiser; Alice Bowman (IACR Cryptol. ePrint Arch., 2024)