AMLETO: a multi-language environment for functional test generation. - Alessandro Fin; Franco Fummi; Graziano Pravadelli (ITC, 2001)

An error simulation based approach to measure error coverage of formal properties. - Paolo Azzoni; Andrea Fedeli; Franco Fummi; Graziano Pravadelli; Umberto Rossi; Franco Toto (ACM Great Lakes Symposium on VLSI, 2002)

A 1000X speed up for properties completeness evaluation. - A. Castelnuovo; Andrea Fedeli; Alessandro Fin; Franco Fummi; Graziano Pravadelli; Umberto Rossi; F. Sforza; Franco Toto (HLDVT, 2002)

Mixing ATPG and property checking for testing HW/SW interfaces. - Alessandro Fin; Franco Fummi; Graziano Pravadelli (ACM Great Lakes Symposium on VLSI, 2003)

Redundant functional faults reduction by saboteurs synthesis [logic verification]. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (HLDVT, 2003)

On the Use of a High-Level Fault Model to Check Properties Incompleteness. - Franco Fummi; Graziano Pravadelli; Andrea Fedeli; Umberto Rossi; Franco Toto (MEMOCODE, 2003)

A SystemC-based Framework for Properties Incompleteness Evaluation. - Alessandro Fin; Franco Fummi; Massimo Poncino; Graziano Pravadelli (MTV, 2003)

Identification of design errors through functional testing. - Fabrizio Ferrandi; Franco Fummi; Graziano Pravadelli; Donatella Sciuto (IEEE Trans. Reliab., 2003)

Using functional verification to evaluate the accuracy of model checking applied to embedded systems. - Graziano Pravadelli (2003)

A timing-accurate HW/SW co-simulation of an ISS with SystemC. - Luca Formaggio; Franco Fummi; Graziano Pravadelli (CODES+ISSS, 2004)

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 (DATE, 2004)

At-Speed Functional Verification of Programmable Devices. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (DFT, 2004)

Functional fault coverage: the chamber of secrets or an accurate estimation of gate-level coverage? - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ETS, 2004)

Logic-level analysis of high-level faults. - Franco Fummi; Graziano Pravadelli (ACM Great Lakes Symposium on VLSI, 2004)

Functional verification based on the EFSM model. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (HLDVT, 2004)

A Verification Methodology for Reconfigurable Systems. - Michele Borgatti; Andrea Fedeli; Umberto Rossi; Jean-Luc Lambert; Imed Moussa; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (MTV, 2004)

Coverage of formal properties based on a high-level fault model and functional ATPG. - Franco Fummi; Graziano Pravadelli; Franco Toto (ETS, 2005)

An EFSM-based approach for functional ATPG. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ACM Great Lakes Symposium on VLSI, 2005)

Functional Verification of Networked Embedded Systems. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (ISQED, 2005)

On the use of a high-level fault model to analyze logical consequence of properties. - Stefano Brait; Franco Fummi; Graziano Pravadelli (MEMOCODE, 2005)

A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (MTV, 2005)

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. - Mirko Loghi; Tiziana Margaria; Graziano Pravadelli; Bernhard Steffen (Int. J. Parallel Program., 2005)

Logic-level mapping of high-level faults. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (Integr., 2005)

On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (DATE, 2006)

FATE: a Functional ATPG to Traverse Unstabilized EFSMs. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ETS, 2006)

EFSM Manipulation to Increase High-Level ATPG Effectiveness. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ISQED, 2006)

A methodology for abstracting RTL designs into TL descriptions. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (MEMOCODE, 2006)

Hardware Design and Simulation for Verification. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (SFM, 2006)

Improving Gate-Level ATPG by Traversing Concurrent EFSMs. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (VTS, 2006)

Incremental ABV for functional validation of TL-to-RTL design refinement. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (DATE, 2007)

A smooth refinement flow for co-designing HW and SW threads. - Paolo Destro; Franco Fummi; Graziano Pravadelli (DATE, 2007)

