Kirill Gagarski

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 3

Top Topics

Formal Verification

Description Language

Colored Petri Nets

Top Venues

Autom. Control. Comput. Sci.

Publications

Kirill Gagarski, Maxim Petrov, Mikhail J. Moiseev, Ilya Klotchkov
Power specification, simulation and verification of SystemC designs. EWDTS (2016)
Maxim Petrov, Kirill Gagarski, Mikhail A. Belyaev, Vladimir M. Itsykson
Using a bounded model checker for test generation: How to kill two birds with one SMT solver. Autom. Control. Comput. Sci. 49 (7) (2015)
Maxim Petrov, Kirill Gagarski, Mikhail J. Moiseev
Automatic transformation of SystemC designs to speed up simulation. EWDTS (2015)