Graziano Pravadelli

Foto,  August 20, 2015
Position
Associate Professor
Disciplinary sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Research sector (ERC)
PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems

Office
Ca' Vignal 2,  Floor 1,  Room 51
Telephone
+39 045 802 7081
Fax
+39 045 802 7068
E-mail
graziano|pravadelli*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

Thursday, Hours 4:00 PM - 6:00 PM,  
Si consiglia sempre di prendere appuntamento via email.

Curriculum

Modules

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Computer Science and Engineering Advanced Operating Systems (2017/2018)   6   
Master's degree in Computer Science and Engineering Design automation of embedded systems (2017/2018)   6   
Bachelor's degree in Computer Science Operating Systems (2017/2018)   12    (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2016/2017)   6  eLearning
Master's degree in Computer Science and Engineering Design automation of embedded systems (2016/2017)   6  eLearning
Bachelor's degree in Computer Science Operating Systems (2016/2017)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2015/2016)   6   
Master's degree in Computer Science and Engineering Design automation of embedded systems (2015/2016)   6  eLearning
Bachelor's degree in Computer Science Operating Systems (2015/2016)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2014/2015)   6  eLearning
Master's degree in Computer Science and Engineering Design automation of embedded systems (2014/2015)   6  eLearning
Bachelor's degree in Computer Science Operating Systems (2014/2015)   12  eLearning (Teoria)
PAS C310 Industrial IT workshop Didattica e laboratorio (2014/2015)   7  eLearning SISTEMI OPERATIVI
PAS C310 Industrial IT workshop Sistemi operativi e reti (2014/2015)   4  eLearning SISTEMI OPERATIVI
Master's degree in Computer Science and Engineering Advanced Operating Systems (2013/2014)   6   
Master's degree in Computer Science and Engineering Design automation of embedded systems (2013/2014)   6  eLearning
Bachelor's degree in Computer Science Operating Systems (2013/2014)   12  eLearning (Teoria)
PAS C300 IT and data management laboratory Didattica e laboratorio (2013/2014)   6  eLearning SISTEMI OPERATIVI
Master's degree in Computer Science and Engineering Advanced Operating Systems (2012/2013)   6   
Master's degree in Computer Science and Engineering Design automation of embedded systems (2012/2013)   6  eLearning
Bachelor's degree in Languages and Cultures for Tourism and International Commerce Information Technology [1 semestre] (2012/2013)   3  eLearning
Bachelor's degree in Languages and Cultures for Tourism and International Commerce Information Technology [2 semestre] (2012/2013)   3  eLearning
Bachelor's degree in Computer Science Operating Systems (2012/2013)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2011/2012)   6   
Master's degree in Computer Science and Engineering Design automation of embedded systems (2011/2012)   6  eLearning
Bachelor's degree in Languages and Cultures for Tourism and International Commerce Information Technology (2011/2012)   3  eLearning
Bachelor's degree in Sport and Exercise Science (from 2008-2009) Information Technology Skill (2011/2012)   2  eLearning
Bachelor's degree in Computer Science Operating Systems (2011/2012)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2010/2011)   6   
Master's degree in Computer Science and Engineering Design automation of embedded systems (2010/2011)   6  eLearning
Bachelor's degree in Languages and Cultures for Tourism and International Commerce Information Technology (2010/2011)   3   
Bachelor's degree in Sport and Exercise Science (from 2008-2009) Information Technology Skill (2010/2011)   2   
Bachelor's degree in Computer Science Operating Systems (2010/2011)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2009/2010)   6   
Master's degree in Computer Science and Engineering Design automation of embedded systems (2009/2010)   6  eLearning
Bachelor's degree in Foreign Languages and Literatures Information Technology (2009/2010)   3   
Bachelor's degree in Languages and Culture for Tourism and International Commerce (until 2007-2008) (not running) Information Technology (2009/2010)   3   
Bachelor's degree in Computer Science Operating Systems (2009/2010)   12    (Teoria)
Masters in Computer Science Advanced Operating Systems (2008/2009)   5    Teoria
Laboratorio
Bachelor's degree in Languages and Cultures for Tourism and International Commerce Information Technology [II semestre] (2008/2009)   3   
Bachelor in Computer Science (until 2008-2009 academic year) Operating Systems (2008/2009)   10    Teoria
Laboratorio
Masters in Computer Science Advanced Operating Systems (2007/2008)   5    Teoria
Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Operating Systems (2007/2008)   10    Teoria
Laboratorio
Masters in Computer Science Advanced Operating Systems (2006/2007)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Operating Systems (2006/2007)   10    Laboratorio
Teoria
Level 1 Masters in Network Planning and Management Sistemi di Elaborazione delle Informazioni di Rete (2006/2007)   5     
Masters in Computer Science Advanced Operating Systems (2005/2006)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Operating Systems (2005/2006)   10    Teoria
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Operating Systems (2005/2006)   10    Laboratorio
Masters in Computer Science Advanced Operating Systems (2004/2005)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Operating Systems (2004/2005)   10      Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2003/2004)   10      Laboratorio [Informatica (G-Z)]
  Laboratorio [Tecnologie e Informatica (A-F)]

 

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
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 Sistemi ciberfisici
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 Sistemi ciberfisici
Hardware - Hardware validation
Projects
Title Starting date
Design and implementation of a monitoring and control system based on multi wireless protocols 1/1/17
A framework for efficient TLM modeling and simulation of smart systems 2/29/16
TOYS - TOward Industrial Smart DisplaYS - Joint Projects 2015 1/1/16
SPAWNE - Smart Pole WSN Network - Joint Project 2014 1/2/15
Progettazione e implementazione di una piattaforma di teleassistenza mobile audio e video basato sulla Realtà Aumentata e Reti di Sensori Wearable (Glasses Hidden On-Site Technician) 1/1/15
Implementazione di una piattaforma embedded per l'attuazione di servizi di risparmio energetico (Progetto smart green data center) 12/1/14
The Translation Wiki project 11/18/13
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
A verification methodology for embedded software to produce a certification 7/30/13
RTL-to-RTM hierarchical abstraction e TSL-guided testbench generation 1/2/13
A middleware for ZigBee devices 1/2/13
A WSN-based system for monitoring and controlling 7/20/12
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
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008) 1/27/10
Architetture per sistemi embedded di controllo e comunicazione 1/1/10
Architetture per la gestione integrata di sistemi di rete 1/1/10
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori 1/1/10
Modellazione e verifica di sistemi embedded 11/26/09
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 10/1/09
Reliability aware methods for robust design technology (RELMUST) 7/6/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 11/7/08
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) 9/22/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
Yield Improvement in Nanotechnology Production Process of Standard Cells Based Integrated Circuits (ImpNanolC) - Joint Project 2005 1/1/07
VERTIGO: Verification and Validation of Embedded Systems Design Workbench 6/1/06
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) 1/30/06
Ambiente di modellazione e verifica per terminali mobili 12/1/05
Tecniche di modellazione di piattaforme per terminali mobili 5/1/04
Modeling, Simulation and Validation of System-On-Chip 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
Modellazione e Analisi di Sistemi Embedded Distribuiti 6/1/01
Applicazione di una metodologia ibrida per la verifica funzionale 5/1/01




Chairperson

Graziano Pravadelli
Office Collegial Body
associate prof. Council of the PhD School in Computer Science - Department Computer Science
component Collegio Didattico di Informatica - Department Computer Science
component Teaching staff body for the master in Planning and Management of Network Systems
component Computer Science Department Council - Department Computer Science