Network Fault Model for Dependability Assessment of Networked Embedded Systems. - Franco Fummi; Davide Quaglia; Francesco Stefanni (DFT, 2008)

A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. - Franco Fummi; Davide Quaglia; Francesco Stefanni (FDL, 2008)

SystemC Simulation of Networked Embedded Systems. - Francesco Stefanni; Davide Quaglia; Franco Fummi (FDL (Selected Papers), 2008)

The role of parallel simulation in functional verification. - Giuseppe Di Guglielmo; Franco Fummi; Mark Hampton; Graziano Pravadelli; Francesco Stefanni (HLDVT, 2008)

Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems. - Franco Fummi; Davide Quaglia; Francesco Stefanni (DSD, 2009)

Modeling of Communication Infrastructure for Design-Space Exploration. - Franco Fummi; Davide Quaglia; Francesco Stefanni; Giovanni Lovato (FDL, 2010)

HIFSuite: Tools for HDL code conversion and manipulation. - Nicola Bombieri; Giuseppe Di Guglielmo; Luigi Di Guglielmo; Michele Ferrari; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Alessandro Venturelli (HLDVT, 2010)

HIFSuite: Tools for HDL Code Conversion and Manipulation. - Nicola Bombieri; Giuseppe Di Guglielmo; Michele Ferrari; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Alessandro Venturelli (EURASIP J. Embed. Syst., 2010)

Efficient implementation and abstraction of systemc data types for fast simulation. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Francesco Stefanni; Sara Vinco (FDL, 2011)

UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (HLDVT, 2011)

Communication-aware design flow for dependable networked embedded systems. - Franco Fummi; Davide Quaglia; Francesco Stefanni (ISCAS, 2011)

Communication-aware middleware-based design-space exploration for Networked Embedded Systems. - Franco Fummi; Davide Quaglia; Francesco Stefanni (VLSI-SoC, 2011)

A design and veri?cation methodology for networked embedded systems. - Francesco Stefanni (2011)

Refinement of UML/MARTE models for the design of networked embedded systems. - Emad Samuel Malki Ebeid; Franco Fummi; Davide Quaglia; Francesco Stefanni (DATE, 2012)

SystemC Model Generation for Realistic Simulation of Networked Embedded Systems. - Mihai T. Lazarescu; Parinaz Sayyah; Davide Quaglia; Francesco Stefanni (DSD, 2012)

A formal support for homogeneous simulation of heterogeneous embedded systems. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (SIES, 2012)

HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Francesco Stefanni; Sara Vinco (Des. Autom. Embed. Syst., 2012)

SMAC: Smart Systems Co-design. - Nicola Bombieri; Giuliana Drogoudis; Giuliana Gangemi; Renaud Gillon; Enrico Macii; Massimo Poncino; Salvatore Rinaudo; Francesco Stefanni; Dimitrios Trachanis; Mark van Helvoort (DSD, 2013)

Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. - Franco Fummi; Michele Lora; Francesco Stefanni; Sara Vinco (FDL, 2013)

Automatic Network Protocol Synthesis from UML Sequence Diagrams. - Emad Samuel Malki Ebeid; Franco Fummi; Davide Quaglia; Francesco Stefanni (MTV, 2013)

UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (IEEE Trans. Computers, 2013)

Moving from co-simulation to simulation for effective smart systems design. - Franco Fummi; Michele Lora; Francesco Stefanni; Dimitrios Trachanis; Jahn Vanhese; Sara Vinco (DATE, 2014)

On the reuse of RTL assertions in SystemC TLM verification. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (LATW, 2014)

RTL property abstraction for TLM assertion-based verification. - Nicola Bombieri; Riccardo Filippozzi; Graziano Pravadelli; Francesco Stefanni (DATE, 2015)

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (J. Electron. Test., 2015)

A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection. - Diwei He; Stephen P. Morgan; Dimitrios Trachanis; Jan van Hese; Dimitris Drogoudis; Franco Fummi; Francesco Stefanni; Valerio Guarnieri; Barrie Hayes-Gill (Sensors, 2015)

Automatic generation of self-adaptive transactors from PSL assertions. - Florenc Demrozi; Graziano Pravadelli; Francesco Stefanni (FDL, 2016)

Automatic generation of cycle-accurate Simulink blocks from hdl ips. - Stefano Centomo; Michele Lora; Antonio Portaluri; Francesco Stefanni; Franco Fummi (FDL, 2017)

Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. - Stefano Centomo; Michele Lora; Antonio Portaluri; Francesco Stefanni; Franco Fummi (FDL (Selected Papers), 2017)

Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction. - Enrico Fraccaroli; Francesco Stefanni; Franco Fummi; Mark Zwolinski (FDL (Selected Papers), 2017)

Scalable open source smart grid simulator (SGSim). - Emad Ebeid; Rune Hylsberg Jacobsen; Francesco Stefanni; Davide Quaglia (ISGT, 2017)

A SystemC-based Simulator for design space exploration of smart wireless systems. - Gabriele Miorandi; Francesco Stefanni; Federico Fraccaroli; Davide Quaglia (DATE, 2018)

Network Synthesis for Distributed Embedded Systems. - Enrico Fraccaroli; Francesco Stefanni; Romeo Rizzi; Davide Quaglia; Franco Fummi (IEEE Trans. Computers, 2018)