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 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
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
2020-01-01 Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey
2005-01-01 Loghi, Mirko; T., Margaria; Pravadelli, Graziano; B., Steffen
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
Estimating Indoor Occupancy Through Low-Cost BLE Devices
2021-01-01 Demrozi, F; Turetta, C; Chiarani, F; Kindt, Ph; Pravadelli, G
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
Identification of Design Erros through Functional Testing
2003-01-01 F., Ferrandi; Fummi, Franco; Pravadelli, Graziano; D., Sciuto
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs
2007-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Logic-Level Mapping of High-Level Faults
2004-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures
2019-01-01 Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
On the integration of model-driven design and dynamic assertion-based verification for embedded software
2013-01-01 Giuseppe Di, Guglielmo; Luigi Di, Guglielmo; Andreas, Foltinek; Masahiro, Fujita; Fummi, Franco; Cristina, Marconcini; Pravadelli, Graziano
On the Reuse of TLM Mutation Analysis at RTL
2012-01-01 Guarnieri, Valerio; DI GUGLIELMO, Giuseppe; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, H.; Raik, J.; Jenihhin, M.; Ubar, R.
Properties Incompleteness Evaluation by Functional Verification
2007-01-01 A., Fedeli; Fummi, Franco; 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 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 | |
| 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-2020 | Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano | |
| Dynamic and Formal Verification of Embedded Systems: A Comparative Survey | 1-gen-2005 | Loghi, Mirko; T., Margaria; Pravadelli, Graziano; B., Steffen | |
| 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 | |
| Estimating Indoor Occupancy Through Low-Cost BLE Devices | 1-gen-2021 | Demrozi, F; Turetta, C; Chiarani, F; Kindt, Ph; Pravadelli, G | |
| 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 | |
| Identification of Design Erros through Functional Testing | 1-gen-2003 | F., Ferrandi; Fummi, Franco; Pravadelli, Graziano; D., Sciuto | |
| Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs | 1-gen-2007 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| Logic-Level Mapping of High-Level Faults | 1-gen-2004 | Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures | 1-gen-2019 | Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano | |
| On the integration of model-driven design and dynamic assertion-based verification for embedded software | 1-gen-2013 | Giuseppe Di, Guglielmo; Luigi Di, Guglielmo; Andreas, Foltinek; Masahiro, Fujita; Fummi, Franco; Cristina, Marconcini; Pravadelli, Graziano | |
| On the Reuse of TLM Mutation Analysis at RTL | 1-gen-2012 | Guarnieri, Valerio; DI GUGLIELMO, Giuseppe; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, H.; Raik, J.; Jenihhin, M.; Ubar, R. | |
| Properties Incompleteness Evaluation by Functional Verification | 1-gen-2007 | A., Fedeli; Fummi, Franco; Pravadelli, Graziano |