Franco Fummi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems IEEE Transactions on Computers	2020-10-02	Paper
Translation, Abstraction and Integration for Effective Smart System Design IEEE Transactions on Computers	2020-01-28	Paper
Network Synthesis for Distributed Embedded Systems IEEE Transactions on Computers	2018-09-20	Paper
A hierarchical test generation approach for large controllers IEEE Transactions on Computers	2018-07-09	Paper
Properties Incompleteness Evaluation by Functional Verification IEEE Transactions on Computers	2018-06-12	Paper
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions IEEE Transactions on Computers	2017-07-27	Paper
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration IEEE Transactions on Computers	2017-07-12	Paper
Testbench Qualification of SystemC TLM Protocols through Mutation Analysis IEEE Transactions on Computers	2017-06-20	Paper
Code Manipulation for Virtual Platform Integration IEEE Transactions on Computers	2017-05-16	Paper
Formal Methods for Hardware Verification Lecture Notes in Computer Science	2007-05-02	Paper
A complete testing strategy based on interacting and hierarchical FSMs Integration	1998-08-13	Paper
FsmTest: Functional test generation for sequential circuits Integration	1997-02-27	Paper

Research outcomes over time

This page was built for person: Franco Fummi