Full Professor

Graziano Pravadelli

Email

graziano.pravadelli@univr.it

Research Area

Cyber-physical systems

Personal Page

Visit link

Full Publications list

Visit link

Dblp Page

Visit link

BIOGRAPHY

Graziano Pravadelli, PhD in computer science, IEEE senior member, IFIP WG 10.5 chair, is full professor of information processing systems at the Computer Science Department of the University of Verona (Italy) since 2018.

Since July 2017 he is President of the Quality Assurance Board (Presidio della Qualità) of the University of Verona. Since 2015 he is an expert evaluator for ANVUR (Agenzia Nazionale di Valutazione del Sistema Universitario e della Ricerca), the Italian agency for the evaluation of the academic and research system.

His main interests focus on semi-formal verification of HW/SW embedded systems as well as design and validation of virtual coaching systems to promote well-being and health of people through IoT technologies. 

Since 2007 he is co-founder of EDALAB, an SME that develops embedded software and IoT-based solutions.

DOCUMENTS

Short english cv

RELATED PUBLICATIONS

Publication Project & Area

Estimating indoor occupancy through low-cost BLE devices.

Florenc Demrozi, Fabio Chiarani, Cristian Turetta, Philipp H. Kindt, Graziano Pravadelli

CoRR, Informal Publications, 2021

 		ADA: An IoT-based virtual coaching platform for assisting daily life activities of ageing persons with Down syndrome.
Internet of Things 4 Care

B-HAR - an open-source baseline framework for in depth study of human activity recognition datasets and workflows.

Florenc Demrozi, Cristian Turetta, Graziano Pravadelli

CoRR, Informal Publications, 2021

 		None
Internet of Things 4 Care

A containerized ROS-compliant verification environment for robotic systems.

Stefano Aldegheri, Nicola Bombieri, Samuele Germiniani, Federico Moschin, Graziano Pravadelli

DATE, Conference and Workshop Papers, 2021

 		None
PARCO lab

A low-cost BLE-based distance estimation, occupancy detection and counting system.

Florenc Demrozi, Fabio Chiarani, Graziano Pravadelli

DATE, Conference and Workshop Papers, 2021

 		None
Internet of Things 4 Care

Toward a Wearable System for Predicting Freezing of Gait in People Affected by Parkinson's Disease.

Florenc Demrozi, Ruggero Bacchin, Stefano Tamburin, Marco Cristani, Graziano Pravadelli

IEEE J. Biomed. Health Informatics, Journal Articles, 2020

 		ADA: An IoT-based virtual coaching platform for assisting daily life activities of ageing persons with Down syndrome.
Internet of Things 4 Care

From Informal Specifications to an ABV Framework for Industrial Firmware Verification.

Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli

VLSI-SoC, Conference and Workshop Papers, 2020

Joint Distribution and Transitions of Pain and Activity in Critically Ill Patients.

Florenc Demrozi, Graziano Pravadelli, Patrick J. Tighe, Azra Bihorac, Parisa Rashidi

EMBC, Conference and Workshop Papers, 2020

 		ADA: An IoT-based virtual coaching platform for assisting daily life activities of ageing persons with Down syndrome.
Internet of Things 4 Care

MIST - monitor generation from informal specifications for firmware verification.

Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli

VLSI-SOC, Conference and Workshop Papers, 2020

Human Activity Recognition Using Inertial, Physiological and Environmental Sensors - A Comprehensive Survey.

Florenc Demrozi, Graziano Pravadelli, Azra Bihorac, Parisa Rashidi

IEEE Access, Journal Articles, 2020

 		ADA: An IoT-based virtual coaching platform for assisting daily life activities of ageing persons with Down syndrome.
Internet of Things 4 Care

Mangrove - An Inference-Based Dynamic Invariant Mining for GPU Architectures.

Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli

IEEE Trans. Computers, Journal Articles, 2020

 		None
PARCO lab

A model-based design flow for Dynamic Partial Reconfigurable FPGAs.

Enrico Giordano, Federico Di Marco, Graziano Pravadelli

SMC, Conference and Workshop Papers, 2019

RTL Assertion Mining with Automated RTL-to-TLM Abstraction.

Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik

FDL, Conference and Workshop Papers, 2019

 		None
PARCO lab

An indoor localization system to detect areas causing the freezing of gait in Parkinsonians.

Florenc Demrozi, Vladislav Bragoi, Federico Tramarin, Graziano Pravadelli

DATE, Conference and Workshop Papers, 2019

 		ADA: An IoT-based virtual coaching platform for assisting daily life activities of ageing persons with Down syndrome.
Internet of Things 4 Care

VLSI-SoC - Design and Engineering of Electronics Systems Based on New Computing Paradigms - 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018, Revised and Extended Selected Papers

Nicola Bombieri, Graziano Pravadelli, Masahiro Fujita, Todd M. Austin, Ricardo Reis 0001

['VLSI-SoC', 'IFIP Advances in Information and Communication Technology'], Editorship, 2019

 		None
PARCO lab

Engineering of an Effective Automatic Dynamic Assertion Mining Platform.

Tara Ghasempouri, Jan Malburg, Alessandro Danese, Graziano Pravadelli, Görschwin Fey, Jaan Raik

VLSI-SoC, Conference and Workshop Papers, 2019
1 of 9

Cookies disclaimer

Our site saves small pieces of text information (cookies) on your device in order to deliver better content and for statistical purposes. You can disable the usage of cookies by changing the settings of your browser. By browsing our website without changing the browser settings you grant us permission to store that information on your device.