Подписаться
Eugene Kornykhin
Eugene Kornykhin
"МГУ им. М.В. Ломоносова" OR "Институт системного программирования РАН"
Подтвержден адрес электронной почты в домене cmc.msu.ru
Название
Процитировано
Процитировано
Год
Инструментальные средства проектирования систем интегрированной модульной авионики
ДВ Буздалов, СВ Зеленов, ЕВ Корныхин, АК Петренко, АВ Страх, ...
Труды Института системного программирования РАН 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
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
42020
Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов
ЕВ Корныхин
Труды Института системного программирования РАН 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
Мониторинг и тестирование на основе многоуровневых спецификаций программ
АК Петренко, ДВ Ефремов, ЕВ Корныхин, ВВ Кулямин, АВ Хорошилов, ...
Труды Института системного программирования РАН 32 (6), 7-18, 2020
32020
Генерация тестовых данных для тестирования механизмов кэширования и трансляции адресов микропроцессоров
ЕВ Корныхин
Программирование 36 (1), 40-49, 2010
32010
Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
ДВ Ефремов, ВВ Копач, ЕВ Корныхин, ВВ Кулямин, АК Петренко, ...
Труды Института системного программирования РАН 33 (6), 15-26, 2021
22021
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров/Корныхин Евгений Валерьевич; науч. рук
ЕВ Корныхин
АК Петренко, 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
Runtime verification of operating systems based on abstract models
DV Efremov, VV Kopach, EV KORNYKHIN, VV KULIAMIN, AK Petrenko, ...
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2022
2022
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20