Olav P. Henschel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2012–2019
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICCAD | Spec&Check: An Approach to the Building of Shared-Memory Runtime Checkers for Multicore Chip Design Verification. | Marleson Graf, Olav P. Henschel, Rafael P. Alevato, Luiz C. V. dos Santos |
| 2012 | DATE | On ESL verification of memory consistency for system-on-chip multiprocessing. | Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos |