| Title: |
XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems |
| Authors: |
Dorr, Tobias; Schade, Florian; Becker, Juergen; Keramidas, Georgios; Petrellis, Nikos; Kelefouras, Vasilios; Mavropoulos, Michail; Antonopoulos, Konstantinos; Antonopoulos, Christos P.; Voros, Nikolaos; Ahlbrecht, Alexander; Zaeske, Wanja; Janson, Vincent; Noldeke, Phillip; Durak, Umut; Panagiotou, Christos; Karadimas, Dimitris; Adler, Nico; Reichmann, Clemens; Sailer, Andreas; Weber, Raphael; Wilhelm, Thomas; Gabler, Wolfgang; Weiden, Katrin; Recasens, Xavier Anzuela; Sezer, Sakir; Siddiqui, Fahad; Khan, Rafiullah; McLaughlin, Kieran; Tasdemir, Sena Yengec; Sonigara, Balmukund; Hui, Henry; Viguer, Esther Soriano; Suarez, Aridane Alvarez; Gallego, Vicente Nicolau; Alcobendas, Manuel Munoz; Tello, Miguel Masmano |
| Source: |
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-6 Mar, 2024 |
| Relation: |
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) |
| Database: |
IEEE Xplore Digital Library |