Graziano Pravadelli

Curriculum

•   CV (extended version, in English)   (pdf, it, 353 KB, 01/10/18)
•   CV (Italiano, formato Europeo)   (pdf, en, 190 KB, 30/04/20)
• CV (short, in English) (plain, en, 1 KB, 07/12/20)
 (Show/Hide)

Graziano Pravadelli works on simulation and semi-formal verification of embedded systems, i.e., electronic devices dedicated to specific applications, whose design is characterized by constraints in terms of size, computation, memory, energy consumption and costs. Embedded systems are commonly used in several fields like, for example, industrial plants, medical devices, consumer electronics, household appliances, ecc. He is also interested in the application of embedded systems for developing smart living and healthcare systems solutions.

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

MyUnivr

 

Projects

Title	Starting date
Technological scouting of a platform for visually impaired people	12/9/21
Scouting tecnologico per la realizzazione di un sistema intelligente per la raccolta dei rifiuti urbani	6/18/20
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications	3/9/20
Development of a virtual platform for automatic firmware verification	10/15/19
TREATS Therapeutic Robot in early Autism Trough a Smart System	3/21/19
Model-Based Design and Verication Flow for Embedded Vision Applications	2/26/19
Medical Smart Space	1/8/18
Computer Engineering for Industry 4.0	1/1/18
An IoT-based virtual coaching platform for assisting daily life activities of ageing persons with Down syndrome	1/1/18
PreMANI – Manifattura Predittiva: progettazione, sviluppo e implementazione di soluzioni di Digital Manufacturing per la previsione del la Qualità e la Manutenzione Intelligente	11/7/17
Partecipazione a conferenza "25th IFIP/IEEE International Conference on Very Large Scale Integration"	10/23/17
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
Smart Pole WSN Network	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

---

Graziano Pravadelli

Office	Collegial Body
member	PhD Commitee - Department Computer Science
member	Computer Science Teaching Committee - Department Computer Science
member	Human Centered Medical System Engineering Teaching Committee - Department Department of Engineering for Innovation Medicine
	Comitato Scientifico del Corso di perfezionamento in La gestione della persona con patologia neurologica in contesti protetti e strutture sanitarie e socio-assistenziali - Department Neurosciences, Biomedicine and Movement Sciences
member	Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Department Department of Engineering for Innovation Medicine