CEA LIST

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
CEA LIST
 
Country Land
France
 
Acronym Akronym
LIST
 
Type of Organization Organisationstyp
Government
ROR ID
ISNI
0000 0004 0405 1788
URL
 

OrgUnit's Publications


Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tollec-2023-ArchiFI Formal Modeling and Verification Strategies for Micro...-vor.pdf.jpgTollec, Simon ; Asavoae, Mihail ; Couroussé, Damien ; Heydemann, Karine ; Jan, Mathieu µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault InjectionsInproceedings Konferenzbeitrag Oct-2023
2Sánchez, César ; Schneider, Gerardo ; Ahrendt, Wolfgang ; Bartocci, Ezio ; Bianculli, Domenico ; Colombo, Christian ; Falcone, Yliès ; Francalanza, Adrian ; Krstić, Srđan ; Lourenço, Joa̋o M. ; Nickovic, Dejan ; Pace, Gordon J. ; Rufino, Jose ; Signoles, Julien ; Traytel, Dmitriy ; Weiss, Alexander A survey of challenges for runtime verification from advanced application domains (beyond software)Artikel Article 2019