NICOLETTI, DANIELE

NICOLETTI, DANIELE  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.013 secondi).
Titolo Data di pubblicazione Autore(i) File
A Baseline Framework for the Qualification of LTL Specification Miners 1-gen-2025 Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano
A Systematic Literature Review on Mining LTL Specifications 1-gen-2025 Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano
Invited Talk: Pros and Cons of Assertion Mining 1-gen-2024 Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano
Mining signal temporal logic specifications for hybrid systems 1-gen-2024 Nicoletti, Daniele; Germiniani, Samuele; Pravadelli, Graziano
Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata 1-gen-2025 Nicoletti, Daniele; Germiniani, Samuele; Aldegheri, Alessandro; Cipriani, Michele; Venturi, Davide; Vilotto, Tommaso; Pravadelli, Graziano