Alessandro Danese

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