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)

A Hierarchical Profiler of Intermediate Representation Code based on LLVM. - Efstratios Tiganourias; Michail Mavropoulos; Georgios Keramidas; Vasilios I. Kelefouras; Christos P. Antonopoulos; Nikolaos S. Voros (MECO, 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)