Towards Equivalence Checking Between TLM and RTL Models. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli; João Marques-Silva 001 (MEMOCODE, 2007)

A CLP-Based Functional ATPG for Extended FSMs. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli; Ian G. Harris (MTV, 2007)

Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli; Andrea Fedeli (IEEE Des. Test Comput., 2007)

Too Few or Too Many Properties? Measure it by ATPG! - Franco Fummi; Graziano Pravadelli (J. Electron. Test., 2007)

Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (IET Comput. Digit. Tech., 2007)

Properties Incompleteness Evaluation by Functional Verification. - Andrea Fedeli; Franco Fummi; Graziano Pravadelli (IEEE Trans. Computers, 2007)

A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (DATE, 2008)

RTL-TLM equivalence checking based on simulation. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (EWDTS, 2008)

An optimized CLP-based technique for generating propagation sequences. - Franco Fummi; Valerio Guarnieri; Cristina Marconcini; Graziano Pravadelli (EWDTS, 2008)

The role of parallel simulation in functional verification. - Giuseppe Di Guglielmo; Franco Fummi; Mark Hampton; Graziano Pravadelli; Francesco Stefanni (HLDVT, 2008)

Vacuity Analysis by Fault Simulation. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (MEMOCODE, 2008)

Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (ACM Trans. Design Autom. Electr. Syst., 2008)

Functional qualification of TLM verification. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli; Mark Hampton; Florian Letombe (DATE, 2009)

Correct-by-construction generation of device drivers based on RTL testbenches. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli; Sara Vinco (DATE, 2009)

The impact of EFSM composition on functional ATPG. - Davide Bresolin; Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Tiziano Villa (DDECS, 2009)

On the Functional Qualification of a Platform Model. - Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Mark Hampton; Florian Letombe (DFT, 2009)

The role of mutation analysis for property qualification. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (MEMOCODE, 2009)

On the Mutation Analysis of SystemC TLM-2.0 Standard. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (MTV, 2009)

A cosimulation methodology for HW/SW validation and performance estimation. - Franco Fummi; Mirko Loghi; Massimo Poncino; Graziano Pravadelli (ACM Trans. Design Autom. Electr. Syst., 2009)

Abstraction of RTL IPs into embedded software. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (DAC, 2010)

RTOS-aware refinement for TLM2.0-based HW/SW designs. - Markus Becker 001; Giuseppe Di Guglielmo; Franco Fummi; Wolfgang Müller 003; Graziano Pravadelli; Tao Xie 006 (DATE, 2010)

Vacuity analysis for property qualification by mutation of checkers. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (DATE, 2010)

HIFSuite: Tools for HDL code conversion and manipulation. - Nicola Bombieri; Giuseppe Di Guglielmo; Luigi Di Guglielmo; Michele Ferrari; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Alessandro Venturelli (HLDVT, 2010)

Semi-formal functional verification by EFSM traversing via NuSMV. - Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Stefano Soffia; Marco Roveri (HLDVT, 2010)

DDPSL: An easy way of defining properties. - Luigi Di Guglielmo; Franco Fummi; Nicola Orlandi; Graziano Pravadelli (ICCD, 2010)

HIFSuite: Tools for HDL Code Conversion and Manipulation. - Nicola Bombieri; Giuseppe Di Guglielmo; Michele Ferrari; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Alessandro Venturelli (EURASIP J. Embed. Syst., 2010)

Optimization of Assertion Placement in Time-Constrained Embedded Systems. - Viacheslav Izosimov; Michele Lora; Graziano Pravadelli; Franco Fummi; Zebo Peng; Giuseppe Di Guglielmo; Masahiro Fujita (ETS, 2011)

Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (HLDVT, 2011)

UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (HLDVT, 2011)

Interactive presentation abstract: Assertion-based verification in embedded-software design. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (HLDVT, 2011)

Model-driven design and validation of embedded software. - Giuseppe Di Guglielmo; Masahiro Fujita; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Cristina Marconcini; Andreas Foltinek (AST, 2011)

