Cyber-Physical and IoT Systems Design · University of Verona

IoT4Care

Graziano Pravadelli

Full Professor

Research interests

Embedded and cyber-physical systems · Semi-formal verification · Internet of Medical Things · Human activity recognition · Virtual coaching systems

Graziano Pravadelli is Full Professor of Information Processing Systems at the Department of Engineering for Innovation Medicine of the University of Verona. His research bridges embedded-system design and verification with IoT technologies for health and assisted living, and he is one of the founders of the IoT4Care research line.

On the systems side, his work includes semi-formal and assertion-based verification of hardware/software systems, design methodologies for embedded and cyber-physical platforms, simulation, testing and runtime analysis. He has also worked on reconfigurable systems and design automation, often with the objective of detecting incorrect behaviour early and making complex embedded systems easier to validate.

In IoT4Care, those engineering methods are applied to human activity recognition, wearable and wireless sensing, virtual coaching and digital health. Research with his group has addressed daily-life assistance, low-cost body-area networks, BLE and WiFi sensing, contactless mmWave monitoring, fall detection and quantitative analysis of Parkinsonian motor symptoms. The common goal is to turn sensing and embedded intelligence into systems that can operate outside tightly controlled laboratory settings while remaining practical, interpretable and verifiable enough for health-related applications.

Graziano is also a co-founder of EDALab, a University of Verona spin-off working on embedded software and IoT-based solutions.

Projects

  1. Smart-Pump

    2020 – 2021

    Smart-Pump: Intelligent assistive system to regulate the continuous administration of drugs in Parkinson’s patients.

    A Veneto FSE project combining motor-symptom monitoring and intelligent assistance to support more personalised continuous drug administration for people with Parkinson’s disease and give clinicians a richer view of treatment response.

    IoT4Care

  2. Bip-Bip

    2018 – 2019

    Bip-Bip: a wearable smart system to prevent freezing of gait in people affected by Parkinson’s disease.

    A Veneto FSE research project on wearable sensing and machine-learning support for anticipating freezing of gait in Parkinson’s disease, with the goal of triggering assistance before or during a freezing episode.

    IoT4Care

  3. ADA

    2017 – 2019

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

    A multidisciplinary IoT and virtual-coaching project for supporting autonomy and healthy ageing in people with Down syndrome, combining unobtrusive smart objects, personalised data analytics and daily-life coaching.

    IoT4Care

Publications

2025

  1. A Lightweight CNN for Real-Time Pre-Impact Fall Detection

    Cristian Turetta, Muhammad Toqeer Ali, Florenc Demrozi, Graziano Pravadelli

    DATE

    DOIDBLP

2024

  1. Artifact: WirelessEye - Seeing over WiFi Made Accessible

    Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty

    PerCom Workshops

    DOIDBLP

  2. Environmental Microchanges in WiFi Sensing

    Cristian Turetta, Philipp H. Kindt, Alejandro Masrur, Samarjit Chakraborty, Graziano Pravadelli, Florenc Demrozi

    DATE

    DBLPLink

  3. ICT-Based Solutions for Alzheimer's Disease Care: A Systematic Review

    Muhammed Toqeer Ali, Cristian Turetta, Florenc Demrozi, Graziano Pravadelli

    IEEE Access

    DOIDBLP

  4. SHPIA 2.0: An Easily Scalable, Low-Cost, Multi-purpose Smart Home Platform for Intelligent Applications

    Florenc Demrozi, Cristian Turetta, Graziano Pravadelli

    SN Comput. Sci.

    DOIDBLP

  5. WirelessEye - Seeing over WiFi Made Accessible

    Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty

    PerCom Workshops

    DOIDBLP

