Graziano Pravadelli

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 65

Top Venues

Publications

Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty
WirelessEye - Seeing over WiFi Made Accessible. PerCom Workshops (2024)
Mirco De Marchi, Cristian Turetta, Graziano Pravadelli, Nicola Bombieri
Real-Time Multi-Person Identification and Tracking via HPE and IMU Data Fusion. DATE (2024)
Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty
Artifact: WirelessEye - Seeing over WiFi Made Accessible. PerCom Workshops (2024)
Florenc Demrozi, Cristian Turetta, Graziano Pravadelli
SHPIA 2.0: An Easily Scalable, Low-Cost, Multi-purpose Smart Home Platform for Intelligent Applications. SN Comput. Sci. 5 (1) (2024)
Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs. J. Electron. Test. 40 (2) (2024)
Cristian Turetta, Philipp H. Kindt, Alejandro Masrur, Samarjit Chakraborty, Graziano Pravadelli, Florenc Demrozi
Environmental Microchanges in WiFi Sensing. DATE (2024)
Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli
Invited Talk: Pros and Cons of Assertion Mining. LATS (2024)
Muhammed Toqeer Ali, Cristian Turetta, Florenc Demrozi, Graziano Pravadelli
ICT-Based Solutions for Alzheimer's Disease Care: A Systematic Review. IEEE Access 12 (2024)
Florenc Demrozi, Cristian Turetta, Philipp H. Kindt, Fabio Chiarani, Ruggero Angelo Bacchin, Nicola Valè, Francesco Pascucci, Paola Cesari, Nicola Smania, Stefano Tamburin, Graziano Pravadelli
A Low-Cost Wireless Body Area Network for Human Activity Recognition in Healthy Life and Medical Applications. IEEE Trans. Emerg. Top. Comput. 11 (4) (2023)
Cristian Turetta, Florenc Demrozi, Sofia Franceschi, Davide Zamboni, Graziano Pravadelli
Non-Invasive Monitoring of Alzheimer's patients through WiFi Channel State Information. IWASI (2023)
Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola
Exploiting assertions mining and fault analysis to guide RTL-level approximation. DATE (2023)
Florenc Demrozi, Cristian Turetta, Graziano Pravadelli
Fostering Human Activity Recognition Workflows: An Open-Source Baseline Framework. ICDH (2023)
Cristian Turetta, Geri Skenderi, Luigi Capogrosso, Florenc Demrozi, Philipp H. Kindt, Alejandro Masrur, Franco Fummi, Marco Cristani, Graziano Pravadelli
Towards Deep Learning-based Occupancy Detection Via WiFi Sensing in Unconstrained Environments. DATE (2023)
Florenc Demrozi, Cristian Turetta, Fadi Al Machot, Graziano Pravadelli, Philipp H. Kindt
A Comprehensive Review of Automated Data Annotation Techniques in Human Activity Recognition. CoRR (2023)
Marius Onofrei, Fabio Castellini, Graziano Pravadelli, Carlo Drioli, Francesco Setti
Video Sonification to Support Visually Impaired People: The VISaVIS Approach. ICIAP (2) (2023)
Samuele Germiniani, Graziano Pravadelli
HARM: A Hint-Based Assertion Miner. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Samuele Germiniani, Graziano Pravadelli
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions. VLSI-SoC (2022)
Cristian Turetta, Florenc Demrozi, Philipp H. Kindt, Alejandro Masrur, Graziano Pravadelli
Practical identity recognition using WiFi's Channel State Information. DATE (2022)
Cristian Turetta, Florenc Demrozi, Graziano Pravadelli
A freely available system for human activity recognition based on a low-cost body area network. COMPSAC (2022)
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
A virtual coaching platform to support therapy compliance in obesity. COMPSAC (2022)
Michele Boldo, Nicola Bombieri, Mirco De Marchi, Luca Geretti, Samuele Germiniani, Graziano Pravadelli
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation. LATS (2022)
Alberto Bosio, Moreno Bragaglio, Samuele Germiniani, Samuele Mori, Graziano Pravadelli, Marcello Traiola
Assertion-aware approximate computing design exploration on behavioral models. LATS (2022)
Michele Boldo, Nicola Bombieri, Stefano Centomo, Mirco De Marchi, Florenc Demrozi, Graziano Pravadelli, Davide Quaglia, Cristian Turetta
Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era. ISoLA (4) (2022)
Samuele Germiniani, Alessandro Danese, Graziano Pravadelli
Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences. IEEE Trans. Emerg. Top. Comput. 10 (2) (2022)
Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty
WiFiEye - Seeing over WiFi Made Accessible. CoRR (2022)
Florenc Demrozi, Cristian Turetta, Graziano Pravadelli
B-HAR: an open-source baseline framework for in depth study of human activity recognition datasets and workflows. CoRR (2021)
Moreno Bragaglio, Nicola Donatelli, Samuele Germiniani, Graziano Pravadelli
System-level bug explanation through program slicing and instruction clusterization. VLSI-SoC (2021)
Florenc Demrozi, Fabio Chiarani, Graziano Pravadelli
A low-cost BLE-based distance estimation, occupancy detection and counting system. DATE (2021)
Florenc Demrozi, Fabio Chiarani, Cristian Turetta, Philipp H. Kindt, Graziano Pravadelli
Estimating indoor occupancy through low-cost BLE devices. CoRR (2021)
Florenc Demrozi, Nicola Serlonghi, Cristian Turetta, Cristiano Pravadelli, Graziano Pravadelli
Exploiting Bluetooth Low Energy smart tags for virtual coaching. WF-IoT (2021)
Stefano Aldegheri, Nicola Bombieri, Samuele Germiniani, Federico Moschin, Graziano Pravadelli
A containerized ROS-compliant verification environment for robotic systems. DATE (2021)
Moreno Bragaglio, Samuele Germiniani, Graziano Pravadelli
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level. VLSI-SoC (Selected Papers) (2021)
Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures. IEEE Trans. Computers 69 (4) (2020)
Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli
MIST: monitor generation from informal specifications for firmware verification. VLSI-SOC (2020)
Florenc Demrozi, Graziano Pravadelli, Patrick J. Tighe, Azra Bihorac, Parisa Rashidi
Joint Distribution and Transitions of Pain and Activity in Critically Ill Patients. CoRR (2020)
Florenc Demrozi, Graziano Pravadelli, Patrick J. Tighe, Azra Bihorac, Parisa Rashidi
Joint Distribution and Transitions of Pain and Activity in Critically Ill Patients. EMBC (2020)
Florenc Demrozi, Graziano Pravadelli, Azra Bihorac, Parisa Rashidi
Human Activity Recognition Using Inertial, Physiological and Environmental Sensors: A Comprehensive Survey. IEEE Access 8 (2020)
Florenc Demrozi, Ruggero Bacchin, Stefano Tamburin, Marco Cristani, Graziano Pravadelli
Toward a Wearable System for Predicting Freezing of Gait in People Affected by Parkinson's Disease. IEEE J. Biomed. Health Informatics 24 (9) (2020)
Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli
From Informal Specifications to an ABV Framework for Industrial Firmware Verification. VLSI-SoC (Selected Papers) (2020)
Florenc Demrozi, Graziano Pravadelli, Azra Bihorac, Parisa Rashidi
Human Activity Recognition using Inertial, Physiological and Environmental Sensors: a Comprehensive Survey. CoRR (2020)
Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik
RTL Assertion Mining with Automated RTL-to-TLM Abstraction. FDL (2019)
Florenc Demrozi, Vladislav Bragoi, Federico Tramarin, Graziano Pravadelli
An indoor localization system to detect areas causing the freezing of gait in Parkinsonians. DATE (2019)
Enrico Giordano, Federico Di Marco, Graziano Pravadelli
A model-based design flow for Dynamic Partial Reconfigurable FPGAs. SMC (2019)
Tara Ghasempouri, Jan Malburg, Alessandro Danese, Graziano Pravadelli, Görschwin Fey, Jaan Raik
Engineering of an Effective Automatic Dynamic Assertion Mining Platform. VLSI-SoC (2019)
Florenc Demrozi, Kevin Costa, Federico Tramarin, Graziano Pravadelli
A graph-based approach for mobile localization exploiting real and virtual landmarks. VLSI-SoC (2018)
Alessandro Danese, Valeria Bertacco, Graziano Pravadelli
Symbolic assertion mining for security validation. DATE (2018)
Alessandro Danese, Nicolò Dalla Riva, Graziano Pravadelli
A-TEAM: Automatic template-based assertion miner. DAC (2017)
Luca Piccolboni, Alessandro Menon, Graziano Pravadelli
Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Alessandro Danese, Graziano Pravadelli, Valeria Bertacco
DOVE: pinpointing firmware security vulnerabilities via symbolic control flow assertion mining (work-in-progress). CODES+ISSS (2017)
Florenc Demrozi, Riccardo Zucchelli, Graziano Pravadelli
Exploiting sub-graph isomorphism and probabilistic neural networks for the detection of hardware Trojans at RTL. HLDVT (2017)
Davide Ferraretto, Graziano Pravadelli
Simulation-based Fault Injection with QEMU for Speeding-up Dependability Analysis of Embedded Software. J. Electron. Test. 32 (1) (2016)
Luca Piccolboni, Graziano Pravadelli
Stimuli generation through invariant mining for black-box verification. VLSI-SoC (2016)
Daniel Yunge, Sangyoung Park, Philipp H. Kindt, Graziano Pravadelli, Samarjit Chakraborty
Dynamic service synthesis and switching for medical IoT and ambient assisted living. HLDVT (2016)
Alessandro Danese, Jacopo Mocci, Graziano Pravadelli
Fault model qualification by assertion mining. LATS (2016)
Alessandro Danese, Graziano Pravadelli, Ivan Zandona
Automatic generation of power state machines through dynamic mining of temporal assertions. DATE (2016)
Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni
Automatic generation of self-adaptive transactors from PSL assertions. FDL (2016)
Alessandro Danese, Francesca Filini, Tara Ghasempouri, Graziano Pravadelli
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach. VLSI-SoC (Selected Papers) (2015)
Alessandro Danese, Francesca Filini, Graziano Pravadelli
A time-window based approach for dynamic assertions mining on control signals. VLSI-SoC (2015)
Tara Ghasempouri, Graziano Pravadelli
On the estimation of assertion interestingness. VLSI-SoC (2015)
Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni
RTL property abstraction for TLM assertion-based verification. DATE (2015)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electron. Test. 31 (2) (2015)
Davide Ferraretto, Graziano Pravadelli
Efficient fault injection in QEMU. LATS (2015)
Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
Exploiting GPU architectures for dynamic invariant mining. ICCD (2015)
Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli
Automatic extraction of assertions from execution traces of behavioural models. DATE (2015)
Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
A parallelizable approach for mining likely invariants. CODES+ISSS (2015)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
On the reuse of RTL assertions in SystemC TLM verification. LATW (2014)
Alessandro Lonardi, Graziano Pravadelli
On the Co-simulation of SystemC with QEMU and OVP Virtual Platforms. VLSI-SoC (Selected Papers) (2014)
Filippo Cucchetto, Alessandro Lonardi, Graziano Pravadelli
A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms. VLSI-SoC (2014)
Luca Piccolboni, Graziano Pravadelli
Simplified stimuli generation for scenario and assertion based verification. LATW (2014)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli
Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. IEEE Trans. Computers 63 (5) (2014)
Giuseppe Di Guglielmo, Davide Ferraretto, Franco Fummi, Graziano Pravadelli
Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. ETS (2013)
Michele Bertasi, Giuseppe Di Guglielmo, Graziano Pravadelli
Automatic generation of compact formal properties for effective error detection. CODES+ISSS (2013)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
On the integration of model-driven design and dynamic assertion-based verification for embedded software. J. Syst. Softw. 86 (8) (2013)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. IEEE Trans. Computers 62 (2) (2013)
Giuseppe Di Guglielmo, Graziano Pravadelli
A testbench specification language for SystemC verification. CODES+ISSS (2012)
Simone Bronuzzi, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli
Accurate profiling of oracles for self-checking time-constrained embedded software. HLDVT (2012)
Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar
On the Reuse of TLM Mutation Analysis at RTL. J. Electron. Test. 28 (4) (2012)
Urmas Repinski, Hanno Hantson, Maksim Jenihhin, Jaan Raik, Raimund Ubar, Giuseppe Di Guglielmo, Graziano Pravadelli, Franco Fummi
Combining dynamic slicing and mutation operators for ESL correction. ETS (2012)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Enabling dynamic assertion-based verification of embedded software through model-driven design. DATE (2012)
Diego Braga, Franco Fummi, Graziano Pravadelli, Sara Vinco
The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems. HLDVT (2012)
Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco
MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. DATE (2012)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
On the use of assertions for embedded-software dynamic verification. DDECS (2012)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Sara Vinco
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. MTV (2012)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
A formal support for homogeneous simulation of heterogeneous embedded systems. SIES (2012)
Marco Bonato, Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli
Dynamic property mining for embedded software. CODES+ISSS (2012)
Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita
Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electron. Test. 28 (4) (2012)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. HLDVT (2011)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Reusing of Properties after Discretization of Hybrid Automata. MTV (2011)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT (2011)
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. IEEE Trans. Computers 60 (12) (2011)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT (2011)
Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia
EFSM-based model-driven approach to concolic testing of system-level design. MEMOCODE (2011)
Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita
Optimization of Assertion Placement in Time-Constrained Embedded Systems. ETS (2011)
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. J. Electron. Test. 27 (2) (2011)
Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar
Mutation analysis for SystemC designs at TLM. LATW (2011)
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek
Model-driven design and validation of embedded software. AST (2011)
Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri
Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT (2010)
Nicola Bombieri, Giuseppe Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Embed. Syst. 2010 (2010)
Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
HIFSuite: Tools for HDL code conversion and manipulation. HLDVT (2010)
Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli
DDPSL: An easy way of defining properties. ICCD (2010)

Graziano Pravadelli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Graziano Pravadelli