Alexander Gotmanov

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Signature Verification

Network On Chip

Top Venues

Publications

Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia
Compositional performance verification of NoC designs. MEMOCODE (2012)
Marc Galceran Oms, Alexander Gotmanov, Jordi Cortadella, Michael Kishinevsky
Microarchitectural Transformations Using Elasticity. ACM J. Emerg. Technol. Comput. Syst. 7 (4) (2011)
Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky
Verifying Deadlock-Freedom of Communication Fabrics. VMCAI (2011)
Michael Kishinevsky, Alexander Gotmanov, Yuriy Viktorov
Challenges in Verifying Communication Fabrics. ITP (2011)