Get started
Author

Samuele Germiniani

Observed name: Germiniani, Samuele
Institution: Marconi University
ORCID: 0000-0003-0794-8606
Observed ORCID: 0000-0003-0794-8606
OpenAlex ID: A5005661044
HARM: A Hint-Based Assertion Miner
2022 · Samuele Germiniani, Graziano Pravadelli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 45
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study
2024 · Federico Cunico, Stefano Aldegheri, et al. · IEEE Access · 18
A containerized ROS-compliant verification environment for robotic systems
2021 · Stefano Aldegheri, Nicola Bombieri, et al. · Design, Automation, and Test in Europe · 9
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions
2022 · Samuele Germiniani, Graziano Pravadelli · IFIP/IEEE International Conference on Very Large Scale Integration · 8
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences
2020 · Samuele Germiniani, Alessandro Danese, et al. · IEEE Transactions on Emerging Topics in Computing · 7
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications
2025 · Nicola Bombieri, Samuele Germiniani, et al. · ACM Transactions on Embedded Computing Systems · 6
A Systematic Literature Review on Mining LTL Specifications
2025 · Samuele Germiniani, Daniele Nicoletti, et al. · IEEE Access · 6
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation
2022 · Michele Boldo, Nicola Bombieri, et al. · IEEE Latin American Test Symposium (LATS) · 5
Mining signal temporal logic specifications for hybrid systems
2024 · Daniele Nicoletti, Samuele Germiniani, et al. · Forum on specification and Design Languages · 3
Invited Talk: Pros and Cons of Assertion Mining
2024 · Samuele Germiniani, Daniele Nicoletti, et al. · IEEE Latin American Test Symposium (LATS) · 3
Exploiting assertions mining and fault analysis to guide RTL-level approximation
2023 · Alberto Bosio, Samuele Germiniani, et al. · Design, Automation, and Test in Europe · 3
A Conceptual Framework for Athlete Health Using AIoT, Wearables, and Personalized Performance Intelligence
2026 · Ernesto William De Luca, Nicola Dall’Ora, et al. · Applied Sciences · 2
PDF
Assertion-aware approximate computing design exploration on behavioral models
2022 · Alberto Bosio, Moreno Bragaglio, et al. · IEEE Latin American Test Symposium (LATS) · 2
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level
2022 · Moreno Bragaglio, Samuele Germiniani, et al. · IFIP advances in information and communication technology · 2
System-level bug explanation through program slicing and instruction clusterization
2021 · Moreno Bragaglio, Nicola Donatelli, et al. · IFIP/IEEE International Conference on Very Large Scale Integration · 2
A Baseline Framework for the Qualification of LTL Specification Miners
2025 · Samuele Germiniani, Daniele Nicoletti, et al. · Design, Automation, and Test in Europe · 1
Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata
2025 · Daniele Nicoletti, Samuele Germiniani, et al. · IEEE Latin American Test Symposium (LATS) · 1
Final report
2026 · luzzini, giovanni, Zandonà, Chiara, et al. · Zenodo (CERN European Organization for Nuclear Research)
Special Session Paper: Application of Functional Verification Techniques in Hardware Trust
2025 · Mohammad Reza Heidari Iman, Rolf Drechsler, et al. · Proceedings
PDF
A Genetic Approach for Automatic AxC Design Exploration at RTL Based on Assertion Mining and Fault Analysis
2025 · Alberto Bosio, Samuele Germiniani, et al. · IEEE Transactions on Emerging Topics in Computing
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs
2024 · Alberto Bosio, Samuele Germiniani, et al. · Journal of Electronic Testing
PDF
From Informal Specifications to an ABV Framework for Industrial Firmware Verification
2021 · Samuele Germiniani, Moreno Bragaglio, et al. · IFIP advances in information and communication technology
MIST: monitor generation from informal specifications for firmware verification
2020 · Samuele Germiniani, Moreno Bragaglio, et al. · IFIP/IEEE International Conference on Very Large Scale Integration
Works count: 23
Citation count: 123
H-index: 6
I10-index: 2
Year
Topic
Type