HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem. - Nadia Ibellaatti; Edouard Lepape; Alp Kiliç; Kaya Akyel; Kassem Chouayakh; Fabrizio Ferrandi; Claudio Barone; Serena Curzel; Michele Fiorito; Giovanni Gozzi; Miguel Masmano; Ana Risquez Navarro; et al. (DATE, 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)