XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems.
Tobias DörrFlorian SchadeJürgen BeckerGeorgios KeramidasNikos PetrellisVasilios I. KelefourasMichail MavropoulosKonstantinos AntonopoulosChristos P. AntonopoulosNikolaos S. VorosAlexander AhlbrechtWanja ZaeskeVincent JansonPhillip NöldekeUmut DurakChristos PanagiotouDimitris KaradimasNico AdlerClemens ReichmannAndreas SailerRaphael WeberThomas WilhelmWolfgang GablerKatrin WeidenXavier Anzuela RecasensSakir SezerFahad SiddiquiRafiullah KhanKieran McLaughlinSena Yengec TasdemirBalmukund SonigaraHenry HuiEsther Soriano ViguerAridane Álvarez SuárezVicente Nicolau GallegoManuel Muñoz AlcobendasMiguel Masmano TelloPublished in: DATE (2024)