Alessandro Danese

According to our database1, Alessandro Danese authored at least 14 papers between 2015 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences.
IEEE Trans. Emerg. Top. Comput., 2022

2020
Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures.
IEEE Trans. Computers, 2020

2019
Engineering of an Effective Automatic Dynamic Assertion Mining Platform.
Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019

RTL Assertion Mining with Automated RTL-to-TLM Abstraction.
Proceedings of the 2019 Forum for Specification and Design Languages, 2019

2018
Symbolic assertion mining for security validation.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
A-TEAM: Automatic template-based assertion miner.
Proceedings of the 54th Annual Design Automation Conference, 2017

DOVE: pinpointing firmware security vulnerabilities via symbolic control flow assertion mining (work-in-progress).
Proceedings of the Twelfth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion, 2017

2016
Fault model qualification by assertion mining.
Proceedings of the 17th Latin-American Test Symposium, 2016

Automatic generation of power state machines through dynamic mining of temporal assertions.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
A time-window based approach for dynamic assertions mining on control signals.
Proceedings of the 2015 IFIP/IEEE International Conference on Very Large Scale Integration, 2015

Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach.
Proceedings of the VLSI-SoC: Design for Reliability, Security, and Low Power, 2015

Exploiting GPU architectures for dynamic invariant mining.
Proceedings of the 33rd IEEE International Conference on Computer Design, 2015

Automatic extraction of assertions from execution traces of behavioural models.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

A parallelizable approach for mining likely invariants.
Proceedings of the 2015 International Conference on Hardware/Software Codesign and System Synthesis, 2015


  Loading...