Francesco Stefanni

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 11

Top Topics

Embedded Real Time Systems

Sequence Diagrams

Computing Power

Top Venues

IEEE Trans. Computers

FDL (Selected Papers)

Publications

Enrico Fraccaroli, Francesco Stefanni, Romeo Rizzi, Davide Quaglia, Franco Fummi
Network Synthesis for Distributed Embedded Systems. IEEE Trans. Computers 67 (9) (2018)
Gabriele Miorandi, Francesco Stefanni, Federico Fraccaroli, Davide Quaglia
A SystemC-based Simulator for design space exploration of smart wireless systems. DATE (2018)
Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. FDL (Selected Papers) (2017)
Emad Ebeid, Rune Hylsberg Jacobsen, Francesco Stefanni, Davide Quaglia
Scalable open source smart grid simulator (SGSim). ISGT (2017)
Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi
Automatic generation of cycle-accurate Simulink blocks from hdl ips. FDL (2017)
Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski
Fault analysis in analog circuits through language manipulation and abstraction. FDL (2017)
Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski
Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction. FDL (Selected Papers) (2017)
Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni
Automatic generation of self-adaptive transactors from PSL assertions. FDL (2016)
Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni
RTL property abstraction for TLM assertion-based verification. DATE (2015)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electron. Test. 31 (2) (2015)
Diwei He, Stephen P. Morgan, Dimitrios Trachanis, Jan van Hese, Dimitris Drogoudis, Franco Fummi, Francesco Stefanni, Valerio Guarnieri, Barrie Hayes-Gill
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection. Sensors 15 (7) (2015)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
On the reuse of RTL assertions in SystemC TLM verification. LATW (2014)
Franco Fummi, Michele Lora, Francesco Stefanni, Dimitrios Trachanis, Jahn Vanhese, Sara Vinco
Moving from co-simulation to simulation for effective smart systems design. DATE (2014)
Nicola Bombieri, Giuliana Drogoudis, Giuliana Gangemi, Renaud Gillon, Enrico Macii, Massimo Poncino, Salvatore Rinaudo, Francesco Stefanni, Dimitrios Trachanis, Mark van Helvoort
SMAC: Smart Systems Co-design. DSD (2013)
Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. FDL (2013)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. IEEE Trans. Computers 62 (2) (2013)
Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni
Automatic Network Protocol Synthesis from UML Sequence Diagrams. MTV (2013)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. Des. Autom. Embed. Syst. 16 (2) (2012)
Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni
Refinement of UML/MARTE models for the design of networked embedded systems. DATE (2012)
Mihai T. Lazarescu, Parinaz Sayyah, Davide Quaglia, Francesco Stefanni
SystemC Model Generation for Realistic Simulation of Networked Embedded Systems. DSD (2012)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
A formal support for homogeneous simulation of heterogeneous embedded systems. SIES (2012)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT (2011)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco
Efficient implementation and abstraction of systemc data types for fast simulation. FDL (2011)
Franco Fummi, Davide Quaglia, Francesco Stefanni
Communication-aware design flow for dependable networked embedded systems. ISCAS (2011)
Franco Fummi, Davide Quaglia, Francesco Stefanni
Communication-aware middleware-based design-space exploration for Networked Embedded Systems. VLSI-SoC (2011)
Nicola Bombieri, Giuseppe Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Embed. Syst. 2010 (2010)
Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
HIFSuite: Tools for HDL code conversion and manipulation. HLDVT (2010)
Franco Fummi, Davide Quaglia, Francesco Stefanni, Giovanni Lovato
Modeling of Communication Infrastructure for Design-Space Exploration. FDL (2010)
Franco Fummi, Davide Quaglia, Francesco Stefanni
Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems. DSD (2009)
Francesco Stefanni, Davide Quaglia, Franco Fummi
SystemC Simulation of Networked Embedded Systems. FDL (Selected Papers) (2008)
Giuseppe Di Guglielmo, Franco Fummi, Mark Hampton, Graziano Pravadelli, Francesco Stefanni
The role of parallel simulation in functional verification. HLDVT (2008)
Franco Fummi, Davide Quaglia, Francesco Stefanni
Network Fault Model for Dependability Assessment of Networked Embedded Systems. DFT (2008)
Franco Fummi, Davide Quaglia, Francesco Stefanni
A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. FDL (2008)