DANESE, ALESSANDRO

DANESE, ALESSANDRO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.031 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 and Qualification of Assertions on Control Signals: A Time Window-Based Approach 1-gen-2016 Danese, Alessandro; Filini, Francesca; Ghasempouri, Tara; Pravadelli, Graziano
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 1-gen-2020 Germiniani, Samuele; Danese, Alessandro; 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
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 1-gen-2019 Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
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
System-level functional and extra-functional characterization of SoCs through assertion mining 1-gen-2018 Danese, Alessandro
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining 1-gen-2017 Danese, Alessandro; Pravadelli, Graziano; Bertacco, Valeria