Challenges in Verifying Communication Fabrics. - Michael Kishinevsky; Alexander Gotmanov; Yuriy Viktorov (ITP, 2011)

Verifying Deadlock-Freedom of Communication Fabrics. - Alexander Gotmanov; Satrajit Chatterjee; Michael Kishinevsky (VMCAI, 2011)

Microarchitectural Transformations Using Elasticity. - Marc Galceran Oms; Alexander Gotmanov; Jordi Cortadella; Michael Kishinevsky (ACM J. Emerg. Technol. Comput. Syst., 2011)

Compositional performance verification of NoC designs. - Daniel E. Holcomb; Alexander Gotmanov; Michael Kishinevsky; Sanjit A. Seshia (MEMOCODE, 2012)