PRAVADELLI, Graziano
PRAVADELLI, Graziano
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation
2009-01-01 Fummi, Franco; Loghi, M.; Poncino, M.; Pravadelli, Graziano
A genetic approach for automatic AxC design exploration at RTL based on assertion mining and fault analysis
2025-01-01 Bosio, Alberto; Germiniani, Samuele; Pravadelli, Graziano; Traiola, Marcello
A low-cost wireless body area network for human activity recognition in healthy life and medical applications
2023-01-01 Demrozi, Florenc; Turetta, Cristian; Kindt, Philipp H.; Chiarani, Fabio; Bacchin, Ruggero; Vale', Nicola; Pascucci, Francesco; Cesari, Paola; Smania, Nicola; Tamburin, Stefano; Pravadelli, Graziano
A Systematic Literature Review on Mining LTL Specifications
2025-01-01 Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions
2011-01-01 Bombieri, Nicola; Fummi, Franco; 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
B-HAR: An Open-Source Baseline Framework for In-Depth Study of Human Activity Recognition Datasets and Workflows
2024-01-01 Turetta, Cristian; Demrozi, Florenc; Pravadelli, Graziano
Combining 3D Human Pose Estimation and IMU Sensors for Human Identification and Tracking in Multi-Person Environments
2024-01-01 DE MARCHI, Mirco; Turetta, Cristian; Pravadelli, Graziano; Bombieri, Nicola
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey
2005-01-01 Loghi, Mirko; T., Margaria; Pravadelli, Graziano; B., Steffen
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications
2025-01-01 Bombieri, Nicola; Germiniani, Samuele; Lumpp, Francesco; Pravadelli, Graziano
Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models
2017-01-01 Piccolboni, Luca; Menon, Alessandro; Pravadelli, Graziano
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs
2011-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; 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
Estimating Indoor Occupancy Through Low-Cost BLE Devices
2021-01-01 Demrozi, F; Turetta, C; Chiarani, F; Kindt, Ph; Pravadelli, G
Freezing of gait detection: The effect of sensor type, position, activities, datasets, and machine learning model
2025-01-01 Borzì, Luigi; Demrozi, Florenc; Bacchin, Ruggero Angelo; Turetta, Cristian; Sigcha, Luis; Rinaldi, Domiziana; Fazzina, Giuliana; Balestro, Giulio; Picelli, Alessandro; Pravadelli, Graziano; Olmo, Gabriella; Tamburin, Stefano; Lopiano, Leonardo; Artusi, Carlo Alberto
HARM: A Hint-Based Assertion Miner
2022-01-01 Germiniani, Samuele; Pravadelli, Graziano
HIFSuite: Tools for HDL Code Conversion and Manipulation
2010-01-01 Bombieri, N.; Ferrari, M.; Fummi, F.; Di Guglielmo, G.; Di Guglielmo, L.; Pravadelli, G.; Stefanni, F.; Venturelli, A.
Human Activity Recognition using Inertial, Physiological and Environmental Sensors: A Comprehensive Survey
2020-01-01 Demrozi, Florenc; Pravadelli, Graziano; Bihorac, Azra; Rashidi, Parisa
Hybrid Incremental Assertion-Based Verification for Functional Validation in TLM Design Flows
2007-01-01 Bombieri, Nicola; A., Fedeli; Fummi, Franco; Pravadelli, Graziano
ICT-Based Solutions for Alzheimer’s Disease Care: A Systematic Review
2024-01-01 Ali, Muhammad Toqeer; Turetta, Cristian; Demrozi, Florenc; Pravadelli, Graziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Co-Simulation Methodology for HW/SW Validation and Performance Estimation | 1-gen-2009 | Fummi, Franco; Loghi, M.; Poncino, M.; Pravadelli, Graziano | |
| A genetic approach for automatic AxC design exploration at RTL based on assertion mining and fault analysis | 1-gen-2025 | Bosio, Alberto; Germiniani, Samuele; Pravadelli, Graziano; Traiola, Marcello | |
| A low-cost wireless body area network for human activity recognition in healthy life and medical applications | 1-gen-2023 | Demrozi, Florenc; Turetta, Cristian; Kindt, Philipp H.; Chiarani, Fabio; Bacchin, Ruggero; Vale', Nicola; Pascucci, Francesco; Cesari, Paola; Smania, Nicola; Tamburin, Stefano; Pravadelli, Graziano | |
| A Systematic Literature Review on Mining LTL Specifications | 1-gen-2025 | Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano | |
| Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions | 1-gen-2011 | Bombieri, Nicola; Fummi, Franco; 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 | |
| B-HAR: An Open-Source Baseline Framework for In-Depth Study of Human Activity Recognition Datasets and Workflows | 1-gen-2024 | Turetta, Cristian; Demrozi, Florenc; Pravadelli, Graziano | |
| Combining 3D Human Pose Estimation and IMU Sensors for Human Identification and Tracking in Multi-Person Environments | 1-gen-2024 | DE MARCHI, Mirco; Turetta, Cristian; Pravadelli, Graziano; Bombieri, Nicola | |
| Dynamic and Formal Verification of Embedded Systems: A Comparative Survey | 1-gen-2005 | Loghi, Mirko; T., Margaria; Pravadelli, Graziano; B., Steffen | |
| Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications | 1-gen-2025 | Bombieri, Nicola; Germiniani, Samuele; Lumpp, Francesco; Pravadelli, Graziano | |
| Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models | 1-gen-2017 | Piccolboni, Luca; Menon, Alessandro; Pravadelli, Graziano | |
| Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs | 1-gen-2011 | DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; 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 | |
| Estimating Indoor Occupancy Through Low-Cost BLE Devices | 1-gen-2021 | Demrozi, F; Turetta, C; Chiarani, F; Kindt, Ph; Pravadelli, G | |
| Freezing of gait detection: The effect of sensor type, position, activities, datasets, and machine learning model | 1-gen-2025 | Borzì, Luigi; Demrozi, Florenc; Bacchin, Ruggero Angelo; Turetta, Cristian; Sigcha, Luis; Rinaldi, Domiziana; Fazzina, Giuliana; Balestro, Giulio; Picelli, Alessandro; Pravadelli, Graziano; Olmo, Gabriella; Tamburin, Stefano; Lopiano, Leonardo; Artusi, Carlo Alberto | |
| HARM: A Hint-Based Assertion Miner | 1-gen-2022 | Germiniani, Samuele; Pravadelli, Graziano | |
| HIFSuite: Tools for HDL Code Conversion and Manipulation | 1-gen-2010 | Bombieri, N.; Ferrari, M.; Fummi, F.; Di Guglielmo, G.; Di Guglielmo, L.; Pravadelli, G.; Stefanni, F.; Venturelli, A. | |
| Human Activity Recognition using Inertial, Physiological and Environmental Sensors: A Comprehensive Survey | 1-gen-2020 | Demrozi, Florenc; Pravadelli, Graziano; Bihorac, Azra; Rashidi, Parisa | |
| Hybrid Incremental Assertion-Based Verification for Functional Validation in TLM Design Flows | 1-gen-2007 | Bombieri, Nicola; A., Fedeli; Fummi, Franco; Pravadelli, Graziano | |
| ICT-Based Solutions for Alzheimer’s Disease Care: A Systematic Review | 1-gen-2024 | Ali, Muhammad Toqeer; Turetta, Cristian; Demrozi, Florenc; Pravadelli, Graziano |