A containerized ROS-compliant verification environment for robotic systems S Aldegheri, N Bombieri, S Germiniani, F Moschin, G Pravadelli 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 222-225, 2021 | 8 | 2021 |
Harm: a hint-based assertion miner S Germiniani, G Pravadelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 6 | 2022 |
System-level bug explanation through program slicing and instruction clusterization M Bragaglio, N Donatelli, S Germiniani, G Pravadelli 2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration …, 2021 | 3 | 2021 |
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences S Germiniani, A Danese, G Pravadelli IEEE Transactions on Emerging Topics in Computing 10 (2), 728-739, 2020 | 3 | 2020 |
Risk assessment and prediction in human-robot interaction through assertion mining and pose estimation M Boldo, N Bombieri, M De Marchi, L Geretti, S Germiniani, G Pravadelli 2022 IEEE 23rd Latin American Test Symposium (LATS), 1-5, 2022 | 1 | 2022 |
Assertion-aware approximate computing design exploration on behavioral models A Bosio, M Bragaglio, S Germiniani, S Mori, G Pravadelli, M Traiola 2022 IEEE 23rd Latin American Test Symposium (LATS), 1-6, 2022 | 1 | 2022 |
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs A Bosio, S Germiniani, G Pravadelli, M Traiola Journal of Electronic Testing, 1-16, 2024 | | 2024 |
Exploiting assertions mining and fault analysis to guide RTL-level approximation A Bosio, S Germiniani, G Pravadelli, M Traiola 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-2, 2023 | | 2023 |
A complete assertion-based verification framework from the edge to the cloud S Germiniani | | 2023 |
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions S Germiniani, G Pravadelli 2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration …, 2022 | | 2022 |
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level M Bragaglio, S Germiniani, G Pravadelli IFIP/IEEE International Conference on Very Large Scale Integration-System on …, 2021 | | 2021 |
From Informal Specifications to an ABV Framework for Industrial Firmware Verification S Germiniani, M Bragaglio, G Pravadelli VLSI-SoC: Design Trends: 28th IFIP WG 10.5/IEEE International Conference on …, 2021 | | 2021 |
MIST: monitor generation from informal specifications for firmware verification S Germiniani, M Bragaglio, G Pravadelli 2020 IFIP/IEEE 28th International Conference on Very Large Scale Integration …, 2020 | | 2020 |
IEEE/IFIP INTERNATIONAL CONFERENCE ON VLSI AND SYSTEM-ON-CHIP, VLSI-SOC S Germiniani, M Bragaglio, G Pravadelli, NN Anandakumar, ... | | 2020 |