Francesco Stefanni

FotoCv,  February 3, 2016
Position
Spin-off staff
Academic sector
- - -
Office
Ca' Vignal 2,  Floor -2,  Room S137-S143
Telephone
+39 045 802 7085
Fax
+39 045 802 7068
E-mail
francesco|stefanni*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

Il ricevimento e' su appuntamento stabilito tramite email.

Modules

Modules running in the period selected: 8.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Computer Science Operating Systems (2015/2016)   12  eLearning [Laboratorio 1] (Laboratorio)
Bachelor's degree in Computer Science Operating Systems (2014/2015)   12  eLearning [Laboratorio 1] (Laboratorio)
Bachelor's degree in Computer Science Operating Systems (2013/2014)   12  eLearning [Laboratorio 1] (Laboratorio)
(Laboratorio Teoria)
Bachelor's degree in Computer Science Operating Systems (2012/2013)   12  eLearning [Laboratorio 1] (Laboratorio)
Bachelor's degree in Computer Science Operating Systems (2011/2012)   12  eLearning [Laboratorio 1] (Laboratorio)
Bachelor's degree in Computer Science Operating Systems (2010/2011)   12    [Laboratorio 1] (Laboratorio)
[Laboratorio 2] (Laboratorio)

 

Research groups

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
Networking systems Design techniques for networking systems, particularly devoted to: - Protocol Design and Architectures - Performance Evaluation - Network Measurement and characterization - Overlay Networks Sistemi ciberfisici
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 Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems
Projects
Title Starting date
Definizione di una metodologia (V-box) per la standardizzazione e automazione dell'intero processo di sviluppo di applicazioni embedded in modo conforme al V-model 11/1/13
RTL-to-RTM hierarchical abstraction e TSL-guided testbench generation 1/2/13
Progettazione di sistemi digitali basati su strutture logiche regolari (PRIN 2009) 7/15/11
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008) 1/27/10
Architetture per la gestione integrata di sistemi di rete 1/1/10
Modellazione e verifica di sistemi embedded 11/26/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
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2007) 9/22/08