Daniele Nicoletti

According to our database, Daniele Nicoletti authored at least 6 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Systematic Literature Review on Mining LTL Specifications.

Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli

IEEE Access, 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

Proceedings of the 26th IEEE Latin American Test Symposium, 2025

Special Session Paper: Application of Functional Verification Techniques in Hardware Trust.

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

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2025

A Baseline Framework for the Qualification of LTL Specification Miners.

Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2024

Invited Talk: Pros and Cons of Assertion Mining.

Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli

Proceedings of the 25th IEEE Latin American Test Symposium, 2024

Mining signal temporal logic specifications for hybrid systems.

Daniele Nicoletti, Samuele Germiniani, Graziano Pravadelli

Proceedings of the Forum on Specification & Design Languages, 2024