Mikhail Glukhikh

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

Static Analysis

Top Venues

Publications

Mikhail Glukhikh, Mikhail J. Moiseev
Fast Simulation of SystemC Synthesizable Subset. DDECS (2015)
Harald Richter, Ahmad Obeid, Mikhail Glukhikh, Mikhail J. Moiseev
Layer 1 and 2 of a ring-based, real-time network for in-vehicle communication. ICUMT (2014)
Mikhail J. Moiseev, Mikhail Glukhikh, Alexey V. Zakharov, Harald Richter
A static analysis approach to data race detection in SystemC designs. DDECS (2013)
Mikhail Glukhikh, Mikhail J. Moiseev, Sergey I. Salishev
A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs. DSD (2013)