PRAVADELLI, Graziano
PRAVADELLI, Graziano
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
A 1000X Speed Up for Properties Completeness Evaluation
2002-01-01 A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto
A CLP-based Functional ATPG for Extended FSMs
2007-01-01 Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation
2009-01-01 Fummi, Franco; Loghi, M.; Poncino, M.; Pravadelli, Graziano
A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms
2014-01-01 Filippo, Cucchetto; Lonardi, Alessandro; Pravadelli, Graziano
A containerized ROS-compliant verification environment for robotic systems
2021-01-01 Aldegheri, S.; Bombieri, N.; Germiniani, S.; Moschin, F.; Pravadelli, G.
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems
2012-01-01 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara
A freely available system for human activity recognition based on a low-cost body area network
2022-01-01 Turetta, Cristian; Demrozi, Florenc; Pravadelli, Graziano
A graph-based approach for mobile localization exploiting real and virtual landmarks
2018-01-01 Demrozi, Florenc; Costa, Kevin; Tramarin, Federico; Pravadelli, Graziano
A low-cost BLE-based distance estimation, occupancy detection and counting system
2021-01-01 Demrozi, F.; Chiarani, F.; Pravadelli, G.
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 Methodology for Abstracting RTL Designs into TL Descriptions
2006-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
A model-based design flow for Dynamic Partial Reconfigurable FPGAs
2019-01-01 Giordano, Enrico; DI MARCO, Federico; Pravadelli, Graziano
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
2008-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
A parallelizable approach for mining likely invariants
2015-01-01 Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing
2005-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
A Smooth Refinement Flow for Co-designing HW and SW Threads
2007-01-01 Destro, Paolo; Fummi, Franco; Pravadelli, Graziano
A SystemC-based Framework for Properties Incompleteness Evaluation
2003-01-01 Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano
A testbench specification language for SystemC Verification
2012-01-01 DI GUGLIELMO, Giuseppe; Pravadelli, Graziano
A time-window based approach for dynamic assertions mining on control signals
2015-01-01 Danese, Alessandro; Filini, Francesca; Pravadelli, Graziano
A Timing-Accurate HW/SW Co-Simulation of an ISS with SystemC
2004-01-01 L., Formaggio; Fummi, Franco; Pravadelli, Graziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A 1000X Speed Up for Properties Completeness Evaluation | 1-gen-2002 | A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto | |
| A CLP-based Functional ATPG for Extended FSMs | 1-gen-2007 | Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano | |
| A Co-Simulation Methodology for HW/SW Validation and Performance Estimation | 1-gen-2009 | Fummi, Franco; Loghi, M.; Poncino, M.; Pravadelli, Graziano | |
| A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms | 1-gen-2014 | Filippo, Cucchetto; Lonardi, Alessandro; Pravadelli, Graziano | |
| A containerized ROS-compliant verification environment for robotic systems | 1-gen-2021 | Aldegheri, S.; Bombieri, N.; Germiniani, S.; Moschin, F.; Pravadelli, G. | |
| A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems | 1-gen-2012 | Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara | |
| A freely available system for human activity recognition based on a low-cost body area network | 1-gen-2022 | Turetta, Cristian; Demrozi, Florenc; Pravadelli, Graziano | |
| A graph-based approach for mobile localization exploiting real and virtual landmarks | 1-gen-2018 | Demrozi, Florenc; Costa, Kevin; Tramarin, Federico; Pravadelli, Graziano | |
| A low-cost BLE-based distance estimation, occupancy detection and counting system | 1-gen-2021 | Demrozi, F.; Chiarani, F.; Pravadelli, G. | |
| 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 Methodology for Abstracting RTL Designs into TL Descriptions | 1-gen-2006 | Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano | |
| A model-based design flow for Dynamic Partial Reconfigurable FPGAs | 1-gen-2019 | Giordano, Enrico; DI MARCO, Federico; Pravadelli, Graziano | |
| A Mutation Model for the SystemC TLM 2.0 Communication Interfaces | 1-gen-2008 | Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano | |
| A parallelizable approach for mining likely invariants | 1-gen-2015 | Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano | |
| A Pseudo-Deterministic Functional ATPG based on EFSM Traversing | 1-gen-2005 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| A Smooth Refinement Flow for Co-designing HW and SW Threads | 1-gen-2007 | Destro, Paolo; Fummi, Franco; Pravadelli, Graziano | |
| A SystemC-based Framework for Properties Incompleteness Evaluation | 1-gen-2003 | Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano | |
| A testbench specification language for SystemC Verification | 1-gen-2012 | DI GUGLIELMO, Giuseppe; Pravadelli, Graziano | |
| A time-window based approach for dynamic assertions mining on control signals | 1-gen-2015 | Danese, Alessandro; Filini, Francesca; Pravadelli, Graziano | |
| A Timing-Accurate HW/SW Co-Simulation of an ISS with SystemC | 1-gen-2004 | L., Formaggio; Fummi, Franco; Pravadelli, Graziano |