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)

Evaluating System Architecture Safety in Early Phases of Development with MBSE and STPA. - Alexander Ahlbrecht; Oliver Bertram (ISSE, 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)

Automatic Deployment of Embedded Real-Time Software Systems to Hypervisor-Managed Platforms. - Florian Schade; Tobias Dörr; Alexander Ahlbrecht; Vincent Janson; Umut Durak; Jürgen Becker 001 (DSD, 2023)

Iterative Scenario-Based Testing in an Operational Design Domain for Artificial Intelligence Based Systems in Aviation. - Bojan Lukic; Jasper Sprockhoff; Alexander Ahlbrecht; Siddhartha Gupta; Umut Durak (Simul. Notes Eur., 2023)

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)

A system-theoretic assurance framework for safety-driven systems engineering. - Alexander Ahlbrecht; Jasper Sprockhoff; Umut Durak (Softw. Syst. Model., 2025)