Static analysis of HDL descriptions: Extracting models for verification. - Alexander Kamkin; Sergey A. Smolov; Igor Melnichenko (EWDTS, 2013)

Extensible environment for test program generation for microprocessors. - Alexander S. Kamkin; T. I. Sergeeva; Sergey A. Smolov; A. D. Tatarnikov; Mikhail M. Chupilko (Program. Comput. Softw., 2014)

Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. - Mikhail M. Chupilko; Alexander S. Kamkin; Artem Kotsynyak; Alexander Protsenko; Sergey A. Smolov; Andrei Tatarnikov (MTV, 2015)

An EFSM-driven and model checking-based approach to functional test generation for hardware designs. - Alexander S. Kamkin; Mikhail Lebedev 002; Sergey A. Smolov (EWDTS, 2016)

Testing logic circuits at different abstraction levels: An experimental evaluation. - Sergey A. Smolov; Jorge López; Natalia Kushik; Nina Yevtushenko 001; Mikhail M. Chupilko; Alexander S. Kamkin (EWDTS, 2016)

Maintaining ISA Specifications in MicroTESK Test Program Generator. - Mikhail M. Chupilko; Alexander Kamkin; Artem Kotsynyak; Alexander Protsenko; Sergey A. Smolov; Andrei Tatarnikov (MTV, 2017)

Test Program Generator MicroTESK for RISC-V. - Mikhail M. Chupilko; Alexander Kamkin; Artem Kotsynyak; Alexander Protsenko; Sergey A. Smolov; Andrei Tatarnikov (MTV, 2018)

High-Level Synthesis versus Hardware Construction. - Alexander Kamkin; Mikhail M. Chupilko; Mikhail Lebedev 002; Sergey A. Smolov; Georgi Gaydadjiev (DATE, 2023)