Mutation analysis for SystemC designs at TLM. - Valerio Guarnieri; Nicola Bombieri; Graziano Pravadelli; Franco Fummi; Hanno Hantson; Jaan Raik; Maksim Jenihhin; Raimund Ubar (LATW, 2011)

EFSM-based model-driven approach to concolic testing of system-level design. - Giuseppe Di Guglielmo; Masahiro Fujita; Franco Fummi; Graziano Pravadelli; Stefano Soffia (MEMOCODE, 2011)

Reusing of Properties after Discretization of Hybrid Automata. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (MTV, 2011)

Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (J. Electron. Test., 2011)

Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (IEEE Trans. Computers, 2011)

Dynamic property mining for embedded software. - Marco Bonato; Giuseppe Di Guglielmo; Masahiro Fujita; Franco Fummi; Graziano Pravadelli (CODES+ISSS, 2012)

A testbench specification language for SystemC verification. - Giuseppe Di Guglielmo; Graziano Pravadelli (CODES+ISSS, 2012)

MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. - Markus Becker 001; Gilles B. Defo; Franco Fummi; Wolfgang Müller 003; Graziano Pravadelli; Sara Vinco (DATE, 2012)

Enabling dynamic assertion-based verification of embedded software through model-driven design. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (DATE, 2012)

On the use of assertions for embedded-software dynamic verification. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (DDECS, 2012)

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 (ETS, 2012)

The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems. - Diego Braga; Franco Fummi; Graziano Pravadelli; Sara Vinco (HLDVT, 2012)

Accurate profiling of oracles for self-checking time-constrained embedded software. - Simone Bronuzzi; Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli (HLDVT, 2012)

Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Sara Vinco (MTV, 2012)

A formal support for homogeneous simulation of heterogeneous embedded systems. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (SIES, 2012)

On the Reuse of TLM Mutation Analysis at RTL. - Valerio Guarnieri; Giuseppe Di Guglielmo; Nicola Bombieri; Graziano Pravadelli; Franco Fummi; Hanno Hantson; Jaan Raik; Maksim Jenihhin; Raimund Ubar (J. Electron. Test., 2012)

Time-Constraint-Aware Optimization of Assertions in Embedded Software. - Viacheslav Izosimov; Giuseppe Di Guglielmo; Michele Lora; Graziano Pravadelli; Franco Fummi; Zebo Peng; Masahiro Fujita (J. Electron. Test., 2012)

Automatic generation of compact formal properties for effective error detection. - Michele Bertasi; Giuseppe Di Guglielmo; Graziano Pravadelli (CODES+ISSS, 2013)

Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. - Giuseppe Di Guglielmo; Davide Ferraretto; Franco Fummi; Graziano Pravadelli (ETS, 2013)

On the integration of model-driven design and dynamic assertion-based verification for embedded software. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Andreas Foltinek; Masahiro Fujita; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (J. Syst. Softw., 2013)

UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (IEEE Trans. Computers, 2013)

On the reuse of RTL assertions in SystemC TLM verification. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (LATW, 2014)

Simplified stimuli generation for scenario and assertion based verification. - Luca Piccolboni; Graziano Pravadelli (LATW, 2014)

A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms. - Filippo Cucchetto; Alessandro Lonardi; Graziano Pravadelli (VLSI-SoC, 2014)

On the Co-simulation of SystemC with QEMU and OVP Virtual Platforms. - Alessandro Lonardi; Graziano Pravadelli (VLSI-SoC (Selected Papers), 2014)

Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli (IEEE Trans. Computers, 2014)

A parallelizable approach for mining likely invariants. - Alessandro Danese; Luca Piccolboni; Graziano Pravadelli (CODES+ISSS, 2015)

RTL property abstraction for TLM assertion-based verification. - Nicola Bombieri; Riccardo Filippozzi; Graziano Pravadelli; Francesco Stefanni (DATE, 2015)

