Graziano Pravadelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
60
Venues
16
Active years
2001–2026
Best venue rank
A*
Where they publish
Papers
60 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | A Multi-Sensor Approach for Soft Labeling in Human Activity Recognition Domain. | Matteo Iervasi, Cristian Turetta, Florenc Demrozi, Graziano Pravadelli |
| 2026 | ECMS | Eliminating The Impact Of The Offline Mapping Phase In Fingerprinting-Based Localization Techniques. | Florenc Demrozi, Francesco Tonini, Cristian Turetta, Graziano Pravadelli |
| 2026 | PERCOM | IMU-based pre-impact, impact, and post-impact fall detection dataset. | Muhammad Toqeer Ali, Cristian Turetta, Florenc Demrozi, Graziano Pravadelli |
| 2025 | DATE | A Baseline Framework for the Qualification of LTL Specification Miners. | Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli |
| 2025 | DATE | A Lightweight CNN for Real-Time Pre-Impact Fall Detection. | Cristian Turetta, Muhammad Toqeer Ali, Florenc Demrozi, Graziano Pravadelli |
| 2024 | DATE | Real-Time Multi-Person Identification and Tracking via HPE and IMU Data Fusion. | Mirco De Marchi, Cristian Turetta, Graziano Pravadelli, Nicola Bombieri |
| 2024 | DATE | Environmental Microchanges in WiFi Sensing. | Cristian Turetta, Philipp H. Kindt, Alejandro Masrur, Samarjit Chakraborty, Graziano Pravadelli, Florenc Demrozi |
| 2024 | FDL | Mining signal temporal logic specifications for hybrid systems. | Daniele Nicoletti, Samuele Germiniani, Graziano Pravadelli |
| 2024 | PERCOM | Artifact: WirelessEye - Seeing over WiFi Made Accessible. | Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty |
| 2024 | PERCOM | WirelessEye - Seeing over WiFi Made Accessible. | Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty |
| 2023 | DATE | Exploiting assertions mining and fault analysis to guide RTL-level approximation. | Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola |
| 2023 | DATE | 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 |
| 2023 | ICIAP | Video Sonification to Support Visually Impaired People: The VISaVIS Approach. | Marius Onofrei, Fabio Castellini, Graziano Pravadelli, Carlo Drioli, Francesco Setti |
| 2022 | COMPSAC | 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 |
| 2022 | COMPSAC | A freely available system for human activity recognition based on a low-cost body area network. | Cristian Turetta, Florenc Demrozi, Graziano Pravadelli |
| 2022 | DATE | Practical identity recognition using WiFi's Channel State Information. | Cristian Turetta, Florenc Demrozi, Philipp H. Kindt, Alejandro Masrur, Graziano Pravadelli |
| 2022 | ISoLA | 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 |
| 2021 | DATE | A containerized ROS-compliant verification environment for robotic systems. | Stefano Aldegheri, Nicola Bombieri, Samuele Germiniani, Federico Moschin, Graziano Pravadelli |
| 2021 | DATE | A low-cost BLE-based distance estimation, occupancy detection and counting system. | Florenc Demrozi, Fabio Chiarani, Graziano Pravadelli |
| 2019 | DATE | An indoor localization system to detect areas causing the freezing of gait in Parkinsonians. | Florenc Demrozi, Vladislav Bragoi, Federico Tramarin, Graziano Pravadelli |
| 2019 | FDL | RTL Assertion Mining with Automated RTL-to-TLM Abstraction. | Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik |
| 2019 | SMC | A model-based design flow for Dynamic Partial Reconfigurable FPGAs. | Enrico Giordano, Federico Di Marco, Graziano Pravadelli |
| 2018 | DATE | Symbolic assertion mining for security validation. | Alessandro Danese, Valeria Bertacco, Graziano Pravadelli |
| 2017 | DAC | A-TEAM: Automatic template-based assertion miner. | Alessandro Danese, Nicol Dalla Riva, Graziano Pravadelli |
| 2016 | DATE | Automatic generation of power state machines through dynamic mining of temporal assertions. | Alessandro Danese, Graziano Pravadelli, Ivan Zandona |
| 2016 | FDL | Automatic generation of self-adaptive transactors from PSL assertions. | Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni |
| 2015 | DATE | RTL property abstraction for TLM assertion-based verification. | Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni |
| 2015 | DATE | Automatic extraction of assertions from execution traces of behavioural models. | Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli |
| 2015 | ICCD | Exploiting GPU architectures for dynamic invariant mining. | Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli |
| 2013 | ETS | Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. | Giuseppe Di Guglielmo, Davide Ferraretto, Franco Fummi, Graziano Pravadelli |
| 2012 | DATE | MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. | Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Mller, Graziano Pravadelli, Sara Vinco |
| 2012 | DATE | Enabling dynamic assertion-based verification of embedded software through model-driven design. | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2012 | DDECS | On the use of assertions for embedded-software dynamic verification. | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2012 | ETS | Combining dynamic slicing and mutation operators for ESL correction. | Urmas Repinski, Hanno Hantson, Maksim Jenihhin, Jaan Raik, Raimund Ubar, Giuseppe Di Guglielmo, Graziano Pravadelli, Franco Fummi |
| 2011 | ETS | Optimization of Assertion Placement in Time-Constrained Embedded Systems. | Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita |
| 2011 | ICSE | Model-driven design and validation of embedded software. | Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek |
| 2011 | MEMOCODE | EFSM-based model-driven approach to concolic testing of system-level design. | Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia |
| 2010 | DAC | Abstraction of RTL IPs into embedded software. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2010 | DATE | RTOS-aware refinement for TLM2.0-based HW/SW designs. | Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Mller, Graziano Pravadelli, Tao Xie |
| 2010 | DATE | Vacuity analysis for property qualification by mutation of checkers. | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2010 | ICCD | DDPSL: An easy way of defining properties. | Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli |
| 2009 | DATE | Functional qualification of TLM verification. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe |
| 2009 | DATE | Correct-by-construction generation of device drivers based on RTL testbenches. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco |
| 2009 | DDECS | The impact of EFSM composition on functional ATPG. | Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa |
| 2009 | MEMOCODE | The role of mutation analysis for property qualification. | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2008 | DATE | A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2008 | MEMOCODE | Vacuity Analysis by Fault Simulation. | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2007 | DATE | Incremental ABV for functional validation of TL-to-RTL design refinement. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2007 | DATE | A smooth refinement flow for co-designing HW and SW threads. | Paolo Destro, Franco Fummi, Graziano Pravadelli |
| 2007 | MEMOCODE | Towards Equivalence Checking Between TLM and RTL Models. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Joo Marques-Silva |
| 2006 | DATE | On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2006 | ETS | FATE: a Functional ATPG to Traverse Unstabilized EFSMs. | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
| 2006 | MEMOCODE | A methodology for abstracting RTL designs into TL descriptions. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2006 | VTS | Improving Gate-Level ATPG by Traversing Concurrent EFSMs. | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
| 2005 | ETS | Coverage of formal properties based on a high-level fault model and functional ATPG. | Franco Fummi, Graziano Pravadelli, Franco Toto |
| 2005 | MEMOCODE | On the use of a high-level fault model to analyze logical consequence of properties. | Stefano Brait, Franco Fummi, Graziano Pravadelli |
| 2004 | DATE | An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. | Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli |
| 2004 | ETS | Functional fault coverage: the chamber of secrets or an accurate estimation of gate-level coverage? | Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
| 2003 | MEMOCODE | On the Use of a High-Level Fault Model to Check Properties Incompleteness. | Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto |
| 2001 | ITC | AMLETO: a multi-language environment for functional test generation. | Alessandro Fin, Franco Fummi, Graziano Pravadelli |