Daniele Nicoletti

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

Collaborative distances:

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

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

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