GERMINIANI, SAMUELE
GERMINIANI, SAMUELE
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences
2020-01-01 Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study
2024-01-01 Cunico, Federico; Aldegheri, Stefano; Avogaro, Andrea; Boldo, Michele; Bombieri, Nicola; Capogrosso, Luigi; Caputo, Ariel; Carra, Damiano; Centomo, Stefano; Cheng, Dong Seon; Cinquetti, Ettore; Cristani, Marco; Marchi, Mirco De; Demrozi, Florenc; Emporio, Marco; Fummi, Franco; Geretti, Luca; Germiniani, Samuele; Giachetti, Andrea; Girella, Federico; Martini, Enrico; Menegaz, Gloria; Muijs, Niek; Paci, Federica; Panato, Marco; Pravadelli, Graziano; Quintarelli, Elisa; Siviero, Ilaria; Storti, Silvia Francesca; Tadiello, Carlo; Turetta, Cristian; Villa, Tiziano; Zannone, Nicola; Quaglia, Davide
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 | |
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study | 1-gen-2024 | Cunico, Federico; Aldegheri, Stefano; Avogaro, Andrea; Boldo, Michele; Bombieri, Nicola; Capogrosso, Luigi; Caputo, Ariel; Carra, Damiano; Centomo, Stefano; Cheng, Dong Seon; Cinquetti, Ettore; Cristani, Marco; Marchi, Mirco De; Demrozi, Florenc; Emporio, Marco; Fummi, Franco; Geretti, Luca; Germiniani, Samuele; Giachetti, Andrea; Girella, Federico; Martini, Enrico; Menegaz, Gloria; Muijs, Niek; Paci, Federica; Panato, Marco; Pravadelli, Graziano; Quintarelli, Elisa; Siviero, Ilaria; Storti, Silvia Francesca; Tadiello, Carlo; Turetta, Cristian; Villa, Tiziano; Zannone, Nicola; Quaglia, Davide | |
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 |