| 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 | 146 | 2020 |
| 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 | 74 | 2008 |
| 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 | 66 | 2010 |
| 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 | 62 | 2015 |
| Automatic abstraction of RTL IPs into equivalent TLM descriptions N Bombieri, F Fummi, G Pravadelli IEEE Transactions on Computers 60 (12), 1730-1743, 2010 | 60 | 2010 |
| 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 | 60 | 2006 |
| 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 | 56 | 2004 |
| 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 | 54 | 2001 |
| 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 | 46 | 2007 |
| Properties incompleteness evaluation by functional verification A Fedeli, F Fummi, G Pravadelli IEEE Transactions on Computers 56 (4), 528-544, 2007 | 44 | 2007 |
| 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 | 41 | 2007 |
| 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 | 39 | 2019 |
| 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 | 37 | 2009 |
| 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 | 34 | 2011 |
| 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 | 27 | 2017 |
| UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous system integration L Di Guglielmo, F Fummi, G Pravadelli, F Stefanni, S Vinco IEEE Transactions on Computers 62 (2), 225-241, 2012 | 27 | 2012 |
| Semi-formal functional verification by EFSM traversing via NuSMV G Di Guglielmo, F Fummi, G Pravadelli, S Soffia, M Roveri 2010 IEEE international High level design validation and test workshop …, 2010 | 27 | 2010 |
| A methodology for abstracting RTL designs into TL descriptions N Bombieri, F Fummi, G Pravadelli Fourth ACM and IEEE International Conference on Formal Methods and Models …, 2006 | 27 | 2006 |
| 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 | 25 | 2017 |
| Dynamic property mining for embedded software M Bonato, G Di Guglielmo, M Fujita, F Fummi, G Pravadelli Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2012 | 25 | 2012 |
Franco FummiProfessor of Computer Science, Universita' di VeronaVerified email at univr.it
