GERMINIANI, SAMUELE
GERMINIANI, SAMUELE
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences
2020-01-01 Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano
HARM: A Hint-Based Assertion Miner
2022-01-01 Germiniani, Samuele; Pravadelli, Graziano
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs
2024-01-01 Bosio, Alberto; Germiniani, Samuele; Pravadelli, Graziano; Traiola, Marcello
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences | 1-gen-2020 | Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano | |
HARM: A Hint-Based Assertion Miner | 1-gen-2022 | Germiniani, Samuele; Pravadelli, Graziano | |
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs | 1-gen-2024 | Bosio, Alberto; Germiniani, Samuele; Pravadelli, Graziano; Traiola, Marcello |