GERMINIANI, SAMUELE
GERMINIANI, SAMUELE
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
A complete assertion-based verification framework from the edge to the cloud
2023-01-01 Germiniani, Samuele
A containerized ROS-compliant verification environment for robotic systems
2021-01-01 Aldegheri, S.; Bombieri, N.; Germiniani, S.; Moschin, F.; Pravadelli, G.
Assertion-aware approximate computing design exploration on behavioral models
2022-01-01 Bosio, Alberto; Bragaglio, Moreno; Germiniani, Samuele; Mori, Samuele; Pravadelli, Graziano; Traiola, Marcello
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
Exploiting assertions mining and fault analysis to guide RTL-level approximation
2023-01-01 Bosio, Alberto; Germiniani, Samuele; Pravadelli, Graziano; Traiola, Marcello
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions
2022-01-01 Germiniani, Samuele; Pravadelli, Graziano
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level
2022-01-01 Bragaglio, M; Germiniani, S; Pravadelli, G
From Informal Specifications to an ABV Framework for Industrial Firmware Verification
2021-01-01 Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano
HARM: A Hint-Based Assertion Miner
2022-01-01 Germiniani, Samuele; Pravadelli, Graziano
Invited Talk: Pros and Cons of Assertion Mining
2024-01-01 Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano
Mining signal temporal logic specifications for hybrid systems
2024-01-01 Nicoletti, Daniele; Germiniani, Samuele; Pravadelli, Graziano
MIST: monitor generation from informal specifications for firmware verification
2020-01-01 Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation
2022-01-01 Boldo, Michele; Bombieri, Nicola; DE MARCHI, Mirco; Geretti, Luca; 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
System-level bug explanation through program slicing and instruction clusterization
2021-01-01 Bragaglio, Moreno; Donatelli, Nicola; Germiniani, Samuele; Pravadelli, Graziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A complete assertion-based verification framework from the edge to the cloud | 1-gen-2023 | Germiniani, Samuele | |
| A containerized ROS-compliant verification environment for robotic systems | 1-gen-2021 | Aldegheri, S.; Bombieri, N.; Germiniani, S.; Moschin, F.; Pravadelli, G. | |
| Assertion-aware approximate computing design exploration on behavioral models | 1-gen-2022 | Bosio, Alberto; Bragaglio, Moreno; Germiniani, Samuele; Mori, Samuele; Pravadelli, Graziano; Traiola, Marcello | |
| 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 | |
| Exploiting assertions mining and fault analysis to guide RTL-level approximation | 1-gen-2023 | Bosio, Alberto; Germiniani, Samuele; Pravadelli, Graziano; Traiola, Marcello | |
| Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions | 1-gen-2022 | Germiniani, Samuele; Pravadelli, Graziano | |
| Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level | 1-gen-2022 | Bragaglio, M; Germiniani, S; Pravadelli, G | |
| From Informal Specifications to an ABV Framework for Industrial Firmware Verification | 1-gen-2021 | Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano | |
| HARM: A Hint-Based Assertion Miner | 1-gen-2022 | Germiniani, Samuele; Pravadelli, Graziano | |
| Invited Talk: Pros and Cons of Assertion Mining | 1-gen-2024 | Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano | |
| Mining signal temporal logic specifications for hybrid systems | 1-gen-2024 | Nicoletti, Daniele; Germiniani, Samuele; Pravadelli, Graziano | |
| MIST: monitor generation from informal specifications for firmware verification | 1-gen-2020 | Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano | |
| Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation | 1-gen-2022 | Boldo, Michele; Bombieri, Nicola; DE MARCHI, Mirco; Geretti, Luca; 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 | |
| System-level bug explanation through program slicing and instruction clusterization | 1-gen-2021 | Bragaglio, Moreno; Donatelli, Nicola; Germiniani, Samuele; Pravadelli, Graziano |