Graziano  Pravadelli

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

Fast Links Links
La mia foto migliore, January 2, 2007
Qualification
Associate Professor

Disciplinary sector
ING-INF/05 - Information Processing 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.



Documents

Curriculum

Office hours
Place day Timetable
Ca' Vignal 2, floor 1, room 55 Monday 1:00 PM - 3:00 PM

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
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 95 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
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

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Advanced Operating Systems (2012/2013)   6    6 
Department Computer Science  Design automation of embedded systems (2012/2013)   6  eLearning 2 
Department Foreign Languages and Literatures  Information Technology [1 semestre] (2012/2013)   3  eLearning 3 
Department Foreign Languages and Literatures  Information Technology [2 semestre] (2012/2013)   3  eLearning 3 
Department Computer Science  Operating Systems (2012/2013)   12  eLearning 8 
Department Computer Science  Advanced Operating Systems (2011/2012)   6    6 
Department Computer Science  Design automation of embedded systems (2011/2012)   6  eLearning 2 
Department Foreign Languages and Literatures  Information Technology (2011/2012)   3  eLearning 3 
Department Neurological and Movement Sciences  Information Technology Skill (2011/2012)   2  eLearning 2 
Department Computer Science  Operating Systems (2011/2012)   12  eLearning 8 

People
Top