Folgen
Graziano Pravadelli
Graziano Pravadelli
Full professor, University of Verona, Italy
Bestätigte E-Mail-Adresse bei univr.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Human activity recognition using inertial, physiological and environmental sensors: A comprehensive survey
F Demrozi, G Pravadelli, A Bihorac, P Rashidi
IEEE access 8, 210816-210836, 2020
3802020
Toward a wearable system for predicting freezing of gait in people affected by parkinson's disease
F Demrozi, R Bacchin, S Tamburin, M Cristani, G Pravadelli
IEEE journal of biomedical and health informatics 24 (9), 2444-2451, 2019
872019
A mutation model for the SystemC TLM 2.0 communication interfaces
N Bombieri, F Fummi, G Pravadelli
Proceedings of the conference on Design, automation and test in Europe, 396-401, 2008
792008
Automatic extraction of assertions from execution traces of behavioural models
A Danese, T Ghasempouri, G Pravadelli
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 67-72, 2015
752015
HIFSuite: Tools for HDL code conversion and manipulation
N Bombieri, G Di Guglielmo, M Ferrari, F Fummi, G Pravadelli, F Stefanni, ...
EURASIP Journal on Embedded Systems 2010, 1-20, 2010
732010
Automatic abstraction of RTL IPs into equivalent TLM descriptions
N Bombieri, F Fummi, G Pravadelli
IEEE Transactions on Computers 60 (12), 1730-1743, 2010
662010
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL
N Bombieri, F Fummi, G Pravadelli
Proceedings of the Design Automation & Test in Europe Conference 1, 1-6, 2006
662006
A Timing-Accurate HW/SW Co-simulation of an ISS with SystemC
L Formaggio, F Fummi, G Pravadelli
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware …, 2004
582004
Amleto: A multi-language environment for functional test generation
A Fin, F Fummi, G Pravadelli
Proceedings International Test Conference 2001 (Cat. No. 01CH37260), 821-829, 2001
562001
Towards equivalence checking between TLM and RTL models
N Bombieri, F Fummi, G Pravadelli, J Marques-Silva
2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007
512007
Estimating indoor occupancy through low-cost BLE devices
F Demrozi, C Turetta, F Chiarani, PH Kindt, G Pravadelli
IEEE Sensors Journal 21 (15), 17053-17063, 2021
472021
A-team: Automatic template-based assertion miner
A Danese, ND Riva, G Pravadelli
Proceedings of the 54th Annual Design Automation Conference 2017, 1-6, 2017
472017
Properties incompleteness evaluation by functional verification
A Fedeli, F Fummi, G Pravadelli
IEEE Transactions on Computers 56 (4), 528-544, 2007
452007
Incremental ABV for functional validation of TL-to-RTL design refinement
N Bombieri, F Fummi, G Pravadelli
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
442007
Efficient control-flow subgraph matching for detecting hardware trojans in RTL models
L Piccolboni, A Menon, G Pravadelli
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
432017
Functional qualification of TLM verification
N Bombieri, F Fummi, G Pravadelli, M Hampton, F Letombe
2009 Design, Automation & Test in Europe Conference & Exhibition, 190-195, 2009
412009
Efficient generation of stimuli for functional verification by backjumping across extended FSMs
GD Guglielmo, LD Guglielmo, F Fummi, G Pravadelli
Journal of Electronic Testing 27 (2), 137-162, 2011
362011
Efficient fault injection in QEMU
D Ferraretto, G Pravadelli
2015 16th Latin-American Test Symposium (LATS), 1-6, 2015
322015
Simulation-based fault injection with QEMU for speeding-up dependability analysis of embedded software
D Ferraretto, G Pravadelli
Journal of Electronic Testing 32, 43-57, 2016
302016
On the integration of model-driven design and dynamic assertion-based verification for embedded software
G Di Guglielmo, L Di Guglielmo, A Foltinek, M Fujita, F Fummi, ...
Journal of Systems and Software 86 (8), 2013
282013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20