NICOLETTI, DANIELE
NICOLETTI, DANIELE
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
A Baseline Framework for the Qualification of LTL Specification Miners
2025-01-01 Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano
Invited Talk: Pros and Cons of Assertion Mining
2024-01-01 Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano
Mining signal temporal logic specifications for hybrid systems
2024-01-01 Nicoletti, Daniele; Germiniani, Samuele; Pravadelli, Graziano
Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata
2025-01-01 Nicoletti, Daniele; Germiniani, Samuele; Aldegheri, Alessandro; Cipriani, Michele; Venturi, Davide; Vilotto, Tommaso; Pravadelli, Graziano
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 | |
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 |