Francesco Stefanni
Francesco Stefanni
Gizero Energie s.r.l.
Verified email at gizeroenergie.it
Title
Cited by
Cited by
Year
A SystemC-based framework for modeling and simulation of networked embedded systems
F Fummi, D Quaglia, F Stefanni
2008 Forum on Specification, Verification and Design Languages, 49-54, 2008
852008
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
572010
Moving from co-simulation to simulation for effective smart systems design
F Fummi, M Lora, F Stefanni, D Trachanis, J Vanhese, S Vinco
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-4, 2014
262014
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
252012
A single-chip CMOS pulse oximeter with on-chip lock-in detection
D He, SP Morgan, D Trachanis, J Van Hese, D Drogoudis, F Fummi, ...
Sensors 15 (7), 17076-17088, 2015
222015
Modeling of communication infrastructure for design-space exploration
F Fummi, G Lovato, D Quaglia, F Stefanni
2010 Forum on Specification & Design Languages (FDL 2010), 1-6, 2010
132010
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
N Bombieri, F Fummi, V Guarnieri, F Stefanni, S Vinco
Design Automation for Embedded Systems 16 (2), 115-135, 2012
112012
Reusing RTL assertion checkers for verification of SystemC TLM models
N Bombieri, F Fummi, V Guarnieri, G Pravadelli, F Stefanni, ...
Journal of Electronic Testing 31 (2), 167-180, 2015
102015
Refinement of UML/MARTE models for the design of networked embedded systems
E Ebeid, F Fummi, D Quaglia, F Stefanni
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2012
102012
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design
L Di Guglielm, F Fummi, G Pravadelli, F Stefanni, S Vinco
2011 IEEE International High Level Design Validation and Test Workshop, 33-40, 2011
102011
Systemc simulation of networked embedded systems
F Stefanni, D Quaglia, F Fummi
Languages for Embedded Systems and Their Applications, 201-211, 2009
82009
Network fault model for dependability assessment of networked embedded systems
F Fummi, D Quaglia, F Stefanni
2008 IEEE International Symposium on Defect and Fault Tolerance of VLSI …, 2008
82008
SMAC: Smart systems co-design
N Bombieri, D Drogoudis, G Gangemi, R Gillon, E Macii, M Poncino, ...
2013 Euromicro Conference on Digital System Design, 253-259, 2013
72013
Efficient implementation and abstraction of systemc data types for fast simulation
N Bombieri, F Fummi, V Guarnieri, F Stefanni, S Vinco
FDL 2011 Proceedings, 1-7, 2011
62011
Network synthesis for distributed embedded systems
E Fraccaroli, F Stefanni, R Rizzi, D Quaglia, F Fummi
IEEE Transactions on Computers 67 (9), 1315-1330, 2018
52018
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity
F Fummi, M Lora, F Stefanni, S Vinco
Languages, Design Methods, and Tools for Electronic System Design, 103-124, 2015
52015
A formal support for homogeneous simulation of heterogeneous embedded systems
L Di Guglielmo, F Fummi, G Pravadelli, F Stefanni, S Vinco
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12 …, 2012
52012
Automatic generation of cycle-accurate Simulink blocks from HDL IPs
S Centomo, M Lora, A Portaluri, F Stefanni, F Fummi
2017 Forum on Specification and Design Languages (FDL), 1-8, 2017
42017
On the reuse of RTL assertions in SystemC TLM verification
N Bombieri, F Fummi, V Guarnieri, G Pravadelli, F Stefanni, ...
2014 15th Latin American Test Workshop-LATW, 1-6, 2014
42014
SystemC Network Simulation Library–version 2
D Quaglia, F Stefanni
42013
The system can't perform the operation now. Try again later.
Articles 1–20