Follow
Eugene Kornykhin
Eugene Kornykhin
"МГУ им. М.В. Ломоносова" OR "Институт системного программирования РАН"
Verified email at cmc.msu.ru
Title
Cited by
Cited by
Year
Инструментальные средства проектирования систем интегрированной модульной авионики
ДВ Буздалов, СВ Зеленов, ЕВ Корныхин, АК Петренко, АВ Страх, ...
Труды Института системного программирования РАН 26 (1), 201-230, 2014
472014
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
Tools for system design of integrated modular avionics
DV Buzdalov, SV Zelenov, EV Kornykhin, AK Petrenko, AV Strakh, ...
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2014
162014
Использование языка программирования Python для описания ограничений на архитектурные модели
ЕВ Корныхин, АВ Хорошилов
Труды Института системного программирования РАН 27 (5), 143-156, 2015
102015
Generation of test data for verification of caching mechanisms and address translation in microprocessors
EV Kornykhin
Programming and Computer Software 36, 28-35, 2010
62010
Smt-based test program generation for cache-memory testing
E Kornikhin
East-West Design & Test Symposium (EWDTS), 124-127, 2009
62009
Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов
ЕВ Корныхин
Труды Института системного программирования РАН 17, 145-160, 2009
42009
Test data generation for arithmetic subsystem of cpus mips64
E Kornikhin
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2008
42008
Генерация тестовых данных для тестирования арифметических операций центральных процессоров
ЕВ Корныхин
Труды Института системного программирования РАН 15, 107-117, 2008
42008
Monitoring and testing based on multi-level program specifications
AK Petrenko, DV Efremov, EV Kornykhin, VV Kulyamin, AV Khoroshilov, ...
Proceedings of the Institute for System Programming of the RAS 32 (6), 7-18, 2020
32020
Генерация тестовых данных для тестирования механизмов кэширования и трансляции адресов микропроцессоров
ЕВ Корныхин
Программирование 36 (1), 40-49, 2010
32010
Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
ДВ Ефремов, ВВ Копач, ЕВ Корныхин, ВВ Кулямин, АК Петренко, ...
Труды Института системного программирования РАН 33 (6), 15-26, 2021
22021
Мониторинг и тестирование на основе многоуровневых спецификаций программ
АК Петренко, ДВ Ефремов, ЕВ Корныхин, ВВ Кулямин, АВ Хорошилов, ...
Труды Института системного программирования РАН 32 (6), 7-18, 2020
22020
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров/Корныхин Евгений Валерьевич; науч. рук
ЕВ Корныхин
АК Петренко, 2010
22010
Python-based constraint language for architecture models
EV Kornykhin, AV Khoroshilov
Proceedings of the Institute for System Programming of the RAS 27 (5), 143-156, 2015
12015
PyCL–Python-based AADL Constraint Language
A Khoroshilov, E Kornykhin
12015
Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам
ЕВ Корныхин
Труды Института системного программирования РАН 18, 67-80, 2010
12010
Test data generation for LRU cache-memory testing
E Kornikhin
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2009
12009
Runtime Verification of Operating Systems Based on Abstract Models
DV Efremov, VV Kopach, EV Kornykhin, VV Kuliamin, AK Petrenko, ...
Programming and Computer Software 49 (7), 559-565, 2023
2023
Проблемы статического и динамического анализа архитектурных моделей
ЕВ Корныхин, АК Петренко, АВ Хорошилов
Proceedings of the VLDB Endowment 4 (9), 33, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20