Mikhail Kovalev

According to our database, Mikhail Kovalev authored at least 5 papers between 2010 and 2014.

Collaborative distances:

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

2014

A Pipelined Multi-core MIPS Machine - Hardware Implementation and Correctness Proof.

Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul

Lecture Notes in Computer Science 9000, Springer, ISBN: 978-3-319-13906-7, 2014

Store Buffer Reduction with MMUs.

Geng Chen, Ernie Cohen, Mikhail Kovalev

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013

TLB virtualization in the context of hypervisor verification.

Mikhail Kovalev

PhD thesis, 2013

2012

Verification of TLB Virtualization Implemented in C.

Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, Wolfgang J. Paul

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2010

Verifying shadow page table algorithms.

Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010