DANESE, ALESSANDRO

DANESE, ALESSANDRO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
A parallelizable approach for mining likely invariants 1-gen-2015 Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
A time-window based approach for dynamic assertions mining on control signals 1-gen-2015 Danese, Alessandro; Filini, Francesca; Pravadelli, Graziano
A-TEAM: Automatic template-based assertion miner 1-gen-2017 Danese, Alessandro; Riva, Nicolò Dalla; Pravadelli, Graziano
Automatic extraction of assertions from execution traces of behavioural models 1-gen-2015 Danese, Alessandro; Ghasempouri, Tara; Pravadelli, Graziano
Automatic generation of power state machines through dynamic mining of temporal assertions 1-gen-2016 Danese, Alessandro; Pravadelli, Graziano; Zandonà, Ivan
Engineering of an Effective Automatic Dynamic Assertion Mining Platform 1-gen-2019 Ghasempouri, Tara; Malburg, Jan; Danese, Alessandro; Pravadelli, Graziano; Fey, Goerschwin; Raik, Jaan
Exploiting GPU Architectures for Dynamic Invariant Mining 1-gen-2015 Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
Fault model qualification by assertion mining 1-gen-2016 Danese, Alessandro; Mocci, Jacopo; Pravadelli, Graziano; Mocci, Jacopo
RTL assertion mining with automated RTLto-TLM abstraction 1-gen-2019 Ghasempouri, Tara; Danese, Alessandro; Pravadelli, Graziano; Bombieri, Nicola; Raik, Jaan
Symbolic assertion mining for security validation 1-gen-2018 Danese, Alessandro; Bertacco, Valeria; Pravadelli, Graziano
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining 1-gen-2017 Danese, Alessandro; Pravadelli, Graziano; Bertacco, Valeria