PICCOLBONI, LUCA
PICCOLBONI, LUCA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.008 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
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures
2019-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 | |
| Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures | 1-gen-2019 | 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 |