Alexander Gotmanov

According to our database, Alexander Gotmanov authored at least 4 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Compositional performance verification of NoC designs.

Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

2011

Microarchitectural Transformations Using Elasticity.

Marc Galceran Oms, Alexander Gotmanov, Jordi Cortadella, Michael Kishinevsky

ACM J. Emerg. Technol. Comput. Syst., 2011

Verifying Deadlock-Freedom of Communication Fabrics.

Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Challenges in Verifying Communication Fabrics.

Michael Kishinevsky, Alexander Gotmanov, Yuriy Viktorov

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011