Automatic extraction of assertions from execution traces of behavioural models. - Alessandro Danese; Tara Ghasempouri; Graziano Pravadelli (DATE, 2015)

Exploiting GPU architectures for dynamic invariant mining. - Nicola Bombieri; Federico Busato; Alessandro Danese; Luca Piccolboni; Graziano Pravadelli (ICCD, 2015)

Efficient fault injection in QEMU. - Davide Ferraretto; Graziano Pravadelli (LATS, 2015)

Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach. - Alessandro Danese; Francesca Filini; Tara Ghasempouri; Graziano Pravadelli (VLSI-SoC (Selected Papers), 2015)

A time-window based approach for dynamic assertions mining on control signals. - Alessandro Danese; Francesca Filini; Graziano Pravadelli (VLSI-SoC, 2015)

On the estimation of assertion interestingness. - Tara Ghasempouri; Graziano Pravadelli (VLSI-SoC, 2015)

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (J. Electron. Test., 2015)

Automatic generation of power state machines through dynamic mining of temporal assertions. - Alessandro Danese; Graziano Pravadelli; Ivan Zandona (DATE, 2016)

Automatic generation of self-adaptive transactors from PSL assertions. - Florenc Demrozi; Graziano Pravadelli; Francesco Stefanni (FDL, 2016)

Dynamic service synthesis and switching for medical IoT and ambient assisted living. - Daniel Yunge; Sangyoung Park; Philipp H. Kindt; Graziano Pravadelli; Samarjit Chakraborty (HLDVT, 2016)

Fault model qualification by assertion mining. - Alessandro Danese; Jacopo Mocci; Graziano Pravadelli (LATS, 2016)

Stimuli generation through invariant mining for black-box verification. - Luca Piccolboni; Graziano Pravadelli (VLSI-SoC, 2016)

Simulation-based Fault Injection with QEMU for Speeding-up Dependability Analysis of Embedded Software. - Davide Ferraretto; Graziano Pravadelli (J. Electron. Test., 2016)

DOVE: pinpointing firmware security vulnerabilities via symbolic control flow assertion mining (work-in-progress). - Alessandro Danese; Graziano Pravadelli; Valeria Bertacco (CODES+ISSS, 2017)

A-TEAM: Automatic template-based assertion miner. - Alessandro Danese; Nicolò Dalla Riva; Graziano Pravadelli (DAC, 2017)

Exploiting sub-graph isomorphism and probabilistic neural networks for the detection of hardware Trojans at RTL. - Florenc Demrozi; Riccardo Zucchelli; Graziano Pravadelli (HLDVT, 2017)

Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models. - Luca Piccolboni; Alessandro Menon; Graziano Pravadelli (ACM Trans. Embed. Comput. Syst., 2017)

Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework. - Graziano Pravadelli; Davide Quaglia; Sara Vinco; Franco Fummi (Handbook of Hardware/Software Codesign, 2017)

Symbolic assertion mining for security validation. - Alessandro Danese; Valeria Bertacco; Graziano Pravadelli (DATE, 2018)

A graph-based approach for mobile localization exploiting real and virtual landmarks. - Florenc Demrozi; Kevin Costa; Federico Tramarin; Graziano Pravadelli (VLSI-SoC, 2018)

An indoor localization system to detect areas causing the freezing of gait in Parkinsonians. - Florenc Demrozi; Vladislav Bragoi; Federico Tramarin; Graziano Pravadelli (DATE, 2019)

RTL Assertion Mining with Automated RTL-to-TLM Abstraction. - Tara Ghasempouri; Alessandro Danese; Graziano Pravadelli; Nicola Bombieri; Jaan Raik (FDL, 2019)

A model-based design flow for Dynamic Partial Reconfigurable FPGAs. - Enrico Giordano; Federico Di Marco; Graziano Pravadelli (SMC, 2019)

Engineering of an Effective Automatic Dynamic Assertion Mining Platform. - Tara Ghasempouri; Jan Malburg; Alessandro Danese; Graziano Pravadelli; Görschwin Fey; Jaan Raik (VLSI-SoC, 2019)