2023

  1. A Comprehensive Review of Automated Data Annotation Techniques in Human Activity Recognition

    Florenc Demrozi, Cristian Turetta, Fadi Al Machot, Graziano Pravadelli, Philipp H. Kindt

    CoRR

    DOIDBLPpreprint

  2. A Low-Cost Wireless Body Area Network for Human Activity Recognition in Healthy Life and Medical Applications

    Florenc Demrozi, Cristian Turetta, Philipp H. Kindt, Fabio Chiarani, Ruggero Angelo Bacchin, Nicola Valè, Francesco Pascucci, Paola Cesari, Nicola Smania, Stefano Tamburin, Graziano Pravadelli

    IEEE Trans. Emerg. Top. Comput.

    DOIDBLP

  3. Fostering Human Activity Recognition Workflows: An Open-Source Baseline Framework

    Florenc Demrozi, Cristian Turetta, Graziano Pravadelli

    ICDH

    DOIDBLP

  4. Non-Invasive Monitoring of Alzheimer's patients through WiFi Channel State Information

    Cristian Turetta, Florenc Demrozi, Sofia Franceschi, Davide Zamboni, Graziano Pravadelli

    IWASI

    DOIDBLP

  5. Towards Deep Learning-based Occupancy Detection Via WiFi Sensing in Unconstrained Environments

    Cristian Turetta, Geri Skenderi, Luigi Capogrosso, Florenc Demrozi, Philipp H. Kindt, Alejandro Masrur, Franco Fummi, Marco Cristani, Graziano Pravadelli

    DATE

    DOIDBLP

2022

  1. A freely available system for human activity recognition based on a low-cost body area network

    Cristian Turetta, Florenc Demrozi, Graziano Pravadelli

    COMPSAC

    DOIDBLP

  2. A virtual coaching platform to support therapy compliance in obesity

    Luisa Bissoli, Davide Bonacina, Nicolò Dalla Riva, Florenc Demrozi, Marin Jereghi, Nicola Marchiotto, Giovanni Perbellini, Bruno Pernice, Erica Pizzocaro, Graziano Pravadelli, Giuseppe Recchia, Anna Lia Sacerdoti, Cristian Turetta, Mauro Zamboni

    COMPSAC

    DOIDBLP

  3. Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era

    Michele Boldo, Nicola Bombieri, Stefano Centomo, Mirco De Marchi, Florenc Demrozi, Graziano Pravadelli, Davide Quaglia, Cristian Turetta

    ISoLA

    DOIDBLP

  4. Practical identity recognition using WiFi's Channel State Information

    Cristian Turetta, Florenc Demrozi, Philipp H. Kindt, Alejandro Masrur, Graziano Pravadelli

    DATE

    DOIDBLP

  5. WifiEye - Seeing over WiFi Made Accessible

    Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty

    CoRR

    DOIDBLPpreprint

2021

  1. A containerized ROS-compliant verification environment for robotic systems

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

    DATE

    DOIDBLP

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

    Florenc Demrozi, Fabio Chiarani, Graziano Pravadelli

    DATE

    DOIDBLP

  3. 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

    DBLPLinkpreprint

  4. Estimating indoor occupancy through low-cost BLE devices

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

    CoRR

    DBLPLinkpreprint

  5. Exploiting Bluetooth Low Energy smart tags for virtual coaching

    Florenc Demrozi, Nicola Serlonghi, Cristian Turetta, Cristiano Pravadelli, Graziano Pravadelli

    WF-IoT

    DOIDBLP

2020

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

    Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli

    VLSI-SoC

    DOIDBLP

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

    Florenc Demrozi, Graziano Pravadelli, Azra Bihorac, Parisa Rashidi

    IEEE Access

    DOIDBLP

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

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

    EMBC

    DOIDBLP

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

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

    IEEE Trans. Computers

    DOIDBLP

  5. MIST - monitor generation from informal specifications for firmware verification

    Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli

    VLSI-SOC

    DOIDBLP

  6. 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

    DOIDBLP

News

  1. Publication

    Multi-sensor soft labeling for human activity recognition at DATE 2026

    Graziano Pravadelli and collaborators presented a multi-sensor approach to soft labeling for human activity recognition at DATE 2026.

  2. Publication

    Edge-cloud verification for robotic applications

    A 2026 ACM TECS article by Nicola Bombieri, Graziano Pravadelli and collaborators studies edge-cloud orchestration of assertion-based monitors for robotic applications.

← All people