Gabriel A. G. Andrade
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2012–2020
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | DATE | A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification. | Ncolas Pfeifer, Bruno V. Zimpel, Gabriel A. G. Andrade, Luiz C. V. dos Santos |
| 2018 | ICCAD | Steep coverage-ascent directed test generation for shared-memory verification of multicore chips. | Gabriel A. G. Andrade, Marleson Graf, Ncolas Pfeifer, Luiz C. V. dos Santos |
| 2016 | ICCD | Chain-based pseudorandom tests for pre-silicon verification of CMP memory systems. | Gabriel A. G. Andrade, Marleson Graf, Luiz C. V. dos Santos |
| 2012 | ICCD | Efficient verification of out-of-order behaviors with relaxed scoreboards. | Leandro S. Freitas, Gabriel A. G. Andrade, Luiz C. V. dos Santos |