PICCOLBONI, LUCA
PICCOLBONI, LUCA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.001 secondi).
A homogeneous framework for AMS languages instrumentation, abstraction and simulation
2017-01-01 Fraccaroli, Enrico; Piccolboni, Luca; Fummi, Franco
A parallelizable approach for mining likely invariants
2015-01-01 Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
Exploiting GPU Architectures for Dynamic Invariant Mining
2015-01-01 Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
Simplified stimuli generation for scenario and assertion based verification
2014-01-01 Pravadelli, Graziano; Piccolboni, Luca
Stimuli Generation through Invariant Mining for Black-Box Verification
2016-01-01 Piccolboni, Luca; Pravadelli, Graziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A homogeneous framework for AMS languages instrumentation, abstraction and simulation | 1-gen-2017 | Fraccaroli, Enrico; Piccolboni, Luca; Fummi, Franco | |
A parallelizable approach for mining likely invariants | 1-gen-2015 | Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano | |
Exploiting GPU Architectures for Dynamic Invariant Mining | 1-gen-2015 | Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano | |
Simplified stimuli generation for scenario and assertion based verification | 1-gen-2014 | Pravadelli, Graziano; Piccolboni, Luca | |
Stimuli Generation through Invariant Mining for Black-Box Verification | 1-gen-2016 | Piccolboni, Luca; Pravadelli, Graziano |