FUMMI, Franco
FUMMI, Franco
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
A 1000X Speed Up for Properties Completeness Evaluation
2002-01-01 A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto
A BDD Based Algorithm for Detecting Difficult Faults
1995-01-01 C., Bolchini; Fummi, Franco; R., Gemelli; F., Salice
A CLP-based Functional ATPG for Extended FSMs
2007-01-01 Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano
A Combined Approach to Validate the Design of Embedded Network Devices
2002-01-01 Drago, Nicola; Fummi, Franco; Martignano, Maurizio; Martini, Stefano
A Common Manipulation Framework for Transistor-Level Languages
2021-01-01 Dall'Ora, Nicola; Azam, Sadia; Fraccaroli, Enrico; Alberts, André; Fummi, Franco
A Complete Test Strategy Based on Interacting and Hierarchical FSMs
1997-01-01 Fummi, Franco; D., Sciuto
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures
2021-01-01 Lumpp, Francesco; Panato, Marco; Fummi, Franco; Bombieri, Nicola
A Contract-based Methodology for Production Lines Validation
2019-01-01 Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors
2014-01-01 Guarnieri, Valerio; M., Petricca; A., Sassone; S., Vinco; Bombieri, Nicola; Fummi, Franco; E., Macii; M., Poncino
A Data Fusion Service-Oriented Infrastructure for Production Line Monitoring
2024-01-01 Gaiardelli, Sebastiano; Dall'Ora, Nicola; Ponzio, Francesco; Fraccaroli, Enrico; Fummi, Franco; Di Cataldo, Santa; Vinco, Sara
A Design Methodology for the Correct Specification of VLSI Systems
1993-01-01 C., Bolchini; M., Bombana; Fummi, Franco; P., Cavalloro; C., Costi; G., Zaza
A Design Methodology of Multi-level Digital Twins
2021-01-01 Centomo, Stefano; Avogaro, Andrea; Panato, Marco; Tadiello, Carlo; Fummi, Franco
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences
2016-01-01 Fraccaroli, Enrico; Lora, Michele; Fummi, Franco; Montuschi, Paolo
A Fault Tolerant Incremental Design Methodology
2002-01-01 Cailotto, Stefano; Fin, Alessandro; Fummi, Franco
A Fine-grained Performance Model for GPU Architectures
2016-01-01 Bombieri, Nicola; Busato, Federico; Fummi, Franco
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems
2012-01-01 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara
A Framework for Design Space Exploration and Performance Analysis of Networked Embedded Systems
2014-01-01 Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Hector, Posadas; Eugenio, Villar
A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS
2022-01-01 Tosoni, Francesco; Dall'Ora, Nicola; Fraccaroli, Enrico; Fummi, Franco
A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS
2018-01-01 Aldegheri, Stefano; Bombieri, Nicola; Dall'Ora, Nicola; Fummi, Franco; Girardi, Simone; Marco, Panato
A Functional Approach to Delay Fault Test Generation for Sequential Circuits
1994-01-01 Fummi, Franco; D., Sciuto; M., Serra
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A 1000X Speed Up for Properties Completeness Evaluation | 1-gen-2002 | A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto | |
| A BDD Based Algorithm for Detecting Difficult Faults | 1-gen-1995 | C., Bolchini; Fummi, Franco; R., Gemelli; F., Salice | |
| A CLP-based Functional ATPG for Extended FSMs | 1-gen-2007 | Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano | |
| A Combined Approach to Validate the Design of Embedded Network Devices | 1-gen-2002 | Drago, Nicola; Fummi, Franco; Martignano, Maurizio; Martini, Stefano | |
| A Common Manipulation Framework for Transistor-Level Languages | 1-gen-2021 | Dall'Ora, Nicola; Azam, Sadia; Fraccaroli, Enrico; Alberts, André; Fummi, Franco | |
| A Complete Test Strategy Based on Interacting and Hierarchical FSMs | 1-gen-1997 | Fummi, Franco; D., Sciuto | |
| A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures | 1-gen-2021 | Lumpp, Francesco; Panato, Marco; Fummi, Franco; Bombieri, Nicola | |
| A Contract-based Methodology for Production Lines Validation | 1-gen-2019 | Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco | |
| A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors | 1-gen-2014 | Guarnieri, Valerio; M., Petricca; A., Sassone; S., Vinco; Bombieri, Nicola; Fummi, Franco; E., Macii; M., Poncino | |
| A Data Fusion Service-Oriented Infrastructure for Production Line Monitoring | 1-gen-2024 | Gaiardelli, Sebastiano; Dall'Ora, Nicola; Ponzio, Francesco; Fraccaroli, Enrico; Fummi, Franco; Di Cataldo, Santa; Vinco, Sara | |
| A Design Methodology for the Correct Specification of VLSI Systems | 1-gen-1993 | C., Bolchini; M., Bombana; Fummi, Franco; P., Cavalloro; C., Costi; G., Zaza | |
| A Design Methodology of Multi-level Digital Twins | 1-gen-2021 | Centomo, Stefano; Avogaro, Andrea; Panato, Marco; Tadiello, Carlo; Fummi, Franco | |
| A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences | 1-gen-2016 | Fraccaroli, Enrico; Lora, Michele; Fummi, Franco; Montuschi, Paolo | |
| A Fault Tolerant Incremental Design Methodology | 1-gen-2002 | Cailotto, Stefano; Fin, Alessandro; Fummi, Franco | |
| A Fine-grained Performance Model for GPU Architectures | 1-gen-2016 | Bombieri, Nicola; Busato, Federico; Fummi, Franco | |
| A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems | 1-gen-2012 | Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara | |
| A Framework for Design Space Exploration and Performance Analysis of Networked Embedded Systems | 1-gen-2014 | Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Hector, Posadas; Eugenio, Villar | |
| A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS | 1-gen-2022 | Tosoni, Francesco; Dall'Ora, Nicola; Fraccaroli, Enrico; Fummi, Franco | |
| A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS | 1-gen-2018 | Aldegheri, Stefano; Bombieri, Nicola; Dall'Ora, Nicola; Fummi, Franco; Girardi, Simone; Marco, Panato | |
| A Functional Approach to Delay Fault Test Generation for Sequential Circuits | 1-gen-1994 | Fummi, Franco; D., Sciuto; M., Serra |