A static analysis approach to data race detection in SystemC designs. - Mikhail J. Moiseev; Mikhail Glukhikh; Alexey V. Zakharov; Harald Richter 001 (DDECS, 2013)

A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs. - Mikhail Glukhikh; Mikhail J. Moiseev; Sergey I. Salishev (DSD, 2013)

Layer 1 and 2 of a ring-based, real-time network for in-vehicle communication. - Harald Richter 001; Ahmad Obeid 001; Mikhail Glukhikh; Mikhail J. Moiseev (ICUMT, 2014)

Fast Simulation of SystemC Synthesizable Subset. - Mikhail Glukhikh; Mikhail J. Moiseev (DDECS, 2015)