Automatic transformation of SystemC designs to speed up simulation. - Maxim Petrov; Kirill Gagarski; Mikhail J. Moiseev (EWDTS, 2015)

Using a bounded model checker for test generation: How to kill two birds with one SMT solver. - Maxim Petrov; Kirill Gagarski; Mikhail A. Belyaev; Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2015)

Power specification, simulation and verification of SystemC designs. - Kirill Gagarski; Maxim Petrov; Mikhail J. Moiseev; Ilya Klotchkov (EWDTS, 2016)