Alessandro Danese
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FDL | RTL Assertion Mining with Automated RTL-to-TLM Abstraction. | Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik |
| 2018 | DATE | Symbolic assertion mining for security validation. | Alessandro Danese, Valeria Bertacco, Graziano Pravadelli |
| 2017 | DAC | A-TEAM: Automatic template-based assertion miner. | Alessandro Danese, Nicol Dalla Riva, Graziano Pravadelli |
| 2016 | DATE | Automatic generation of power state machines through dynamic mining of temporal assertions. | Alessandro Danese, Graziano Pravadelli, Ivan Zandona |
| 2015 | DATE | Automatic extraction of assertions from execution traces of behavioural models. | Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli |
| 2015 | ICCD | Exploiting GPU architectures for dynamic invariant mining. | Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli |