Alexander S. Kamkin

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 5

Top Topics

Hardware Designs

Transition Systems

Top Venues

Program. Comput. Softw.

Publications

Alexander S. Kamkin, Mikhail Lebedev, Sergey A. Smolov
An EFSM-driven and model checking-based approach to functional test generation for hardware designs. EWDTS (2016)
Hamed Najafi Haghi, Mikhail M. Chupilko, Alexander S. Kamkin, Zainalabedin Navabi
ESL design with RTL-verified predesigned abstract communication channels. EWDTS (2016)
Sergey A. Smolov, Jorge López, Natalia Kushik, Nina Yevtushenko, Mikhail M. Chupilko, Alexander S. Kamkin
Testing logic circuits at different abstraction levels: An experimental evaluation. EWDTS (2016)
Alexander S. Kamkin
Projecting transition systems: Overcoming state explosion in concurrent system verification. Program. Comput. Softw. 41 (6) (2015)
Mikhail M. Chupilko, Alexander S. Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. MTV (2015)
Alexander S. Kamkin, T. I. Sergeeva, Sergey A. Smolov, A. D. Tatarnikov, Mikhail M. Chupilko
Extensible environment for test program generation for microprocessors. Program. Comput. Softw. 40 (1) (2014)
Mikhail M. Chupilko, Alexander S. Kamkin
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces MBT (2013)
Alexander S. Kamkin, Mikhail M. Chupilko
Survey of modern technologies of simulation-based verification of hardware. Program. Comput. Softw. 37 (3) (2011)
V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
The use of contract specifications for representing requirements and for functional testing of hardware models. Program. Comput. Softw. 33 (5) (2007)