Alexander Gotmanov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2012
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | MEMOCODE | Compositional performance verification of NoC designs. | Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia |
| 2011 | ITP | Challenges in Verifying Communication Fabrics. | Michael Kishinevsky, Alexander Gotmanov, Yuriy Viktorov |
| 2011 | VMCAI | Verifying Deadlock-Freedom of Communication Fabrics. | Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky |