ИСТИНА

Корныхин Евгений Валерьевич пользователь ответственный

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, доцент, с 27 апреля 2016

кандидат физико-математических наук с 2011 года

Прежние места работы (Нажмите для отображения)

Институт системного программирования РАН

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, ответственный по системе

Соавторы: Хорошилов А.В., Петренко А.К., Буздалов Д.В., Кулямин В.В., Shchepetkov I.V., ЕФРЕМОВ Д.В., Зеленов С.В., КОПАЧ В.В., Камкин А.С., Панфёров А.А., ЩЕПЕТКОВ И.В.

16 статей, 2 книги, 2 доклада на конференциях, 5 тезисов докладов, 4 НИР, 2 научного отчёта, 2 награды, 2 членства в программных комитетах, 1 диссертация, 3 учебных курса

Количество цитирований статей в журналах по данным Web of Science: 2, Scopus: 13
РИНЦ:

IstinaResearcherID (IRID): 438288

ResearcherID: E-3609-2014

Scopus Author ID: 35484321600

ORCID: 0000-0001-9303-3132

Деятельность

---

• Статьи в журналах

  • • 2021 Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
    • ЕФРЕМОВ Денис Валентинович, КОПАЧ Виктория Владимировна, КОРНЫХИН Евгений Валерьевич, КУЛЯМИН Виктор Вячеславович, ПЕТРЕНКО Александр Константинович, ХОРОШИЛОВ Алексей Владимирович, ЩЕПЕТКОВ Илья Викторович
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 33, № 6, с. 15-26 DOI
  • • 2020 Мониторинг и тестирование на основе многоуровневых спецификаций программ
    • Петренко А.К., Ефремов Д.В., Корныхин Е.В., Кулямин В.В., Хорошилов А.В., Щепетков И.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 7-18 DOI
  • • 2015 Использование языка программирования Python для описания ограничений на архитектурные модели
    • Корныхин Е.В., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 5, с. 143-156 DOI
  • • 2014 Инструментальные средства проектирования систем интегрированной модульной авионики
    • Буздалов Д.В., Зеленов С.В., Корныхин Е.В., Петренко А.К., Угненко А.А., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 201-230 DOI
  • 
    • 2010 Generation of test data for verification of caching mechanisms and address translation in microprocessors
    • Корныхин Е.В.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 36, № 1, с. 28-35 DOI
  • • 2010 Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов
    • Корныхин Е.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 17, с. 145-160
  • • 2010 Генерация тестовых данных для тестирования механизмов кэширования и трансляции адресов микропроцессоров
    • Корныхин Е.В.
    • в журнале Программирование, том 36, № 1, с. 40-49
  • • 2010 Метод зеркальной генерации ограничений для построения тестовых программ по тестовых шаблонам
    • Корныхин Е.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 18, с. 67-80
  • • 2009 Генерация тестовых данных для системного функционального тестирования FIFO-кэш-памяти микропроцессоров
    • Корныхин Е.В.
    • в журнале Вычислительные методы и программирование, издательство Научно-исследовательский вычислительный центр Московского государственного университета им. М.В. Ломоносова (Москва), том 10, с. 218-227
  • • 2008 Генерация тестовых данных для тестирования арифметических операций центральных процессоров
    • Корныхин Е.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 15, с. 107-117

• Статьи в сборниках

  • • 2015 PyCL – Python-based AADL Constraint Language
    • Kornykhin E., Khoroshilov A.V.
    • в сборнике Proceedings of the 2nd Architecture Centric Virtual Integration Workshop, место издания Madrid, с. 1-4
  • • 2013 Особенности использования единиц измерения при моделировании программных систем
    • Буздалов Д.В., Корныхин Е.В., Хорошилов А.В.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания МАКС Пресс, Москва, том 14, с. 1-12
    • редакторы Королев Л.Н., Корухова Людмила Сергеевна, Терехин Андрей Николаевич
  • 
    • 2011 Reconfigurable Model-Based Test Program Generator for Microprocessors
    • Корныхин Е.В., Камкин А.С., Воробьев Д.Н.
    • в сборнике IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011, с. 47-54 DOI
  • • 2009 SMT-based Test Program Generation for Cache-memory Testing
    • Корныхин Е.В.
    • в сборнике East-West Design&Test Symposium (EWDTS’2009), серия Symposium EWDTS, издательство Institute of Electrical and Electronics Engineers (Piscataway, NJ, United States), с. 124-128
  • • 2009 Test Data Generation for LRU Cache-Memory testing
    • Kornikhin E.
    • в сборнике Proceedings of Spring Young Researchers Colloqium On Software Engineering'2009, с. 40-44
  • • 2008 Test Data Generation for Arithmetic Subsystem of CPUs MIPS64
    • Kornikhin E.
    • в сборнике Proceedings of SYRCoSE'08, том 2, с. 20-23

• Книги

  • • 2020 Дедуктивная верификация блок-схем
    • Корныхин Е.В., Петренко А.К., Хорошилов А.В.
    • 84 с.
  • • 2014 Практикум по дедуктивной верификации программ
    • Буздалов Д.В., Корныхин Е.В., Панфёров А.А., Петренко А.К., Хорошилов А.В.
    • место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова, МАКС Пресс, ISBN 978-5-89407-531-0, 100 с.

• Доклады на конференциях

  • • 2017 Проблемы статического и динамического анализа архитектурных моделей (Устный)
    • Авторы: Корныхин Е.В., Хорошилов А.В., Петренко А.К.
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
  • • 2015 PyCL – Python-based AADL Constraint Language (Устный)
    • Авторы: Alexey Khoroshilov, Eugene Kornykhin
    • Architecture Centric Virtual Integration Workshop, Мадрид, Испания, 26 июня 2015

• Тезисы докладов

  • • 2017 Проблемы статического и динамического анализа архитектурных моделей
    • Корныхин Е.В., Петренко А.К., Хорошилов А.В.
    • в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы
  • • 2010 Определение стратегии вытеснения PseudoLRU на ветвях бинарного дерева
    • Корныхин Е.В.
    • в сборнике Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2010», издательство ООО "МАКС Пресс" (Москва), тезисы, с. 20-21
    • редакторы Алешковский Иван Андреевич, Андреев А.И., Андриянов Андрей Владимирович, Костылев Павел Николаевич
  • • 2009 Система генерации тестовых данных для системного функционального тестирования микропроцессоров ТЕСЛА
    • Корныхин Е.В.
    • в сборнике Тезисы конференции "Микроэлектроника и информатика-2009", тезисы, с. 20-20
  • • 2009 Система генерации тестовых программ с использованием ограничений ТЕСЛА
    • Корныхин Е.В.
    • в сборнике Материалы докладов XVI Международной конференции студентов, аспирантов и молодых ученых «Ломоносов» / Отв. ред. И.А. Алешковский, П.Н. Костылев, А.И. Андреев. [Электронный ресурс], серия Вычислительная Математика и Кибернетика, издательство ООО "МАКС Пресс" (Москва), том 2009, тезисы, с. 20-20
    • редактор Шлыков Павел Вячеславович
  • • 2006 Генерация структурных тестов с использованием логического программирования
    • Корныхин Е.В.
    • в сборнике Сборник тезисов лучших дипломных работ 2006 года, место издания Москва, тезисы, с. 2-2

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Исследование методов построения систем анализа и проектирования программного обеспечения
    • Кафедра системного программирования
    • Руководитель: Аветисян А.И. Ответственный исполнитель: Корухова Л.С. Участники НИР: Архипенко К.В., Батузов К.А., Бахтин В.А., Белеванцев А.А., Гомзин А.Г., Дудина И.А., Иванишин В.А., Игнатьев В.Н., Козырев В.И., Корныхин Е.В., Кузьменкова Е.А., Кукушкин К.В., Кулямин В.В., Майоров В.Д., Малышев Н.Е., Малышко В.В., Манушин Д.В., Ниськов Ф.В., Падарян В.А., Петренко А.К., Соловьев М.А., Теймуразов К.Б., Турдаков Д.Ю., Хорошилов А.В.
  • • 1 января 2016 - 31 декабря 2020 Развитие теории и методов анализа и проектирования программ
    • Кафедра системного программирования
    • Руководители: Аветисян А.И., Иванников В.П., Корухова Л.С. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Архипенко К.В., Батузов К.А., Белеванцев А.А., Вишняков А.В., Гайсарян С.С., Гомзин А.Г., Дроздова Е.А., Дудина И.А., Жаботинский Е.А., Колганов А.С., Корныхин Е.В., Крюков В.А., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Манушин Д.В., Мордань В.О., Ниськов Ф.В., Падарян В.А., Соловьев М.А., Турдаков Д.Ю., Хорошилов А.В., Шарыгин Е.Ю., Яцков А.К., Яшин С.В.
  • • 1 января 2014 - 31 декабря 2016 Моделеориентированный подход в инженерии программных систем искусственного интеллекта
    • Кафедра системного программирования
    • Руководитель: Корухова Л.С. Участники НИР: Гомзин А.Г., Корныхин Е.В., Корухова Ю.С., Кузьменкова Е.А., Малышко В.В., Фастовец Н.Н.
  • • 1 января 2011 - 31 декабря 2015 Теоретические основы и методы анализа и проектирования программ
    • Кафедра системного программирования
    • Руководитель: Иванников В.П. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Алексиянц А.В., Андрианов И.А., Батузов К.А., Бахтин В.А., Белеванцев А.А., Буздалов Д.В., Вартанов С.П., Гайсарян С.С., Гомзин А.Г., Горемыкин О.В., Дудина И.А., Иванишин В.А., Камкин А.С., Карпов Л.Е., Клеменков П.А., Корныхин Е.В., Кошелев В.К., Крюков В.А., Кузнецов К.А., Кузнецов С.Д., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Мандрыкин М.У., Меркулов А.П., Морозов С.В., Падарян В.А., Петренко А.К., Посконин А.В., Притула М.Н., Серебряков В.А., Соловьев М.А., Тарлапан О.А., Теймуразов К.Б., Турдаков Д.Ю., Федоренко Д.Г., Хорошилов А.В., Шарыгин Е.Ю., Шуберт А.В.

