Mining signal temporal logic specifications for hybrid systems. - Daniele Nicoletti; Samuele Germiniani; Graziano Pravadelli (FDL, 2024)

Invited Talk: Pros and Cons of Assertion Mining. - Samuele Germiniani; Daniele Nicoletti; Graziano Pravadelli (LATS, 2024)

A Baseline Framework for the Qualification of LTL Specification Miners. - Samuele Germiniani; Daniele Nicoletti; Graziano Pravadelli (DATE, 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 (LATS, 2025)

A Systematic Literature Review on Mining LTL Specifications. - Samuele Germiniani; Daniele Nicoletti; Graziano Pravadelli (IEEE Access, 2025)