( en | de | ru )

 

Disambiguation of "Danese, Alessandro"

Author of the publication

copydeleteadd this publication to your clipboard
Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures.

, , , , and . IEEE Trans. Computers, 69 (4): 606-620 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Alessandro Nova

Alessandro Zivelonghi

Alessandro Mirizzi

Alessandro Manfredini

 

Other publications of authors with the same name

Automatic extraction of assertions from execution traces of behavioural models., , and . DATE, page 67-72. ACM, (2015)Fault model qualification by assertion mining., , and . LATS, page 45-50. IEEE, (2016)RTL Assertion Mining with Automated RTL-to-TLM Abstraction., , , , and . FDL, page 1-8. IEEE, (2019)A-TEAM: Automatic template-based assertion miner., , and . DAC, page 37:1-37:6. ACM, (2017)Automatic generation of power state machines through dynamic mining of temporal assertions., , and . DATE, page 606-611. IEEE, (2016)DOVE: pinpointing firmware security vulnerabilities via symbolic control flow assertion mining (work-in-progress)., , and . CODES+ISSS, page 9:1-9:2. ACM, (2017)Symbolic assertion mining for security validation., , and . DATE, page 1550-1555. IEEE, (2018)Engineering of an Effective Automatic Dynamic Assertion Mining Platform., , , , , and . VLSI-SoC, page 111-116. IEEE, (2019)A time-window based approach for dynamic assertions mining on control signals., , and . VLSI-SoC, page 246-251. IEEE, (2015)Exploiting GPU architectures for dynamic invariant mining., , , , and . ICCD, page 192-195. IEEE Computer Society, (2015)