HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem
Ibellaatti, Nadia, Lepape, Edouard, Kilic, Alp, Akyel, Kaya, Chouayakh, Kassem, Ferrandi, Fabrizio, Barone, Claudio, Curzel, Serena, Fiorito, Michele, Gozzi, Giovanni, Masmano, Miguel, Navarro, Ana Risquez, Munoz, Manuel, Gallego, Vicente Nicolau, Cueva, Patricia Lopez, Letrillard, Jean-noel, Wartel, Franck
Published in 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.04.2023)
Published in 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.04.2023)
Get full text
Conference Proceeding
HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem
Ibellaatti, Nadia, Lepape, Edouard, Kilic, Alp, Akyel, Kaya, Kassem Chouayakh, Ferrandi, Fabrizio, Barone, Claudio, Curzel, Serena, Fiorito, Michele, Gozzi, Giovanni, Masmano, Miguel, Navarro, Ana Risquez, Muñoz, Manuel, Vicente Nicolau Gallego, Patricia Lopez Cueva, Jean-noel Letrillard, Wartel, Franck
Published in arXiv.org (09.02.2023)
Published in arXiv.org (09.02.2023)
Get full text
Paper
Journal Article
XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems
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
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Get full text
Conference Proceeding