Graziano Pravadelli

170 papers A* 2A 26B 9C 24Misc 7Journal 41Unranked 57

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications. ACM Trans. Embed. Comput. Syst. Nicola Bombieri, Samuele Germiniani, Francesco Lumpp, Graziano Pravadelli
2025	A	`conf`	A Baseline Framework for the Qualification of LTL Specification Miners. DATE Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli
2025	J	`jnl`	A Genetic Approach for Automatic AxC Design Exploration at RTL Based on Assertion Mining and Fault Analysis. IEEE Trans. Emerg. Top. Comput. Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola
2025	A	`conf`	A Lightweight CNN for Real-Time Pre-Impact Fall Detection. DATE Cristian Turetta, Muhammad Toqeer Ali, Florenc Demrozi, Graziano Pravadelli
2025	J	`jnl`	A Systematic Literature Review on Mining LTL Specifications. IEEE Access Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli
2025	—	`conf`	Special Session Paper: Application of Functional Verification Techniques in Hardware Trust. DFT Mohammad Reza Heidari Iman, Rolf Drechsler, Chandan Kumar Jha, Ali Azarpeyvand, Tara Ghasempouri, Sharjeel Imtiaz, Jaan Raik, Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli, Giorgio Di Natale
2025	—	`conf`	Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata. LATS Daniele Nicoletti, Samuele Germiniani, Alessandro Aldegheri, Michele Cipriani, Davide Venturi, Tommaso Vilotto, Graziano Pravadelli
2025	C	`conf`	Toward Multi-Person Breath Rate Estimation via mmWave Radar. VLSI-SoC Cristian Turetta, Christian Farina, Chiara Bozzini, Morteza Varasteh, Graziano Pravadelli
2024	—	`conf`	Artifact: WirelessEye - Seeing over WiFi Made Accessible. PerCom Workshops Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty
2024	J	`jnl`	B-HAR: An Open-Source Baseline Framework for In-Depth Study of Human Activity Recognition Datasets and Workflows. IEEE Access Cristian Turetta, Florenc Demrozi, Graziano Pravadelli
2024	—	`conf`	Enhancing Freezing of Gait Detection in Parkinson's Through Fine-Tuned Deep Learning Models. ICDH Michele Tebaldi, Graziano Pravadelli, Florenc Demrozi, Rosalba Giugno, Cristian Turetta
2024	J	`jnl`	Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study. IEEE Access 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, Mirco De Marchi, Florenc Demrozi, Marco Emporio, Franco Fummi, Luca Geretti, Samuele Germiniani, Andrea Giachetti, Federico Girella, Enrico Martini, Gloria Menegaz, Niek Muijs, Federica Paci, Marco Panato, Graziano Pravadelli, Elisa Quintarelli, Ilaria Siviero, Silvia Francesca Storti, Carlo Tadiello, Cristian Turetta, Tiziano Villa, Nicola Zannone, Davide Quaglia
2024	A	`conf`	Environmental Microchanges in WiFi Sensing. DATE Cristian Turetta, Philipp H. Kindt, Alejandro Masrur, Samarjit Chakraborty, Graziano Pravadelli, Florenc Demrozi
2024	J	`jnl`	ICT-Based Solutions for Alzheimer's Disease Care: A Systematic Review. IEEE Access Muhammad Toqeer Ali, Cristian Turetta, Florenc Demrozi, Graziano Pravadelli
2024	—	`ed.`	IEEE International Conference on Digital Health, ICDH 2024, Shenzhen, China, July 7-13, 2024 ICDH Rong N. Chang, Carl K. Chang, Jingwei Yang, Zhi Jin, Michael Sheng, Jing Fan, Kenneth Fletcher, Qiang He, Bo Wen, Sheikh Iqbal Ahamed, Graziano Pravadelli, Hossain Shahriar, Nicola Bombieri, Haihua Xie, Nimanthi Atukorala, Adnan Mahmood, William Chu, Jeff Rogers
2024	—	`conf`	Invited Talk: Pros and Cons of Assertion Mining. LATS Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli
2024	—	`conf`	Leveraging mmWave for Contactless Breath Rate Estimation of Moving Subjects. ICDH Cristian Turetta, Morteza Varasteh, Sefki Kolozali, Graziano Pravadelli
2024	C	`conf`	Mining signal temporal logic specifications for hybrid systems. FDL Daniele Nicoletti, Samuele Germiniani, Graziano Pravadelli
2024	A	`conf`	Real-Time Multi-Person Identification and Tracking via HPE and IMU Data Fusion. DATE Mirco De Marchi, Cristian Turetta, Graziano Pravadelli, Nicola Bombieri
2024	J	`jnl`	SHPIA 2.0: An Easily Scalable, Low-Cost, Multi-purpose Smart Home Platform for Intelligent Applications. SN Comput. Sci. Florenc Demrozi, Cristian Turetta, Graziano Pravadelli
2024	J	`jnl`	Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs. J. Electron. Test. Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola
2024	—	`conf`	WirelessEye - Seeing over WiFi Made Accessible. PerCom Workshops Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty
2023	J	`jnl`	A Comprehensive Review of Automated Data Annotation Techniques in Human Activity Recognition. CoRR Florenc Demrozi, Cristian Turetta, Fadi Al Machot, Graziano Pravadelli, Philipp H. Kindt
2023	J	`jnl`	A Low-Cost Wireless Body Area Network for Human Activity Recognition in Healthy Life and Medical Applications. IEEE Trans. Emerg. Top. Comput. Florenc Demrozi, Cristian Turetta, Philipp H. Kindt, Fabio Chiarani, Ruggero Angelo Bacchin, Nicola Valè, Francesco Pascucci, Paola Cesari, Nicola Smania, Stefano Tamburin, Graziano Pravadelli
2023	A	`conf`	Exploiting assertions mining and fault analysis to guide RTL-level approximation. DATE Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola
2023	—	`conf`	Fostering Human Activity Recognition Workflows: An Open-Source Baseline Framework. ICDH Florenc Demrozi, Cristian Turetta, Graziano Pravadelli
2023	—	`conf`	Non-Invasive Monitoring of Alzheimer's patients through WiFi Channel State Information. IWASI Cristian Turetta, Florenc Demrozi, Sofia Franceschi, Davide Zamboni, Graziano Pravadelli
2023	A	`conf`	Towards Deep Learning-based Occupancy Detection Via WiFi Sensing in Unconstrained Environments. DATE Cristian Turetta, Geri Skenderi, Luigi Capogrosso, Florenc Demrozi, Philipp H. Kindt, Alejandro Masrur, Franco Fummi, Marco Cristani, Graziano Pravadelli
2023	—	`conf`	Video Sonification to Support Visually Impaired People: The VISaVIS Approach. ICIAP (2) Marius Onofrei, Fabio Castellini, Graziano Pravadelli, Carlo Drioli, Francesco Setti
2022	B	`conf`	A freely available system for human activity recognition based on a low-cost body area network. COMPSAC Cristian Turetta, Florenc Demrozi, Graziano Pravadelli
2022	B	`conf`	A virtual coaching platform to support therapy compliance in obesity. COMPSAC 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	—	`conf`	Assertion-aware approximate computing design exploration on behavioral models. LATS Alberto Bosio, Moreno Bragaglio, Samuele Germiniani, Samuele Mori, Graziano Pravadelli, Marcello Traiola
2022	J	`jnl`	Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences. IEEE Trans. Emerg. Top. Comput. Samuele Germiniani, Alessandro Danese, Graziano Pravadelli
2022	C	`conf`	Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions. VLSI-SoC Samuele Germiniani, Graziano Pravadelli
2022	J	`jnl`	HARM: A Hint-Based Assertion Miner. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Samuele Germiniani, Graziano Pravadelli
2022	—	`conf`	Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era. ISoLA (4) Michele Boldo, Nicola Bombieri, Stefano Centomo, Mirco De Marchi, Florenc Demrozi, Graziano Pravadelli, Davide Quaglia, Cristian Turetta
2022	A	`conf`	Practical identity recognition using WiFi's Channel State Information. DATE Cristian Turetta, Florenc Demrozi, Philipp H. Kindt, Alejandro Masrur, Graziano Pravadelli
2022	—	`conf`	Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation. LATS Michele Boldo, Nicola Bombieri, Mirco De Marchi, Luca Geretti, Samuele Germiniani, Graziano Pravadelli
2022	J	`jnl`	WiFiEye - Seeing over WiFi Made Accessible. CoRR Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty
2021	A	`conf`	A containerized ROS-compliant verification environment for robotic systems. DATE Stefano Aldegheri, Nicola Bombieri, Samuele Germiniani, Federico Moschin, Graziano Pravadelli
2021	A	`conf`	A low-cost BLE-based distance estimation, occupancy detection and counting system. DATE Florenc Demrozi, Fabio Chiarani, Graziano Pravadelli
2021	J	`jnl`	B-HAR: an open-source baseline framework for in depth study of human activity recognition datasets and workflows. CoRR Florenc Demrozi, Cristian Turetta, Graziano Pravadelli
2021	J	`jnl`	Estimating indoor occupancy through low-cost BLE devices. CoRR Florenc Demrozi, Fabio Chiarani, Cristian Turetta, Philipp H. Kindt, Graziano Pravadelli
2021	—	`conf`	Exploiting Bluetooth Low Energy smart tags for virtual coaching. WF-IoT Florenc Demrozi, Nicola Serlonghi, Cristian Turetta, Cristiano Pravadelli, Graziano Pravadelli
2021	—	`conf`	Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level. VLSI-SoC (Selected Papers) Moreno Bragaglio, Samuele Germiniani, Graziano Pravadelli
2021	C	`conf`	System-level bug explanation through program slicing and instruction clusterization. VLSI-SoC Moreno Bragaglio, Nicola Donatelli, Samuele Germiniani, Graziano Pravadelli
2020	—	`conf`	From Informal Specifications to an ABV Framework for Industrial Firmware Verification. VLSI-SoC (Selected Papers) Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli
2020	J	`jnl`	Human Activity Recognition Using Inertial, Physiological and Environmental Sensors: A Comprehensive Survey. IEEE Access Florenc Demrozi, Graziano Pravadelli, Azra Bihorac, Parisa Rashidi
2020	J	`jnl`	Human Activity Recognition using Inertial, Physiological and Environmental Sensors: a Comprehensive Survey. CoRR Florenc Demrozi, Graziano Pravadelli, Azra Bihorac, Parisa Rashidi
2020	—	`conf`	Joint Distribution and Transitions of Pain and Activity in Critically Ill Patients. EMBC Florenc Demrozi, Graziano Pravadelli, Patrick James Tighe, Azra Bihorac, Parisa Rashidi
2020	J	`jnl`	Joint Distribution and Transitions of Pain and Activity in Critically Ill Patients. CoRR Florenc Demrozi, Graziano Pravadelli, Patrick James Tighe, Azra Bihorac, Parisa Rashidi
2020	C	`conf`	MIST: monitor generation from informal specifications for firmware verification. VLSI-SOC Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli
2020	J	`jnl`	Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures. IEEE Trans. Computers Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
2020	J	`jnl`	Toward a Wearable System for Predicting Freezing of Gait in People Affected by Parkinson's Disease. IEEE J. Biomed. Health Informatics Florenc Demrozi, Ruggero Angelo Bacchin, Stefano Tamburin, Marco Cristani, Graziano Pravadelli
2019	B	`conf`	A model-based design flow for Dynamic Partial Reconfigurable FPGAs. SMC Enrico Giordano, Federico Di Marco, Graziano Pravadelli
2019	A	`conf`	An indoor localization system to detect areas causing the freezing of gait in Parkinsonians. DATE Florenc Demrozi, Vladislav Bragoi, Federico Tramarin, Graziano Pravadelli
2019	C	`conf`	Engineering of an Effective Automatic Dynamic Assertion Mining Platform. VLSI-SoC Tara Ghasempouri, Jan Malburg, Alessandro Danese, Graziano Pravadelli, Görschwin Fey, Jaan Raik
2019	C	`conf`	RTL Assertion Mining with Automated RTL-to-TLM Abstraction. FDL Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik
2019	—	`ed.`	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 VLSI-SoC (Selected Papers) Nicola Bombieri, Graziano Pravadelli, Masahiro Fujita, Todd M. Austin, Ricardo Reis
2018	C	`conf`	A graph-based approach for mobile localization exploiting real and virtual landmarks. VLSI-SoC Florenc Demrozi, Kevin Costa, Federico Tramarin, Graziano Pravadelli
2018	A	`conf`	Symbolic assertion mining for security validation. DATE Alessandro Danese, Valeria Bertacco, Graziano Pravadelli
2017	A*	`conf`	A-TEAM: Automatic template-based assertion miner. DAC Alessandro Danese, Nicolò Dalla Riva, Graziano Pravadelli
2017	Misc	`conf`	DOVE: pinpointing firmware security vulnerabilities via symbolic control flow assertion mining (work-in-progress). CODES+ISSS Alessandro Danese, Graziano Pravadelli, Valeria Bertacco
2017	J	`jnl`	Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models. ACM Trans. Embed. Comput. Syst. Luca Piccolboni, Alessandro Menon, Graziano Pravadelli
2017	—	`conf`	Exploiting sub-graph isomorphism and probabilistic neural networks for the detection of hardware Trojans at RTL. HLDVT Florenc Demrozi, Riccardo Zucchelli, Graziano Pravadelli
2017	—	`ch.`	Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework. Handbook of Hardware/Software Codesign Graziano Pravadelli, Davide Quaglia, Sara Vinco, Franco Fummi
2016	A	`conf`	Automatic generation of power state machines through dynamic mining of temporal assertions. DATE Alessandro Danese, Graziano Pravadelli, Ivan Zandona
2016	C	`conf`	Automatic generation of self-adaptive transactors from PSL assertions. FDL Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni
2016	—	`conf`	Dynamic service synthesis and switching for medical IoT and ambient assisted living. HLDVT Daniel Yunge, Sangyoung Park, Philipp H. Kindt, Graziano Pravadelli, Samarjit Chakraborty
2016	—	`conf`	Fault model qualification by assertion mining. LATS Alessandro Danese, Jacopo Mocci, Graziano Pravadelli
2016	J	`jnl`	Simulation-based Fault Injection with QEMU for Speeding-up Dependability Analysis of Embedded Software. J. Electron. Test. Davide Ferraretto, Graziano Pravadelli
2016	C	`conf`	Stimuli generation through invariant mining for black-box verification. VLSI-SoC Luca Piccolboni, Graziano Pravadelli
2015	Misc	`conf`	A parallelizable approach for mining likely invariants. CODES+ISSS Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
2015	C	`conf`	A time-window based approach for dynamic assertions mining on control signals. VLSI-SoC Alessandro Danese, Francesca Filini, Graziano Pravadelli
2015	—	`conf`	Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach. VLSI-SoC (Selected Papers) Alessandro Danese, Francesca Filini, Tara Ghasempouri, Graziano Pravadelli
2015	A	`conf`	Automatic extraction of assertions from execution traces of behavioural models. DATE Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli
2015	—	`conf`	Efficient fault injection in QEMU. LATS Davide Ferraretto, Graziano Pravadelli
2015	C	`conf`	Exploiting GPU architectures for dynamic invariant mining. ICCD Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
2015	C	`conf`	On the estimation of assertion interestingness. VLSI-SoC Tara Ghasempouri, Graziano Pravadelli
2015	A	`conf`	RTL property abstraction for TLM assertion-based verification. DATE Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni
2015	J	`jnl`	Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electron. Test. Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
2014	C	`conf`	A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms. VLSI-SoC Filippo Cucchetto, Alessandro Lonardi, Graziano Pravadelli
2014	—	`conf`	On the Co-simulation of SystemC with QEMU and OVP Virtual Platforms. VLSI-SoC (Selected Papers) Alessandro Lonardi, Graziano Pravadelli
2014	—	`conf`	On the reuse of RTL assertions in SystemC TLM verification. LATW Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
2014	—	`conf`	Simplified stimuli generation for scenario and assertion based verification. LATW Luca Piccolboni, Graziano Pravadelli
2014	J	`jnl`	Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. IEEE Trans. Computers Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli
2013	Misc	`conf`	Automatic generation of compact formal properties for effective error detection. CODES+ISSS Michele Bertasi, Giuseppe Di Guglielmo, Graziano Pravadelli
2013	B	`conf`	Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. ETS Giuseppe Di Guglielmo, Davide Ferraretto, Franco Fummi, Graziano Pravadelli
2013	J	`jnl`	On the integration of model-driven design and dynamic assertion-based verification for embedded software. J. Syst. Softw. Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2013	J	`jnl`	UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. IEEE Trans. Computers Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
2012	—	`conf`	A formal support for homogeneous simulation of heterogeneous embedded systems. SIES Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
2012	Misc	`conf`	A testbench specification language for SystemC verification. CODES+ISSS Giuseppe Di Guglielmo, Graziano Pravadelli
2012	—	`conf`	Accurate profiling of oracles for self-checking time-constrained embedded software. HLDVT Simone Bronuzzi, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli
2012	B	`conf`	Combining dynamic slicing and mutation operators for ESL correction. ETS Urmas Repinski, Hanno Hantson, Maksim Jenihhin, Jaan Raik, Raimund Ubar, Giuseppe Di Guglielmo, Graziano Pravadelli, Franco Fummi
2012	Misc	`conf`	Dynamic property mining for embedded software. CODES+ISSS Marco Bonato, Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli
2012	A	`conf`	Enabling dynamic assertion-based verification of embedded software through model-driven design. DATE Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2012	A	`conf`	MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. DATE Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco
2012	J	`jnl`	On the Reuse of TLM Mutation Analysis at RTL. J. Electron. Test. Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar
2012	C	`conf`	On the use of assertions for embedded-software dynamic verification. DDECS Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2012	—	`conf`	Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. MTV Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Sara Vinco
2012	—	`conf`	The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems. HLDVT Diego Braga, Franco Fummi, Graziano Pravadelli, Sara Vinco
2012	J	`jnl`	Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electron. Test. Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita
2011	J	`jnl`	Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. IEEE Trans. Computers Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2011	C	`conf`	EFSM-based model-driven approach to concolic testing of system-level design. MEMOCODE Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia
2011	J	`jnl`	Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. J. Electron. Test. Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2011	—	`conf`	Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2011	—	`conf`	Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. HLDVT Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2011	—	`conf`	Model-driven design and validation of embedded software. AST@ICSE Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek
2011	—	`conf`	Mutation analysis for SystemC designs at TLM. LATW Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar
2011	B	`conf`	Optimization of Assertion Placement in Time-Constrained Embedded Systems. ETS Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita
2011	—	`conf`	Reusing of Properties after Discretization of Hybrid Automata. MTV Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2011	—	`conf`	UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
2010	A*	`conf`	Abstraction of RTL IPs into embedded software. DAC Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2010	C	`conf`	DDPSL: An easy way of defining properties. ICCD Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli
2010	J	`jnl`	HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Embed. Syst. Nicola Bombieri, Giuseppe Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
2010	—	`conf`	HIFSuite: Tools for HDL code conversion and manipulation. HLDVT Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
2010	A	`conf`	RTOS-aware refinement for TLM2.0-based HW/SW designs. DATE Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie
2010	—	`conf`	Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri
2010	A	`conf`	Vacuity analysis for property qualification by mutation of checkers. DATE Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2009	J	`jnl`	A cosimulation methodology for HW/SW validation and performance estimation. ACM Trans. Design Autom. Electr. Syst. Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli
2009	A	`conf`	Correct-by-construction generation of device drivers based on RTL testbenches. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco
2009	A	`conf`	Functional qualification of TLM verification. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe
2009	—	`conf`	On the Functional Qualification of a Platform Model. DFT Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe
2009	—	`conf`	On the Mutation Analysis of SystemC TLM-2.0 Standard. MTV Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2009	C	`conf`	The impact of EFSM composition on functional ATPG. DDECS Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa
2009	C	`conf`	The role of mutation analysis for property qualification. MEMOCODE Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2008	A	`conf`	A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2008	—	`conf`	An optimized CLP-based technique for generating propagation sequences. EWDTS Franco Fummi, Valerio Guarnieri, Cristina Marconcini, Graziano Pravadelli
2008	—	`conf`	RTL-TLM equivalence checking based on simulation. EWDTS Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2008	J	`jnl`	Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. ACM Trans. Design Autom. Electr. Syst. Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2008	—	`conf`	The role of parallel simulation in functional verification. HLDVT Giuseppe Di Guglielmo, Franco Fummi, Mark Hampton, Graziano Pravadelli, Francesco Stefanni
2008	C	`conf`	Vacuity Analysis by Fault Simulation. MEMOCODE Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2007	—	`conf`	A CLP-Based Functional ATPG for Extended FSMs. MTV Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris
2007	A	`conf`	A smooth refinement flow for co-designing HW and SW threads. DATE Paolo Destro, Franco Fummi, Graziano Pravadelli
2007	J	`jnl`	An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems CoRR Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli
2007	J	`jnl`	Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. IEEE Des. Test Comput. Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli
2007	J	`jnl`	Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. IET Comput. Digit. Tech. Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2007	A	`conf`	Incremental ABV for functional validation of TL-to-RTL design refinement. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2007	J	`jnl`	Properties Incompleteness Evaluation by Functional Verification. IEEE Trans. Computers Andrea Fedeli, Franco Fummi, Graziano Pravadelli
2007	J	`jnl`	Too Few or Too Many Properties? Measure it by ATPG! J. Electron. Test. Franco Fummi, Graziano Pravadelli
2007	C	`conf`	Towards Equivalence Checking Between TLM and RTL Models. MEMOCODE Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva
2006	C	`conf`	A methodology for abstracting RTL designs into TL descriptions. MEMOCODE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2006	—	`conf`	EFSM Manipulation to Increase High-Level ATPG Effectiveness. ISQED Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2006	B	`conf`	FATE: a Functional ATPG to Traverse Unstabilized EFSMs. ETS Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2006	—	`conf`	Hardware Design and Simulation for Verification. SFM Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2006	Misc	`conf`	Improving Gate-Level ATPG by Traversing Concurrent EFSMs. VTS Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2006	A	`conf`	On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2005	—	`conf`	A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. MTV Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2005	—	`conf`	An EFSM-based approach for functional ATPG. ACM Great Lakes Symposium on VLSI Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2005	B	`conf`	Coverage of formal properties based on a high-level fault model and functional ATPG. ETS Franco Fummi, Graziano Pravadelli, Franco Toto
2005	J	`jnl`	Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. Int. J. Parallel Program. Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen
2005	—	`conf`	Functional Verification of Networked Embedded Systems. ISQED Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2005	J	`jnl`	Logic-level mapping of high-level faults. Integr. Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2005	C	`conf`	On the use of a high-level fault model to analyze logical consequence of properties. MEMOCODE Stefano Brait, Franco Fummi, Graziano Pravadelli
2004	—	`conf`	A Verification Methodology for Reconfigurable Systems. MTV Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004	Misc	`conf`	A timing-accurate HW/SW co-simulation of an ISS with SystemC. CODES+ISSS Luca Formaggio, Franco Fummi, Graziano Pravadelli
2004	A	`conf`	An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. DATE Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli
2004	—	`conf`	At-Speed Functional Verification of Programmable Devices. DFT Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2004	B	`conf`	Functional fault coverage: the chamber of secrets or an accurate estimation of gate-level coverage? ETS Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004	—	`conf`	Functional verification based on the EFSM model. HLDVT Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004	—	`conf`	Logic-level analysis of high-level faults. ACM Great Lakes Symposium on VLSI Franco Fummi, Graziano Pravadelli
2003	—	`conf`	A SystemC-based Framework for Properties Incompleteness Evaluation. MTV Alessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli
2003	J	`jnl`	Identification of design errors through functional testing. IEEE Trans. Reliab. Fabrizio Ferrandi, Franco Fummi, Graziano Pravadelli, Donatella Sciuto
2003	—	`conf`	Mixing ATPG and property checking for testing HW/SW interfaces. ACM Great Lakes Symposium on VLSI Alessandro Fin, Franco Fummi, Graziano Pravadelli
2003	C	`conf`	On the Use of a High-Level Fault Model to Check Properties Incompleteness. MEMOCODE Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto
2003	—	`conf`	Redundant functional faults reduction by saboteurs synthesis [logic verification]. HLDVT Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2003	—	`—`	Using functional verification to evaluate the accuracy of model checking applied to embedded systems. Graziano Pravadelli
2002	—	`conf`	A 1000X speed up for properties completeness evaluation. HLDVT A. Castelnuovo, Andrea Fedeli, Alessandro Fin, Franco Fummi, Graziano Pravadelli, Umberto Rossi, F. Sforza, Franco Toto
2002	—	`conf`	An error simulation based approach to measure error coverage of formal properties. ACM Great Lakes Symposium on VLSI Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto
2001	A	`conf`	AMLETO: a multi-language environment for functional test generation. ITC Alessandro Fin, Franco Fummi, Graziano Pravadelli