GERMINIANI, SAMUELE
GERMINIANI, SAMUELE
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
A Systematic Literature Review on Mining LTL Specifications
2025-01-01 Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences
2022-01-01 Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications
2025-01-01 Bombieri, Nicola; Germiniani, Samuele; Lumpp, Francesco; 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 |
|---|---|---|---|
| A Systematic Literature Review on Mining LTL Specifications | 1-gen-2025 | Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano | |
| Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences | 1-gen-2022 | Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano | |
| Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications | 1-gen-2025 | Bombieri, Nicola; Germiniani, Samuele; Lumpp, Francesco; 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 |