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 Co-Simulation Methodology for HW/SW Validation and Performance Estimation
2009-01-01 Fummi, Franco; Loghi, M.; Poncino, M.; 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 Complete Testing 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 Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors
2019-01-01 Vinco, Sara; Bombieri, Nicola; Pagliari, Daniele Jahier; Fummi, Franco; Macii, Enrico; Poncino, Massimo
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 Flow based on Docker and Kubernetes for ROS-based Robotic Software Applications
2024-01-01 Lumpp, Francesco; Panato, Marco; Bombieri, Nicola; Fummi, Franco
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
| 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 Co-Simulation Methodology for HW/SW Validation and Performance Estimation | 1-gen-2009 | Fummi, Franco; Loghi, M.; Poncino, M.; 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 Complete Testing 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 Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors | 1-gen-2019 | Vinco, Sara; Bombieri, Nicola; Pagliari, Daniele Jahier; Fummi, Franco; Macii, Enrico; Poncino, Massimo | |
| 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 Flow based on Docker and Kubernetes for ROS-based Robotic Software Applications | 1-gen-2024 | Lumpp, Francesco; Panato, Marco; Bombieri, Nicola; Fummi, Franco | |
| 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 |