Alessandro Danese

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 9

Top Topics

Control Signals

Top Venues

Publications

Samuele Germiniani, Alessandro Danese, Graziano Pravadelli
Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences. IEEE Trans. Emerg. Top. Comput. 10 (2) (2022)
Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures. IEEE Trans. Computers 69 (4) (2020)
Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik
RTL Assertion Mining with Automated RTL-to-TLM Abstraction. FDL (2019)
Tara Ghasempouri, Jan Malburg, Alessandro Danese, Graziano Pravadelli, Görschwin Fey, Jaan Raik
Engineering of an Effective Automatic Dynamic Assertion Mining Platform. VLSI-SoC (2019)
Alessandro Danese, Valeria Bertacco, Graziano Pravadelli
Symbolic assertion mining for security validation. DATE (2018)
Alessandro Danese, Nicolò Dalla Riva, Graziano Pravadelli
A-TEAM: Automatic template-based assertion miner. DAC (2017)
Alessandro Danese, Graziano Pravadelli, Valeria Bertacco
DOVE: pinpointing firmware security vulnerabilities via symbolic control flow assertion mining (work-in-progress). CODES+ISSS (2017)
Alessandro Danese, Jacopo Mocci, Graziano Pravadelli
Fault model qualification by assertion mining. LATS (2016)
Alessandro Danese, Graziano Pravadelli, Ivan Zandona
Automatic generation of power state machines through dynamic mining of temporal assertions. DATE (2016)
Alessandro Danese, Francesca Filini, Tara Ghasempouri, Graziano Pravadelli
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach. VLSI-SoC (Selected Papers) (2015)
Alessandro Danese, Francesca Filini, Graziano Pravadelli
A time-window based approach for dynamic assertions mining on control signals. VLSI-SoC (2015)
Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
Exploiting GPU architectures for dynamic invariant mining. ICCD (2015)
Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli
Automatic extraction of assertions from execution traces of behavioural models. DATE (2015)
Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
A parallelizable approach for mining likely invariants. CODES+ISSS (2015)