Инструментальные средства проектирования систем интегрированной модульной авионики ДВ Буздалов, СВ Зеленов, ЕВ Корныхин, АК Петренко, АВ Страх, ... Труды Института системного программирования РАН 26 (1), 201-230, 2014 | 48 | 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 |
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 | 16 | 2014 |
Использование языка программирования Python для описания ограничений на архитектурные модели ЕВ Корныхин, АВ Хорошилов Труды Института системного программирования РАН 27 (5), 143-156, 2015 | 10 | 2015 |
Generation of test data for verification of caching mechanisms and address translation in microprocessors EV Kornykhin Programming and Computer Software 36, 28-35, 2010 | 6 | 2010 |
Smt-based test program generation for cache-memory testing E Kornikhin East-West Design & Test Symposium (EWDTS), 124-127, 2009 | 6 | 2009 |
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 | 4 | 2020 |
Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов ЕВ Корныхин Труды Института системного программирования РАН 17, 145-160, 2009 | 4 | 2009 |
Test data generation for arithmetic subsystem of cpus mips64 E Kornikhin Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2008 | 4 | 2008 |
Генерация тестовых данных для тестирования арифметических операций центральных процессоров ЕВ Корныхин Труды Института системного программирования РАН 15, 107-117, 2008 | 4 | 2008 |
Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы ДВ Ефремов, ВВ Копач, ЕВ Корныхин, ВВ Кулямин, АК Петренко, ... Труды Института системного программирования РАН 33 (6), 15-26, 2021 | 3 | 2021 |
Мониторинг и тестирование на основе многоуровневых спецификаций программ АК Петренко, ДВ Ефремов, ЕВ Корныхин, ВВ Кулямин, АВ Хорошилов, ... Труды Института системного программирования РАН 32 (6), 7-18, 2020 | 3 | 2020 |
Генерация тестовых данных для тестирования механизмов кэширования и трансляции адресов микропроцессоров ЕВ Корныхин Программирование 36 (1), 40-49, 2010 | 3 | 2010 |
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 | 2 | 2022 |
Построение тестовых программ для проверки подсистем управления памяти микропроцессоров/Корныхин Евгений Валерьевич; науч. рук ЕВ Корныхин АК Петренко, 2010 | 2 | 2010 |
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 | 1 | 2015 |
PyCL–Python-based AADL Constraint Language A Khoroshilov, E Kornykhin | 1 | 2015 |
Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам ЕВ Корныхин Труды Института системного программирования РАН 18, 67-80, 2010 | 1 | 2010 |
Test data generation for LRU cache-memory testing E Kornikhin Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2009 | 1 | 2009 |
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 |