• Отчеты

  • • 2018 Развитие теории и методов анализа и проектирования программ
    • Авторы: Аветисян А.И., Корухова Л.С., Гомзин А.Г., Корныхин Е.В.
    • #этап 3, 11 с.
  • • 2014 Моделеориентированный подход в инженерии программных систем искусственного интеллекта. Промежуточный отчет по проекту, этап 1(2014г.)
    • Авторы: Корухова Л.С., Кузьменкова Е.А., Корухова Ю.С., Малышко В.В., Корныхин Е.В., Фастовец Н.Н.
    • #14-01-00214 а, 43 с.

• Награды и премии

  • • 2016 Премия по Программе развития МГУ
    • Лауреат: Корныхин Е.В.
    • МГУ имени М.В. Ломоносова, Россия
  • • 2015 Стипендия для молодых преподавателей и научных сотрудников факультета ВМК, добившихся значительных результатов в педагогической и научно-исследовательской деятельности
    • Лауреаты: Гаврилов Сергей Вадимович, Корныхин Евгений Валерьевич, Никитин Алексей Антонович, Холомеева Анна Андреевна, Шалимов Александр Владиславович, Шевцова Ирина Геннадьевна
    • Факультет ВМК МГУ имени М.В. Ломоносова, Россия

• Участие в программных комитетах конференций

  • • 9 октября 2016 Фестиваль науки
    • Член организационного комитета
    • МГУ им. М.В. Ломоносова, Россия
  • • 30 мая - 1 июня 2016 X Международная конференция молодых ученых в области программной инженерии SYRCoSE
    • Член организационного комитета
    • Московская область, Можайский район, деревня Красновидово, Россия

• Диссертация

  • • 2010 Построение тестовых программ для проверки подсистем управления памяти микропроцессоров
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Корныхин Е.В., к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Петренко А.К., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики

• Авторство учебных курсов

  • • 2016 Формальные методы разработки программ
    • Авторы: Петренко Александр Константинович, Корныхин Евгений Валерьевич, Буздалов Денис Викторович, Хорошилов Алексей Викторович, Кузьменкова Евгения Анатольевна

• Преподавание учебных курсов

  • • 1 сентября 2020 - 31 декабря 2020 Практикум на ЭВМ (в поддержку курса Операционные Системы )
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, практические занятия, 144 часов
  • • 1 февраля 2020 - 31 мая 2020 Формальные методы разработки программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, лекции, 32 часов
  • • 1 февраля 2020 - 31 мая 2020 Практикум на ЭВМ (в поддержку курса Системы Программирования)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, практические занятия, 128 часов
  • • 1 февраля 2020 - 31 мая 2020 Формальные методы разработки программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, семинары, 32 часов
  • • 1 сентября 2019 - 31 декабря 2019 Практикум на ЭВМ (в поддержку курса Операционные Системы )
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, практические занятия, 144 часов
  • • 1 февраля 2019 - 31 мая 2019 Формальные методы разработки программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, лекции, 32 часов
  • • 1 февраля 2019 - 31 мая 2019 Практикум на ЭВМ (в поддержку курса Системы Программирования)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, практические занятия, 128 часов
  • • 1 февраля 2019 - 31 мая 2019 Формальные методы разработки программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, семинары, 32 часов
  • • 1 сентября 2018 - 31 декабря 2018 Практикум на ЭВМ (в поддержку курса Операционные Системы )
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, практические занятия, 144 часов
  • • 1 февраля 2018 - 31 мая 2018 Формальные методы разработки программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, лекции, 32 часов
  • • 1 февраля 2018 - 31 мая 2018 Практикум на ЭВМ (в поддержку курса Системы Программирования)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, практические занятия, 128 часов
  • • 1 февраля 2018 - 31 мая 2018 Формальные методы разработки программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, семинары, 32 часов
  • • 1 сентября 2017 - 31 декабря 2017 Практикум на ЭВМ (в поддержку курса Операционные Системы )
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, практические занятия, 144 часов
  • • 1 февраля 2017 - 31 мая 2017 Формальные методы разработки программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, семинары, 32 часов
  • • 1 февраля 2017 - 31 мая 2017 Формальные методы разработки программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, лекции, 32 часов
  • • 1 февраля 2017 - 31 мая 2017 Практикум на ЭВМ (в поддержку курса Системы Программирования)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, практические занятия, 128 часов
  • • 1 сентября 2016 - 31 декабря 2016 Практикум на ЭВМ (в поддержку курса Операционные Системы )
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, практические занятия, 144 часов
  • • 1 февраля 2016 - 31 мая 2016 Практикум на ЭВМ (в поддержку курса Системы Программирования)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, практические занятия, 128 часов
  • • 1 февраля 2016 - 31 мая 2016 Формальные методы разработки программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, лекции, 32 часов
  • • 1 февраля 2016 - 31 мая 2016 Формальные методы разработки программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, семинары, 32 часов

---