default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGraziano Pravadelli
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j31]Muhammed Toqeer Ali
, Cristian Turetta, Florenc Demrozi, Graziano Pravadelli:
ICT-Based Solutions for Alzheimer's Disease Care: A Systematic Review. IEEE Access 12: 13944-13961 (2024)- [j30]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:
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study. IEEE Access 12: 154570-154599 (2024) - [j29]Cristian Turetta, Florenc Demrozi, Graziano Pravadelli:
B-HAR: An Open-Source Baseline Framework for In-Depth Study of Human Activity Recognition Datasets and Workflows. IEEE Access 12: 166911-166922 (2024) - [j28]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): 199-214 (2024) - [j27]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): 42 (2024) - [c118]Mirco De Marchi, Cristian Turetta, Graziano Pravadelli, Nicola Bombieri:
Real-Time Multi-Person Identification and Tracking via HPE and IMU Data Fusion. DATE 2024: 1-6 - [c117]Cristian Turetta, Philipp H. Kindt, Alejandro Masrur, Samarjit Chakraborty, Graziano Pravadelli, Florenc Demrozi:
Environmental Microchanges in WiFi Sensing. DATE 2024: 1-2 - [c116]Daniele Nicoletti, Samuele Germiniani, Graziano Pravadelli:
Mining signal temporal logic specifications for hybrid systems. FDL 2024: 1-8 - [c115]Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli:
Invited Talk: Pros and Cons of Assertion Mining. LATS 2024: 1-2 - [c114]Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty:
Artifact: WirelessEye - Seeing over WiFi Made Accessible. PerCom Workshops 2024: 15-16 - [c113]Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty:
WirelessEye - Seeing over WiFi Made Accessible. PerCom Workshops 2024: 562-567 - 2023
- [j26]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): 839-850 (2023) - [c112]Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola:
Exploiting assertions mining and fault analysis to guide RTL-level approximation. DATE 2023: 1-2 - [c111]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: 1-6 - [c110]Florenc Demrozi, Cristian Turetta, Graziano Pravadelli:
Fostering Human Activity Recognition Workflows: An Open-Source Baseline Framework. ICDH 2023: 75-80 - [c109]Marius Onofrei, Fabio Castellini, Graziano Pravadelli, Carlo Drioli, Francesco Setti:
Video Sonification to Support Visually Impaired People: The VISaVIS Approach. ICIAP (2) 2023: 503-514 - [c108]Cristian Turetta, Florenc Demrozi, Sofia Franceschi, Davide Zamboni, Graziano Pravadelli:
Non-Invasive Monitoring of Alzheimer's patients through WiFi Channel State Information. IWASI 2023: 103-108 - [i7]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 abs/2307.05988 (2023) - 2022
- [j25]Samuele Germiniani, Graziano Pravadelli:
HARM: A Hint-Based Assertion Miner. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4277-4288 (2022) - [j24]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): 728-739 (2022) - [c107]Cristian Turetta, Florenc Demrozi, Graziano Pravadelli:
A freely available system for human activity recognition based on a low-cost body area network. COMPSAC 2022: 395-400 - [c106]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: 694-699 - [c105]Cristian Turetta, Florenc Demrozi, Philipp H. Kindt, Alejandro Masrur, Graziano Pravadelli:
Practical identity recognition using WiFi's Channel State Information. DATE 2022: 76-79 - [c104]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: 184-194 - [c103]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: 1-5 - [c102]Alberto Bosio, Moreno Bragaglio, Samuele Germiniani, Samuele Mori, Graziano Pravadelli, Marcello Traiola:
Assertion-aware approximate computing design exploration on behavioral models. LATS 2022: 1-6 - [c101]Samuele Germiniani, Graziano Pravadelli:
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions. VLSI-SoC 2022: 1-6 - [i6]Philipp H. Kindt, Cristian Turetta, Florenc Demrozi, Alejandro Masrur, Graziano Pravadelli, Samarjit Chakraborty:
WiFiEye - Seeing over WiFi Made Accessible. CoRR abs/2204.01830 (2022) - 2021
- [c100]Stefano Aldegheri, Nicola Bombieri, Samuele Germiniani, Federico Moschin, Graziano Pravadelli:
A containerized ROS-compliant verification environment for robotic systems. DATE 2021: 222-225 - [c99]Florenc Demrozi, Fabio Chiarani, Graziano Pravadelli:
A low-cost BLE-based distance estimation, occupancy detection and counting system. DATE 2021: 1430-1433 - [c98]Moreno Bragaglio, Nicola Donatelli, Samuele Germiniani, Graziano Pravadelli:
System-level bug explanation through program slicing and instruction clusterization. VLSI-SoC 2021: 1-6 - [c97]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: 71-92 - [c96]Florenc Demrozi, Nicola Serlonghi, Cristian Turetta, Cristiano Pravadelli, Graziano Pravadelli:
Exploiting Bluetooth Low Energy smart tags for virtual coaching. WF-IoT 2021: 470-475 - [i5]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 abs/2101.10870 (2021) - [i4]Florenc Demrozi, Fabio Chiarani, Cristian Turetta, Philipp H. Kindt, Graziano Pravadelli:
Estimating indoor occupancy through low-cost BLE devices. CoRR abs/2102.03351 (2021) - 2020
- [j23]Florenc Demrozi, Graziano Pravadelli, Azra Bihorac, Parisa Rashidi:
Human Activity Recognition Using Inertial, Physiological and Environmental Sensors: A Comprehensive Survey. IEEE Access 8: 210816-210836 (2020) - [j22]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): 606-620 (2020) - [j21]Florenc Demrozi, Ruggero Angelo 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): 2444-2451 (2020) - [c95]Florenc Demrozi, Graziano Pravadelli, Patrick James Tighe, Azra Bihorac, Parisa Rashidi:
Joint Distribution and Transitions of Pain and Activity in Critically Ill Patients. EMBC 2020: 4534-4538 - [c94]Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli:
MIST: monitor generation from informal specifications for firmware verification. VLSI-SOC 2020: 111-116 - [c93]Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli:
From Informal Specifications to an ABV Framework for Industrial Firmware Verification. VLSI-SoC (Selected Papers) 2020: 179-204 - [i3]Florenc Demrozi, Graziano Pravadelli, Azra Bihorac, Parisa Rashidi:
Human Activity Recognition using Inertial, Physiological and Environmental Sensors: a Comprehensive Survey. CoRR abs/2004.08821 (2020) - [i2]Florenc Demrozi, Graziano Pravadelli, Patrick James Tighe, Azra Bihorac, Parisa Rashidi:
Joint Distribution and Transitions of Pain and Activity in Critically Ill Patients. CoRR abs/2004.09134 (2020)
2010 – 2019
- 2019
- [c92]Florenc Demrozi, Vladislav Bragoi, Federico Tramarin, Graziano Pravadelli:
An indoor localization system to detect areas causing the freezing of gait in Parkinsonians. DATE 2019: 952-955 - [c91]Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik:
RTL Assertion Mining with Automated RTL-to-TLM Abstraction. FDL 2019: 1-8 - [c90]Enrico Giordano, Federico Di Marco, Graziano Pravadelli:
A model-based design flow for Dynamic Partial Reconfigurable FPGAs. SMC 2019: 3099-3103 - [c89]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: 111-116 - [e1]Nicola Bombieri, Graziano Pravadelli, Masahiro Fujita, Todd M. Austin, Ricardo Reis:
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. IFIP Advances in Information and Communication Technology 561, Springer 2019, ISBN 978-3-030-23424-9 [contents] - 2018
- [c88]Alessandro Danese, Valeria Bertacco, Graziano Pravadelli:
Symbolic assertion mining for security validation. DATE 2018: 1550-1555 - [c87]Florenc Demrozi, Kevin Costa, Federico Tramarin, Graziano Pravadelli:
A graph-based approach for mobile localization exploiting real and virtual landmarks. VLSI-SoC 2018: 249-254 - 2017
- [j20]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): 137:1-137:19 (2017) - [c86]Alessandro Danese, Graziano Pravadelli, Valeria Bertacco:
DOVE: pinpointing firmware security vulnerabilities via symbolic control flow assertion mining (work-in-progress). CODES+ISSS 2017: 9:1-9:2 - [c85]Alessandro Danese, Nicolò Dalla Riva, Graziano Pravadelli:
A-TEAM: Automatic template-based assertion miner. DAC 2017: 37:1-37:6 - [c84]Florenc Demrozi, Riccardo Zucchelli, Graziano Pravadelli:
Exploiting sub-graph isomorphism and probabilistic neural networks for the detection of hardware Trojans at RTL. HLDVT 2017: 67-73 - [p1]Graziano Pravadelli, Davide Quaglia, Sara Vinco, Franco Fummi:
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework. Handbook of Hardware/Software Codesign 2017: 683-720 - 2016
- [j19]Davide Ferraretto, Graziano Pravadelli:
Simulation-based Fault Injection with QEMU for Speeding-up Dependability Analysis of Embedded Software. J. Electron. Test. 32(1): 43-57 (2016) - [c83]Alessandro Danese, Graziano Pravadelli, Ivan Zandona:
Automatic generation of power state machines through dynamic mining of temporal assertions. DATE 2016: 606-611 - [c82]Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni:
Automatic generation of self-adaptive transactors from PSL assertions. FDL 2016: 1-7 - [c81]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: 79-84 - [c80]Alessandro Danese, Jacopo Mocci, Graziano Pravadelli:
Fault model qualification by assertion mining. LATS 2016: 45-50 - [c79]Luca Piccolboni, Graziano Pravadelli:
Stimuli generation through invariant mining for black-box verification. VLSI-SoC 2016: 1-6 - 2015
- [j18]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): 167-180 (2015) - [c78]Alessandro Danese, Luca Piccolboni, Graziano Pravadelli:
A parallelizable approach for mining likely invariants. CODES+ISSS 2015: 193-201 - [c77]Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli:
Automatic extraction of assertions from execution traces of behavioural models. DATE 2015: 67-72 - [c76]Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni:
RTL property abstraction for TLM assertion-based verification. DATE 2015: 85-90 - [c75]Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli:
Exploiting GPU architectures for dynamic invariant mining. ICCD 2015: 192-195 - [c74]Davide Ferraretto, Graziano Pravadelli:
Efficient fault injection in QEMU. LATS 2015: 1-6 - [c73]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: 193-221 - [c72]Alessandro Danese, Francesca Filini, Graziano Pravadelli:
A time-window based approach for dynamic assertions mining on control signals. VLSI-SoC 2015: 246-251 - [c71]Tara Ghasempouri, Graziano Pravadelli:
On the estimation of assertion interestingness. VLSI-SoC 2015: 325-330 - 2014
- [j17]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli:
Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. IEEE Trans. Computers 63(5): 1248-1261 (2014) - [c70]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: 1-6 - [c69]Luca Piccolboni, Graziano Pravadelli:
Simplified stimuli generation for scenario and assertion based verification. LATW 2014: 1-6 - [c68]Filippo Cucchetto, Alessandro Lonardi, Graziano Pravadelli:
A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms. VLSI-SoC 2014: 1-6 - [c67]Alessandro Lonardi, Graziano Pravadelli:
On the Co-simulation of SystemC with QEMU and OVP Virtual Platforms. VLSI-SoC (Selected Papers) 2014: 110-128 - 2013
- [j16]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-2033 (2013) - [j15]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): 225-241 (2013) - [c66]Michele Bertasi, Giuseppe Di Guglielmo, Graziano Pravadelli:
Automatic generation of compact formal properties for effective error detection. CODES+ISSS 2013: 28:1-28:10 - [c65]Giuseppe Di Guglielmo, Davide Ferraretto, Franco Fummi, Graziano Pravadelli:
Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. ETS 2013: 1-6 - 2012
- [j14]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): 435-448 (2012) - [j13]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): 469-486 (2012) - [c64]Marco Bonato, Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli:
Dynamic property mining for embedded software. CODES+ISSS 2012: 187-196 - [c63]Giuseppe Di Guglielmo, Graziano Pravadelli:
A testbench specification language for SystemC verification. CODES+ISSS 2012: 333-342 - [c62]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Enabling dynamic assertion-based verification of embedded software through model-driven design. DATE 2012: 212-217 - [c61]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: 296-299 - [c60]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
On the use of assertions for embedded-software dynamic verification. DDECS 2012: 330-335 - [c59]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: 1-6 - [c58]Diego Braga, Franco Fummi, Graziano Pravadelli, Sara Vinco:
The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems. HLDVT 2012: 76-83 - [c57]Simone Bronuzzi, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Accurate profiling of oracles for self-checking time-constrained embedded software. HLDVT 2012: 96-99 - [c56]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: 76-81 - [c55]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
A formal support for homogeneous simulation of heterogeneous embedded systems. SIES 2012: 211-219 - 2011
- [j12]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): 137-162 (2011) - [j11]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. IEEE Trans. Computers 60(12): 1730-1743 (2011) - [c54]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: 171-176 - [c53]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT 2011: 33-40 - [c52]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT 2011: 80 - [c51]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. HLDVT 2011: 81 - [c50]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: 98-104 - [c49]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: 1-6 - [c48]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: 201-209 - [c47]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Reusing of Properties after Discretization of Hybrid Automata. MTV 2011: 10-15 - 2010
- [j10]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) - [c46]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Abstraction of RTL IPs into embedded software. DAC 2010: 24-29 - [c45]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Vacuity analysis for property qualification by mutation of checkers. DATE 2010: 478-483 - [c44]Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie:
RTOS-aware refinement for TLM2.0-based HW/SW designs. DATE 2010: 1053-1058 - [c43]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: 40-41 - [c42]Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri:
Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT 2010: 58-65 - [c41]Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli:
DDPSL: An easy way of defining properties. ICCD 2010: 468-473
2000 – 2009
- 2009
- [j9]Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli:
A cosimulation methodology for HW/SW validation and performance estimation. ACM Trans. Design Autom. Electr. Sy