Mikhail Glukhikh

According to our database, Mikhail Glukhikh authored at least 4 papers between 2013 and 2015.

Collaborative distances:

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

2015

Fast Simulation of SystemC Synthesizable Subset.

Mikhail Glukhikh, Mikhail J. Moiseev

Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015

2014

Layer 1 and 2 of a ring-based, real-time network for in-vehicle communication.

Harald Richter, Ahmad Obeid, Mikhail Glukhikh, Mikhail J. Moiseev

Proceedings of the 6th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2014

2013

A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs.

Mikhail Glukhikh, Mikhail J. Moiseev, Sergey I. Salishev

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

A static analysis approach to data race detection in SystemC designs.

Mikhail J. Moiseev, Mikhail Glukhikh, Alexey V. Zakharov, Harald Richter

Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013