Подписаться
Alexander Kamkin
Alexander Kamkin
Leading Researcher at ISP RAS
Подтвержден адрес электронной почты в домене ispras.ru - Главная страница
Название
Процитировано
Процитировано
Год
Генерация тестовых программ для микропроцессоров
АС Камкин
Труды ИСП РАН 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
292013
Обзор современных технологий имитационной верификации аппаратуры
АС Камкин, ММ Чупилко
Программирование 37 (3), 42-49, 2011
27*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
232011
MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors
A Kamkin, A Tatarnikov
Proceedings of SYRCoSE 2012, 2012
22*2012
Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения
ВП Иванников, АС Камкин, ВВ Кулямин, АК Петренко
Москва 19, 2005
212005
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
202014
Reconfigurable model-based test program generator for microprocessors
A Kamkin, E Kornykhin, D Vorobyev
2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011
202011
Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения
ЯС Губенко, АС Камкин, ММ Чупилко
Труды Института системного программирования РАН 17, 133-143, 2009
172009
Введение в формальные методы верификации программ
АС Камкин
Москва, 2018
15*2018
Трудности модульной верификации аппаратуры на примере буфера команд микропроцессора «Эльбрус-2S»
РА Баратов, АС Камкин, ВМ Майорова, АН Мешков, АА Сортов, ...
Вопросы радиоэлектроники, 84-96, 2013
142013
High-Performance Testing: Parallelizing Functional Tests for Computer Systems Using Distributed Graph Exploration
A Demakov, A Kamkin, A Sortov
Open Cirrus Summit, 2011
142011
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
132017
Параллельное тестирование больших автоматных моделей
ИБ Бурдонов, СГ Грошев, АВ Демаков, АС Камкин, АС Косачев, ...
Вестник Нижегородского университета им. Н.И. Лобачевского, 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
122015
Генерация тестовых программ для подсистемы управления памятью микропроцессора
ДН Воробьев, АС Камкин
Труды Института системного программирования РАН 17, 119-132, 2009
122009
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
112015
A method of extended finite state machines construction from HDL descriptions based on static analysis of source code
SA Smolov, AS Kamkin
Computing, Telecommunication and Control, 60-73, 2015
11*2015
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20