Franco  Fummi

The contents of this page are the responsibility of the person: Franco Fummi
In caso di assenza rivolgersi alla struttura: Department of Computer Science

Fast Links Links
Foto 2 Franco Fummi, September 16, 2009
Qualification
Full Professor

Disciplinary sector
ING-INF/05 - Information Processing Systems


Office
Ca' Vignal 2,  Floor 1,  Room 59

Telephone
045 802 7994

Fax
045 802 7068

E-mail
franco|fummi*univr|it <== Replace | with . and * with @ to have the right email address.

Skype
My status


Head of
Department Computer Science

Chairperson
Istitutional duties

Documents

Curriculum

Office hours
Place day Timetable
Ca' Vignal 2, floor 1, room 61 Tuesday 8:30 AM - 10:30 AM

Research groups
Name Description
Electronic Systems Design (ESD) Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies

Skills
Topic Description Research area
Embedded system design Design techniques for the automatic generation of embedded hardware/software starting from transactional level models (TLM) and with emphasis on: - TLM-RTL synthesis and abstraction - RTL-to-SW abstraction - TLM transactor generation - Device-driver generation - Embedded SW for multicore systems - Hardware description language-based modeling - Middleware-based design Cyber-physical systems
Computer systems organization - Embedded and cyber-physical systems
Networking systems Design techniques for networking systems, particularly devoted to: - Protocol Design and Architectures - Performance Evaluation - Network Measurement and characterization - Overlay Networks Cyber-physical systems
Networks - Network architectures
Networked embedded systems Design techniques for networked embedded systems, particularly devoted to: - networked embedded systems co-design - networked embedded systems co-simulation - QoS-based design - M2M and sensor network design Cyber-physical systems
Computer systems organization - Embedded and cyber-physical systems
Embedded system verification Verification techniques for embedded systems at different abstraction levels, with particular emphasis on: - Static verification - Dynamic verification - Semi-formal verification - Hybrid and real-time systems Cyber-physical systems
Hardware - Hardware validation

Research products

Year
Type of item
Number of research products per page
publications on 248 total
 

Projects
Title Starting date
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development 9/1/11
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009) 7/15/11
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM) 1/1/11
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) 10/14/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) 10/14/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) 10/14/10
AuTOMatic verifICation tool for embedded software (ATOMIC) 5/5/10
Tools for cOoperating Objects applications Life-cycle (TOOL) 3/1/10
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008) 1/27/10
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 10/1/09
Reliability aware methods for robust design technology (RELMUST) 7/6/09
Creazione di un sistema automatico per la Validazione di un sistema di sviluppo di software embedded 4/9/09
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici 4/6/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 11/7/08
Studio Progetto Sviluppo di una Piattaforma Embedded per registratori di cassa 10/8/08
Consulenza e assistenza per la realizazione di applicazioni embedded per sistemi informativi e diagnostici 10/3/08
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) 9/22/08
Studio Progetto Sviluppo Piattaforma SW per casse automatiche 4/30/08
An EFSM-based Framework for Designing and Verifying Embedded Software (EFFORT) 1/1/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 1/1/08
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY) 12/17/07
A multimedia platform for ZigBee based home automation (Z-Home) 11/1/07
Configurable embedded platform for broadband wireless communications over transportation systems (WirelessTransPlat) 9/1/07
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH) 7/13/07
Implementazione di un centralino VoIP per applicazioni ferroviarie 7/5/07
Consulenza e assistenza per lo sviluppo dell'interfaccia grafica e debugging del software sul sistema di riconoscimento targhe (NC5310) 7/3/07
Consulenza e supporto nello sviluppo dei requisiti per l'acquisizione del nuovo sistema informatico 6/18/07
Design and implementation of the HDL Propagation Analysis Engine (PAE) and organization of mutation testing research community 5/24/07
Prototipo di un centralino VoIP per applicazioni ferroviarie 4/18/07
Yield Improvement in Nanotechnology Production Process of Standard Cells Based Integrated Circuits (ImpNanolC) - Joint Project 2005 1/1/07
Modeling and Co-simulation Methods and Tools for the Architectural Exploration and Optimization of Smart Devices (McMEOS) - Joint Project 2005 1/1/07
Architettura eEPC per l'interazione Terminale-Lettore RFID basata su protocollo ZigBee 9/22/06
Valutazione delle procedure informatiche per la gestione della biglietteria al fine di identificare delle specifiche funzionali e architetturali che permettano di difinire le modlaità di acquisizione delle procedure informatiche 7/18/06
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life 7/1/06
An embedded networked architecture to monitor the wine supply chain (eWINE) 6/1/06
VERTIGO: Verification and Validation of Embedded Systems Design Workbench 6/1/06
Infrastrutture avanzate per il trasporto di dati e voce su rete in ambito ferroviario 5/2/06
Inserimento di nuove funzionalità all'interno della piattaforma di trasmissione multimediale di TVBLOB e la loro verifica attraverso la simulazione della piattaforma in un contesto di rete 2/14/06
Manufacturability Characterization of Standard Cells for Deep Submicron Chip 2/14/06
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) 1/30/06
Servizi di consulenza su CED Verona 12/5/05
Ambiente di modellazione e verifica per terminali mobili 12/1/05
Consulenza e supporto allo sviluppo di strumenti di monitoraggio e gestione della rete 6/22/05
Co-simulation strategies of the Ultimodule platform 5/20/05
Completamento e trubleshooting gestione remota del NOC di firenze e supporto all'analisi degli strumenti di monitoraggio della rete 1/13/05
Realizzazione della libreria Java, realizzazione applicazione e produzione documentazione 12/20/04
Tecniche di modellazione di piattaforme per terminali mobili 5/1/04
Timing-accurate co-simulation of the Ultimodule platform 1/1/04
Tecnologie low-power per terminali mobili e ambiente di esecuzione distribuito per terminali mobili 10/28/03
Ambienti per la progettazione di applicazioni per terminali mobili 10/1/03
Consulenza gestione del NOC di AGSMTelecomunicazioni 7/16/03
Gestione sistema di rete 6/1/03
1/14/03
12/1/02
12/1/02
Modeling, Simulation and Validation of System-On-Chip 5/1/02
5/1/02
SYMBAD: Formal Verification in System Level Based Design 3/1/02
Modellizzazione e simulazione di sistemi integrati complessi per applicazioni multimediali 10/1/01
Metodi e strumenti avanzati per la gestione di reti di calcolatori per il progetto elettronico 9/1/01
Modellazione e Analisi di Sistemi Embedded Distribuiti 6/1/01
Applicazione di una metodologia ibrida per la verifica funzionale 5/1/01
Testability evaluation of Critical Control System 1/1/01
Tecniche di Progetto e Simulazione di Sistemi Embedded per il Controllo 4/1/00
Applicazione del linguaggio VHDL alla specifica di circuiti proprietari 3/31/00

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Computer Architecture (2012/2013)   12  eLearning 9 
Department Computer Science  Design automation of embedded systems (2012/2013)   6  eLearning 2 
Department Computer Science  Embedded systems design (2012/2013)   6  eLearning 6 
Department Computer Science  Computer Architecture (2011/2012)   12  eLearning 9 
Department Computer Science  Design automation of embedded systems (2011/2012)   6  eLearning 2 
Department Computer Science  Embedded systems design (2011/2012)   6  eLearning 6 

People
Top