DANESE, ALESSANDRO
DANESE, ALESSANDRO
DIPARTIMENTO DI INFORMATICA
A parallelizable approach for mining likely invariants
2015-01-01 Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
A time-window based approach for dynamic assertions mining on control signals
2015-01-01 Danese, Alessandro; Filini, Francesca; Pravadelli, Graziano
A-TEAM: Automatic template-based assertion miner
2017-01-01 Danese, Alessandro; Riva, Nicolò Dalla; Pravadelli, Graziano
Automatic extraction of assertions from execution traces of behavioural models
2015-01-01 Danese, Alessandro; Ghasempouri, Tara; Pravadelli, Graziano
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach
2016-01-01 Danese, Alessandro; Filini, Francesca; Ghasempouri, Tara; Pravadelli, Graziano
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences
2020-01-01 Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano
Automatic generation of power state machines through dynamic mining of temporal assertions
2016-01-01 Danese, Alessandro; Pravadelli, Graziano; Zandonà, Ivan
Engineering of an Effective Automatic Dynamic Assertion Mining Platform
2019-01-01 Ghasempouri, Tara; Malburg, Jan; Danese, Alessandro; Pravadelli, Graziano; Fey, Goerschwin; Raik, Jaan
Exploiting GPU Architectures for Dynamic Invariant Mining
2015-01-01 Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
Fault model qualification by assertion mining
2016-01-01 Danese, Alessandro; Mocci, Jacopo; Pravadelli, Graziano; Mocci, Jacopo
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures
2019-01-01 Bombieri, Nicola; Busato, Federico; Danese, Alessandro; Piccolboni, Luca; Pravadelli, Graziano
RTL assertion mining with automated RTLto-TLM abstraction
2019-01-01 Ghasempouri, Tara; Danese, Alessandro; Pravadelli, Graziano; Bombieri, Nicola; Raik, Jaan
Symbolic assertion mining for security validation
2018-01-01 Danese, Alessandro; Bertacco, Valeria; Pravadelli, Graziano
System-level functional and extra-functional characterization of SoCs through assertion mining
2018-01-01 Danese, Alessandro
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining
2017-01-01 Danese, Alessandro; Pravadelli, Graziano; Bertacco, Valeria
| 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 |