Joint Distribution and Transitions of Pain and Activity in Critically Ill Patients. - Florenc Demrozi; Graziano Pravadelli; Patrick James Tighe; Azra Bihorac; Parisa Rashidi (EMBC, 2020)

MIST: monitor generation from informal specifications for firmware verification. - Samuele Germiniani; Moreno Bragaglio; Graziano Pravadelli (VLSI-SOC, 2020)

From Informal Specifications to an ABV Framework for Industrial Firmware Verification. - Samuele Germiniani; Moreno Bragaglio; Graziano Pravadelli (VLSI-SoC (Selected Papers), 2020)

Human Activity Recognition Using Inertial, Physiological and Environmental Sensors: A Comprehensive Survey. - Florenc Demrozi; Graziano Pravadelli; Azra Bihorac; Parisa Rashidi (IEEE Access, 2020)

Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures. - Nicola Bombieri; Federico Busato; Alessandro Danese; Luca Piccolboni; Graziano Pravadelli (IEEE Trans. Computers, 2020)

Toward a Wearable System for Predicting Freezing of Gait in People Affected by Parkinson's Disease. - Florenc Demrozi; Ruggero Angelo Bacchin; Stefano Tamburin; Marco Cristani; Graziano Pravadelli (IEEE J. Biomed. Health Informatics, 2020)

A containerized ROS-compliant verification environment for robotic systems. - Stefano Aldegheri; Nicola Bombieri; Samuele Germiniani; Federico Moschin; Graziano Pravadelli (DATE, 2021)

A low-cost BLE-based distance estimation, occupancy detection and counting system. - Florenc Demrozi; Fabio Chiarani; Graziano Pravadelli (DATE, 2021)

System-level bug explanation through program slicing and instruction clusterization. - Moreno Bragaglio; Nicola Donatelli; Samuele Germiniani; Graziano Pravadelli (VLSI-SoC, 2021)

Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level. - Moreno Bragaglio; Samuele Germiniani; Graziano Pravadelli (VLSI-SoC (Selected Papers), 2021)

Exploiting Bluetooth Low Energy smart tags for virtual coaching. - Florenc Demrozi; Nicola Serlonghi; Cristian Turetta; Cristiano Pravadelli; Graziano Pravadelli (WF-IoT, 2021)

Estimating indoor occupancy through low-cost BLE devices. - Florenc Demrozi; Fabio Chiarani; Cristian Turetta; Philipp H. Kindt; Graziano Pravadelli (CoRR, 2021)

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; et al. (COMPSAC, 2022)

A freely available system for human activity recognition based on a low-cost body area network. - Cristian Turetta; Florenc Demrozi; Graziano Pravadelli (COMPSAC, 2022)

Practical identity recognition using WiFi's Channel State Information. - Cristian Turetta; Florenc Demrozi; Philipp H. Kindt; Alejandro Masrur; Graziano Pravadelli (DATE, 2022)

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 (4), 2022)

Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation. - Michele Boldo; Nicola Bombieri; Mirco De Marchi; Luca Geretti; Samuele Germiniani; Graziano Pravadelli (LATS, 2022)

Assertion-aware approximate computing design exploration on behavioral models. - Alberto Bosio; Moreno Bragaglio; Samuele Germiniani; Samuele Mori; Graziano Pravadelli; Marcello Traiola (LATS, 2022)

Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions. - Samuele Germiniani; Graziano Pravadelli (VLSI-SoC, 2022)

WiFiEye - Seeing over WiFi Made Accessible. - Philipp H. Kindt; Cristian Turetta; Florenc Demrozi; Alejandro Masrur; Graziano Pravadelli; Samarjit Chakraborty (CoRR, 2022)

HARM: A Hint-Based Assertion Miner. - Samuele Germiniani; Graziano Pravadelli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences. - Samuele Germiniani; Alessandro Danese; Graziano Pravadelli (IEEE Trans. Emerg. Top. Comput., 2022)

