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
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
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.
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 | |
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 | |
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. |