Francesco Stefanni

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