Exploiting assertions mining and fault analysis to guide RTL-level approximation. - Alberto Bosio; Samuele Germiniani; Graziano Pravadelli; Marcello Traiola (DATE, 2023)

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, 2023)

Fostering Human Activity Recognition Workflows: An Open-Source Baseline Framework. - Florenc Demrozi; Cristian Turetta; Graziano Pravadelli (ICDH, 2023)

Video Sonification to Support Visually Impaired People: The VISaVIS Approach. - Marius Onofrei; Fabio Castellini; Graziano Pravadelli; Carlo Drioli; Francesco Setti (ICIAP (2), 2023)

Non-Invasive Monitoring of Alzheimer's patients through WiFi Channel State Information. - Cristian Turetta; Florenc Demrozi; Sofia Franceschi; Davide Zamboni; Graziano Pravadelli (IWASI, 2023)

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, 2023)

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., 2023)

Real-Time Multi-Person Identification and Tracking via HPE and IMU Data Fusion. - Mirco De Marchi; Cristian Turetta; Graziano Pravadelli; Nicola Bombieri (DATE, 2024)

Environmental Microchanges in WiFi Sensing. - Cristian Turetta; Philipp H. Kindt; Alejandro Masrur; Samarjit Chakraborty; Graziano Pravadelli; Florenc Demrozi (DATE, 2024)

Mining signal temporal logic specifications for hybrid systems. - Daniele Nicoletti; Samuele Germiniani; Graziano Pravadelli (FDL, 2024)

Invited Talk: Pros and Cons of Assertion Mining. - Samuele Germiniani; Daniele Nicoletti; Graziano Pravadelli (LATS, 2024)

Artifact: WirelessEye - Seeing over WiFi Made Accessible. - Philipp H. Kindt; Cristian Turetta; Florenc Demrozi; Alejandro Masrur; Graziano Pravadelli; Samarjit Chakraborty (PerCom Workshops, 2024)

WirelessEye - Seeing over WiFi Made Accessible. - Philipp H. Kindt; Cristian Turetta; Florenc Demrozi; Alejandro Masrur; Graziano Pravadelli; Samarjit Chakraborty (PerCom Workshops, 2024)

ICT-Based Solutions for Alzheimer's Disease Care: A Systematic Review. - Muhammad Toqeer Ali; Cristian Turetta; Florenc Demrozi; Graziano Pravadelli (IEEE Access, 2024)

Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study. - Federico Cunico; Stefano Aldegheri; Andrea Avogaro; Michele Boldo; Nicola Bombieri; Luigi Capogrosso; Ariel Caputo; Damiano Carra; Stefano Centomo; Dong Seon Cheng; Ettore Cinquetti; Marco Cristani; et al. (IEEE Access, 2024)

B-HAR: An Open-Source Baseline Framework for In-Depth Study of Human Activity Recognition Datasets and Workflows. - Cristian Turetta; Florenc Demrozi; Graziano Pravadelli (IEEE Access, 2024)

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., 2024)

Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs. - Alberto Bosio; Samuele Germiniani; Graziano Pravadelli; Marcello Traiola (J. Electron. Test., 2024)

A Baseline Framework for the Qualification of LTL Specification Miners. - Samuele Germiniani; Daniele Nicoletti; Graziano Pravadelli (DATE, 2025)

A Lightweight CNN for Real-Time Pre-Impact Fall Detection. - Cristian Turetta; Muhammad Toqeer Ali; Florenc Demrozi; Graziano Pravadelli (DATE, 2025)

Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata. - Daniele Nicoletti; Samuele Germiniani; Alessandro Aldegheri; Michele Cipriani; Davide Venturi; Tommaso Vilotto; Graziano Pravadelli (LATS, 2025)

A Systematic Literature Review on Mining LTL Specifications. - Samuele Germiniani; Daniele Nicoletti; Graziano Pravadelli (IEEE Access, 2025)