Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models. - Mikhail M. Chupilko (EWDTS, 2010)

A TLM-based approach to functional verification of hardware components at different abstraction levels. - Mikhail M. Chupilko; Alexander Kamkin (LATW, 2011)

Survey of modern technologies of simulation-based verification of hardware. - Alexander S. Kamkin; Mikhail M. Chupilko (Program. Comput. Softw., 2011)

Developing test systems for multi-modules hardware designs. - Mikhail M. Chupilko (Program. Comput. Softw., 2012)

Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces - Mikhail M. Chupilko; Alexander S. Kamkin (MBT, 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)

ESL design with RTL-verified predesigned abstract communication channels. - Hamed Najafi Haghi; Mikhail M. Chupilko; Alexander S. Kamkin; Zainalabedin Navabi (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)

MicroTESK: Specification-Based Tool for Constructing Test Program Generators. - Mikhail M. Chupilko; Alexander Kamkin; Artem Kotsynyak; Andrei Tatarnikov (Haifa Verification Conference, 2017)

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)

Open-Source Validation Suite for RISC-V. - Mikhail M. Chupilko; Alexander Kamkin; Alexander Protsenko (MTV, 2019)

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