Alexander Kamkin

Alexander Kamkin

Institute for System Programming Russian Academy of Sciences - Moscow / Russia
Others
AD Scientific Index ID: 4409630
Институт системного программирования Российской академии наук
person_outline Alexander Kamkin's MOST POPULAR ARTICLES
1-) Генерация тестовых программ для микропроцессоровАС КамкинТруды ИСП РАН 14 (2), 23-64, 200837*2008
2-) Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратурыВП Иванников, АС Камкин, АС Косачев, ВВ Кулямин, АК ПетренкоПрограммирование 33 (5), 47-61, 200731*2007
3-) Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed TracesM Chupilko, A KamkinEPTCS 111, 67-81, 2013282013
4-) Обзор современных технологий имитационной верификации аппаратурыАС Камкин, ММ ЧупилкоПрограммирование 37 (3), 42-49, 201128*2011
5-) Средства функциональной верификации микропроцессоровАС Камкин, АМ Коцыняк, СА Смолов, АД Татарников, ММ Чупилко, ...Труды Института системного программирования РАН 26 (1), 149-200, 201425*2014