A parallelizable approach for mining likely invariants. - Alessandro Danese; Luca Piccolboni; Graziano Pravadelli (CODES+ISSS, 2015)

Automatic extraction of assertions from execution traces of behavioural models. - Alessandro Danese; Tara Ghasempouri; Graziano Pravadelli (DATE, 2015)

Exploiting GPU architectures for dynamic invariant mining. - Nicola Bombieri; Federico Busato; Alessandro Danese; Luca Piccolboni; Graziano Pravadelli (ICCD, 2015)

Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach. - Alessandro Danese; Francesca Filini; Tara Ghasempouri; Graziano Pravadelli (VLSI-SoC (Selected Papers), 2015)

A time-window based approach for dynamic assertions mining on control signals. - Alessandro Danese; Francesca Filini; Graziano Pravadelli (VLSI-SoC, 2015)

Automatic generation of power state machines through dynamic mining of temporal assertions. - Alessandro Danese; Graziano Pravadelli; Ivan Zandona (DATE, 2016)

Fault model qualification by assertion mining. - Alessandro Danese; Jacopo Mocci; Graziano Pravadelli (LATS, 2016)

DOVE: pinpointing firmware security vulnerabilities via symbolic control flow assertion mining (work-in-progress). - Alessandro Danese; Graziano Pravadelli; Valeria Bertacco (CODES+ISSS, 2017)

A-TEAM: Automatic template-based assertion miner. - Alessandro Danese; Nicolò Dalla Riva; Graziano Pravadelli (DAC, 2017)

Symbolic assertion mining for security validation. - Alessandro Danese; Valeria Bertacco; Graziano Pravadelli (DATE, 2018)

RTL Assertion Mining with Automated RTL-to-TLM Abstraction. - Tara Ghasempouri; Alessandro Danese; Graziano Pravadelli; Nicola Bombieri; Jaan Raik (FDL, 2019)

Engineering of an Effective Automatic Dynamic Assertion Mining Platform. - Tara Ghasempouri; Jan Malburg; Alessandro Danese; Graziano Pravadelli; Görschwin Fey; Jaan Raik (VLSI-SoC, 2019)

Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures. - Nicola Bombieri; Federico Busato; Alessandro Danese; Luca Piccolboni; Graziano Pravadelli (IEEE Trans. Computers, 2020)

Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences. - Samuele Germiniani; Alessandro Danese; Graziano Pravadelli (IEEE Trans. Emerg. Top. Comput., 2022)