default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancesco Stefanni
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
[j6]Enrico Fraccaroli
, Francesco Stefanni, Romeo Rizzi, Davide Quaglia, Franco Fummi:
Network Synthesis for Distributed Embedded Systems. IEEE Trans. Computers 67(9): 1315-1330 (2018)- [c27]Gabriele Miorandi, Francesco Stefanni, Federico Fraccaroli, Davide Quaglia:
A SystemC-based Simulator for design space exploration of smart wireless systems. DATE 2018: 666-671 - 2017
- [c26]Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi:
Automatic generation of cycle-accurate Simulink blocks from hdl ips. FDL 2017: 1-8 - [c25]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: 1-23 - [c24]Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski:
Fault analysis in analog circuits through language manipulation and abstraction. FDL 2017: 1-7 - [c23]Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski:
Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction. FDL (Selected Papers) 2017: 89-105 - [c22]Emad Ebeid, Rune Hylsberg Jacobsen, Francesco Stefanni, Davide Quaglia:
Scalable open source smart grid simulator (SGSim). ISGT 2017: 1-5 - 2016
- [c21]Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni:
Automatic generation of self-adaptive transactors from PSL assertions. FDL 2016: 1-7 - 2015
- [j5]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): 167-180 (2015) - [j4]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): 17076-17088 (2015) - [c20]Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni:
RTL property abstraction for TLM assertion-based verification. DATE 2015: 85-90 - 2014
- [c19]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: 1-4 - [c18]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: 1-6 - 2013
- [j3]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): 225-241 (2013) - [c17]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: 253-259 - [c16]Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco:
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. FDL 2013: 1-4 - [c15]Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni:
Automatic Network Protocol Synthesis from UML Sequence Diagrams. MTV 2013: 68-73 - 2012
- [j2]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): 115-135 (2012) - [c14]Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni:
Refinement of UML/MARTE models for the design of networked embedded systems. DATE 2012: 1072-1077 - [c13]Mihai T. Lazarescu, Parinaz Sayyah, Davide Quaglia, Francesco Stefanni:
SystemC Model Generation for Realistic Simulation of Networked Embedded Systems. DSD 2012: 423-426 - [c12]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
A formal support for homogeneous simulation of heterogeneous embedded systems. SIES 2012: 211-219 - 2011
- [b1]Francesco Stefanni:
A design and veri?cation methodology for networked embedded systems. University of Verona, Italy, 2011 - [c11]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco:
Efficient implementation and abstraction of systemc data types for fast simulation. FDL 2011: 1-7 - [c10]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT 2011: 33-40 - [c9]Franco Fummi, Davide Quaglia, Francesco Stefanni:
Communication-aware design flow for dependable networked embedded systems. ISCAS 2011: 2861-2864 - [c8]Franco Fummi, Davide Quaglia, Francesco Stefanni:
Communication-aware middleware-based design-space exploration for Networked Embedded Systems. VLSI-SoC 2011: 168-171 - 2010
- [j1]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) - [c7]Franco Fummi, Davide Quaglia, Francesco Stefanni, Giovanni Lovato:
Modeling of Communication Infrastructure for Design-Space Exploration. FDL 2010: 92-97 - [c6]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: 40-41
2000 – 2009
- 2009
- [c5]Franco Fummi, Davide Quaglia, Francesco Stefanni:
Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems. DSD 2009: 225-228 - 2008
- [c4]Franco Fummi, Davide Quaglia, Francesco Stefanni:
Network Fault Model for Dependability Assessment of Networked Embedded Systems. DFT 2008: 54-62 - [c3]Franco Fummi, Davide Quaglia, Francesco Stefanni:
A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. FDL 2008: 49-54 - [c2]Francesco Stefanni, Davide Quaglia, Franco Fummi:
SystemC Simulation of Networked Embedded Systems. FDL (Selected Papers) 2008: 201-211 - [c1]Giuseppe Di Guglielmo, Franco Fummi, Mark Hampton, Graziano Pravadelli, Francesco Stefanni:
The role of parallel simulation in functional verification. HLDVT 2008: 117-124
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
