The UniTESK Approach to Specification-Based Validation of Hardware Designs. - Alexander Kamkin (ISoLA, 2006)

The use of contract specifications for representing requirements and for functional testing of hardware models. - V. P. Ivannikov; Alexander S. Kamkin; Alexander S. Kossatchev; Victor V. Kuliamin; Alexander K. Petrenko (Program. Comput. Softw., 2007)

Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications. - Alexander Kamkin (EWDTS, 2008)

Simulation-based hardware verification with time-abstract models. - Alexander Kamkin (EWDTS, 2011)

Reconfigurable Model-Based Test Program Generator for Microprocessors. - Alexander Kamkin; Eugene Kornykhin; Dmitry Vorobyev (ICST Workshops, 2011)

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)

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

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)

Projecting transition systems: Overcoming state explosion in concurrent system verification. - Alexander S. Kamkin (Program. Comput. Softw., 2015)

Applying parameterized model checking to real-life cache coherence protocols. - Vladimir Burenkov; Alexander Kamkin (EWDTS, 2016)

ESL design with RTL-verified predesigned abstract communication channels. - Hamed Najafi Haghi; Mikhail M. Chupilko; Alexander S. Kamkin; Zainalabedin Navabi (EWDTS, 2016)

Universal mitigation of NBTI-induced aging by design randomization. - Maksim Jenihhin; Alexander Kamkin; Zainalabedin Navabi; Somayeh Sadeghi Kohan (EWDTS, 2016)

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)

MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors. - Alexander Kamkin; Andrei Tatarnikov (Ershov Informatics Conference, 2017)

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)

Deductive Binary Code Verification Against Source-Code-Level Specifications. - Alexander Kamkin; Alexey Khoroshilov; Artem Kotsynyak; Pavel Putro (TAP@STAF, 2020)

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