ИСТИНА

Малышев Никита Евгеньевич пользователь

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

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

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

Соавторы: Дудина И.А., Kutz D., Вартанов С.П.

2 статьи, 2 доклада на конференциях, 1 НИР, 1 свидетельство о регистрации прав на ПО

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

IstinaResearcherID (IRID): 215354428

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

---

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

  • 
    • 2019 SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study
    • Malyshev Nikita, Dudina Irina, Kutz Daniil, Novikov Alexander, Vartanov Sergey
    • в журнале IEEE 2019 Ivannikov Ispras Open Conference (ISPRAS), с. 9-15 DOI
  • • 2018 Об одном подходе к анализу строк в языке Си для поиска переполнения буфера
    • Дудина И.А., Малышев Н.Е.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 5, с. 55-74 DOI

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

  • • 2019 Применение SMT-солверов в статическом и динамическом символьном выполнении: экспериментальное исследование (Устный)
    • Авторы: Никита Малышев, Ирина Дудина, Даниил Куц, Александр Новиков, Сергей Вартанов
    • Открытая конференция ИСП РАН им. В.П.Иванникова, Главное здание Российской академии наук, Москва, Россия, 5-6 декабря 2019
  • • 2018 Об одном подходе к анализу строк в языке Си для поиска переполнения буфера (Устный)
    • Авторы: Дудина И.А., Малышев Н.Е.
    • Открытая конференция ИСП РАН им. В.П. Иванникова, МОСКВА, 22-23 Ноября 2018 Г., Москва, Россия, 22-23 ноября 2018

• НИРы

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

• Свидетельства о регистрации прав на программное обеспечение

  • • 2022 Статический анализатор Svace (SOFT)
    • Авторы: Аветисян А.И., Афанасьев В.О., Белеванцев А.А., Беляев М.В., Бескровный А.В., Бородин А.Е., Вартанов С.П., Велесевич Е.А., Волков А.Е., Гайсарян С.С., Дворцова В.В., Дудина И.А., Журихин Д.М., Иванов Д.А., Игнатьев В.Н., Избышев А.О., Малышев Н.Е., Несов В.С., Поляков С.А., Сыромятников С.В., Шимчик Н.В.
    • #2022618173, 5 мая

---