| Генерация тестовых программ для микропроцессоров АС Камкин Труды ИСП РАН 14 (2), 23-64, 2008 | 39* | 2008 |
| Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры ВП Иванников, АС Камкин, АС Косачев, ВВ Кулямин, АК Петренко Программирование 33 (5), 47-61, 2007 | 30* | 2007 |
| Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces M Chupilko, A Kamkin EPTCS 111, 67-81, 2013 | 29 | 2013 |
| Обзор современных технологий имитационной верификации аппаратуры АС Камкин, ММ Чупилко Программирование 37 (3), 42-49, 2011 | 28* | 2011 |
| Средства функциональной верификации микропроцессоров АС Камкин, АМ Коцыняк, СА Смолов, АД Татарников, ММ Чупилко, ... Труды Института системного программирования РАН 26 (1), 149-200, 2014 | 25* | 2014 |
| A TLM-based approach to functional verification of hardware components at different abstraction levels M Chupilko, A Kamkin 2011 12th Latin American Test Workshop (LATW), 1-6, 2011 | 23 | 2011 |
| MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors A Kamkin, A Tatarnikov Proceedings of SYRCoSE 2012, 2012 | 22* | 2012 |
| Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения ВП Иванников, АС Камкин, ВВ Кулямин, АК Петренко Москва 19, 2005 | 21 | 2005 |
| Extensible environment for test program generation for microprocessors AS Kamkin, TI Sergeeva, SA Smolov, AD Tatarnikov, MM Chupilko Programming and Computer Software 40, 1-9, 2014 | 20 | 2014 |
| Reconfigurable model-based test program generator for microprocessors A Kamkin, E Kornykhin, D Vorobyev 2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011 | 20 | 2011 |
| Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения ЯС Губенко, АС Камкин, ММ Чупилко Труды Института системного программирования РАН 17, 133-143, 2009 | 17 | 2009 |
| Введение в формальные методы верификации программ АС Камкин Москва, 2018 | 16* | 2018 |
| MicroTESK: specification-based tool for constructing test program generators M Chupilko, A Kamkin, A Kotsynyak, A Tatarnikov Hardware and Software: Verification and Testing: 13th International Haifa …, 2017 | 14 | 2017 |
| Трудности модульной верификации аппаратуры на примере буфера команд микропроцессора «Эльбрус-2S» РА Баратов, АС Камкин, ВМ Майорова, АН Мешков, АА Сортов, ... Вопросы радиоэлектроники, 84-96, 2013 | 14 | 2013 |
| High-Performance Testing: Parallelizing Functional Tests for Computer Systems Using Distributed Graph Exploration A Demakov, A Kamkin, A Sortov Open Cirrus Summit, 2011 | 14 | 2011 |
| Параллельное тестирование больших автоматных моделей ИБ Бурдонов, СГ Грошев, АВ Демаков, АС Камкин, АС Косачев, ... Вестник Нижегородского университета им. Н.И. Лобачевского, 2011 | 13* | 2011 |
| An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs I Melnichenko, A Kamkin, S Smolov | 12 | 2015 |
| Генерация тестовых программ для подсистемы управления памятью микропроцессора ДН Воробьев, АС Камкин Труды Института системного программирования РАН 17, 119-132, 2009 | 12 | 2009 |
| Test program generator MicroTESK for RISC-V M Chupilko, A Kamkin, A Kotsynyak, A Protsenko, S Smolov, A Tatarnikov 2018 19th International Workshop on Microprocessor and SOC Test and …, 2018 | 11 | 2018 |
| Specification-based test program generation for ARM VMSAv8-64 memory management units M Chupilko, A Kamkin, A Kotsynyak, A Protsenko, S Smolov, A Tatarnikov 2015 16th International Workshop on Microprocessor and SOC Test and …, 2015 | 11 | 2015 |
Mikhail ChupilkoSenior Researcher, ISP RAS在 ispras.ru 的电子邮件经过验证
