ИСТИНА

Кулямин Виктор Вячеславович пользователь

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

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

доцент/с.н.с. по специальности № 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» с 1 января 2009 г.

доцент/с.н.с. по специальности № 05.13.11 с 13 марта 2009 г.

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

Соавторы: Петренко А.К., Хорошилов А.В., Shchepetkov I.V., Девянин П.Н., Косачев А.С., Бурдонов И.Б., Иванников В.П., Ефремов Д.В., Камкин А.С., Корныхин Е.В., Петухов А.А., Grabowski J., Mutilin V.S. показать полностью..., Schepetkov I., Vouffo Feudjio A.G., Wu-Hen-Chang A., Zoric M., Герлиц Е.А., ЕФРЕМОВ Д.В., Евтушенко Н.В., КОПАЧ В.В., Лаврищева Е.М., Томилин А.Н., Цыварев А.В., Шнитман В.З., ЩЕПЕТКОВ И.В.

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

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

IstinaResearcherID (IRID): 12227219

ResearcherID: D-9598-2014

Scopus Author ID: 6602790589

ORCID: 0000-0003-3439-9534

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

---

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

  • • 2021 Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
    • ЕФРЕМОВ Денис Валентинович, КОПАЧ Виктория Владимировна, КОРНЫХИН Евгений Валерьевич, КУЛЯМИН Виктор Вячеславович, ПЕТРЕНКО Александр Константинович, ХОРОШИЛОВ Алексей Владимирович, ЩЕПЕТКОВ Илья Викторович
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 33, № 6, с. 15-26 DOI
  • • 2020 Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
    • Petrenko A.K., Devyanin P.N., Efremov D.V., Khoroshilov A.V., Kuliamin V.V., Shchepetkov I.V.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 46, № 7, с. 443-453
  • • 2020 Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
    • Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 1, с. 7-26 DOI
  • • 2020 Мониторинг и тестирование на основе многоуровневых спецификаций программ
    • Петренко А.К., Ефремов Д.В., Корныхин Е.В., Кулямин В.В., Хорошилов А.В., Щепетков И.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 7-18 DOI
  • • 2018 Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах
    • Бурдонов И.Б., Косачев А.С., Кулямин В.В., Томилин А.Н., Шнитман В.З.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 1, с. 69-88 DOI
  • • 2018 Компонентная верификация операционных систем
    • Кулямин В.В., Петренко А.К., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 6, с. 367-382 DOI
  • • 2017 Верификация компонентов операционных систем
    • Кулямин В.В., Петренко А.К., Хорошилов А.В.
    • в журнале Системная информатика, № 10, с. 11-22
  • 
    • 2016 Comparison of specification decomposition methods in Event-B
    • Devyanin P.N., Kulyamin V.V., Petrenko A.K., Khoroshilov A.V., Shchepetkov I.V.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 42, № 4, с. 198-205 DOI
  • 
    • 2016 Using Refinement in Formal Development of OS Security Model
    • Devyanin Petr N., Khoroshilov Alexey V., Kuliamin Victor V., Petrenko Alexander K., Shchepetkov Ilya V.
    • в журнале Lecture Notes in Computer Science, том 9609, с. 107-115 DOI
  • • 2016 Верификация и анализ вариабельных операционных систем
    • Кулямин В.В., Лаврищева Е.М., Мутилин В.С., Петренко А.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 3, с. 189-208 DOI
  • • 2016 Сравнение способов декомпозиции спецификаций на Event-B
    • Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
    • в журнале Программирование, № 4, с. 17-26
  • 
    • 2015 Analysis of a graph by a set of automata
    • Bourdonov I.B., Kossatchev A.S., Kulyamin V.V., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 6, с. 307-310 DOI
  • • 2015 Исследование графа набором автоматов
    • Бурдонов И.Б., Косачев А.С., Кулямин В.В.
    • в журнале Программирование, том 41, № 6, с. 3-8
  • • 2015 Об интеграции формальных методов в задачах верификации операционных систем
    • Петренко А.К., Кулямин В.В., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 5, с. 175-190 DOI
  • 
    • 2015 Параллельные вычисления на графе
    • Бурдонов И.Б., Косачев А.С., Кулямин В.В.
    • в журнале Программирование, том 41, № 1, с. 3-20 DOI
  • 
    • 2014 Evolution of UniTESK test development technology
    • Kuliamin V.V., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 40, № 5, с. 296-304 DOI
  • 
    • 2014 Formal Verification of OS Security Model with Alloy and Event-B
    • Devyanin Petr N., Khoroshilov Alexey V., Kuliamin Victor V., Petrenko Alexander K., Shchepetkov Ilya V.
    • в журнале Lecture Notes in Computer Science, том 8477, с. 309-313 DOI
  • • 2014 О представлении МРОСЛ ДП-модели в формализованной нотации Event-B
    • Девянин П.Н., Кулямин В.В., Хорошилов А.В., Щепетков И.В.
    • в журнале Проблемы информационной безопасности. Компьютерные системы, № 3, с. 7-15
  • 
    • 2014 О сложности проверки существования установочных последовательностей для недетерминированных автоматов
    • Кушик Н.Г., Кулямин В.В., Евтушенко Н.В.
    • в журнале Программирование, том 40, № 6, с. 48-53 DOI
  • • 2014 Развитие подхода к разработке тестов UniTESK
    • Кулямин В.В., Петренко А.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 9-26 DOI
  • • 2014 Тестирование операционных систем
    • Герлиц Е.А., Кулямин В.В., Максимов А.В., Петренко А.К., Хорошилов А.В., Цыварев А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 73-108 DOI
  • 
    • 2013 UniTESK: Component model based testing
    • Petrenko Alexander K., Victor Kuliamin, Andrey Maksimov
    • в журнале CEUR Workshop Proceedings, издательство M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen (Aachen, Germany), том 1000, с. 573-581
  • • 2013 Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей
    • Иванников В.П., Петренко А.К., Кулямин В.В., Максимов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 24, с. 207-218 DOI
  • • 2011 Обзор методов построения покрывающих наборов
    • Кулямин В.В., Петухов А.А.
    • в журнале Программирование, том 37, № 3, с. 3-41
  • 
    • 2007 The use of contract specifications for representing requirements and for functional testing of hardware models
    • Ivannikov V.P., Kamkin A.S., Kossatchev A.S., Kuliamin V.V., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 33, № 5, с. 272-282 DOI
  • • 2007 Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры
    • Иванников В.П., Камкин А.С., Косачев А.С., Кулямин В.В., Петренко А.К.
    • в журнале Программирование, том 33, № 5, с. 47-62

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

  • • 2020 A State-based Refinement Technique for Event-B
    • Khoroshilov Alexey, Kuliamin Victor, Petrenko Alexander K., Schepetkov Ilya
    • в сборнике 2020 Ivannikov Memorial Workshop
  • • 2019 Formal Modeling of Multi-Level Security and Integrity Control Implemented with SELinux
    • Kuliamin Victor, Khoroshilov Alexey, Medveded Denis
    • в сборнике Proc. of the International Conference Actual Problems of Systems and Software Engineering (APSSE 2019), серия IEEE Conference Publications, издательство IEEE Computer Society (United States), с. 131-136
  • • 2013 Towards the Usage of MBT at ETSI
    • Grabowski J., Kuliamin V., Vouffo Feudjio A.G., Wu-Hen-Chang A., Zoric M.
    • в сборнике Electronic Proceedings in Theoretical Computer Science, том 111, с. 30-34 DOI
  • 
    • 2010 Covering arrays generation methods survey
    • Victor Kuliamin, Petukhov Alexander
    • в сборнике Leveraging Applications of Formal Methods, Verification, and Validation – 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, серия Lecture Notes in Computer Science, место издания Springer Berlin, Germany, том 6416, с. 382-396

• Книги

  • • 2019 Моделирование и верификация политик безопасности управления доступом в операционных системах
    • Девянин П.Н., Ефремов Д.В., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
    • место издания Горячая линия – Телеком Москва, ISBN 978-5-9912-0787-4, 214 с.

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

  • • 2019 Formal Modeling of Multi-Level Security and Integrity Control Implemented with SELinux (Пленарный)
    • Авторы: Кулямин В.В., Хорошилов А.В., Медведев Д.Л.
    • VI International Conference Actual Problems of System and Software Engineering (APSSE 2019), Москва, Россия, 12-14 ноября 2019
  • • 2019 Формальное моделирование механизмов управления доступом в современных операционных системах (Устный)
    • Авторы: Щепетков И.В., Петренко А.К., Кулямин В.В., Девянин П.Н., Хорошилов А.В.
    • «Ломоносовские чтения - 2019». Секция «ВМК», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2018 Архитектура и возможности средств защиты информации на основе LSM (Устный)
    • Авторы: Кулямин В.В., Медведев Д., Девянин П.Н.
    • OS DAY 2018, Москва, Россия, 17-18 мая 2018
  • • 2017 Верификация компонентов операционных систем (Приглашенный)
    • Авторы: Кулямин В.В., Петренко А.К., Хорошилов А.В.
    • Восьмой международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications, PSSV-2017), Москва, Россия, 26 июня 2017

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

  • • 2019 Формальное моделирование механизмов управления доступом в современных операционных системах
    • Петренко А.К., Кулямин В.В., Девянин П.Н., Хорошилов А.В., Щепетков И.В.
    • в сборнике Научная конференция ЛОМОНОСОВСКИЕ ЧТЕНИЯ. Тезисы докладов. 15-25 апреля 2019 г., серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, Факультет вычислительной математики и кибернетики, издательство ООО "МАКС Пресс" (Москва), тезисы, с. 49-50

• НИРы

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

• Отчеты

  • • 2021 Исследование методов построения систем анализа и проектирования программного обеспечения. Этап 1
    • Авторы: Корухова Л.С., Дудина И.А., Кулямин В.В.
    • #121042600045-5, 14 с.

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

  • • 21-22 июня 2018 9-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia)
    • Член программного комитета
    • Ярославль, Россия
  • • 26 июня 2017 Восьмой международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications, PSSV-2017)
    • Член программного комитета
    • Москва, Россия
  • • 3-4 марта 2017 Tools and Methods of Program Analysis Conference (TMPA)
    • Член программного комитета
    • Москва, Россия

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

  • • 2000 Об образах полиномиальных отображений в конечных кольцах матриц
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Кулямин Виктор Вячеславович, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Научный руководитель: Михалев А.В., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д.053.05.05 при механико-математический факультет МГУ им. М. В. Ломоносова

• Руководство дипломными работами

  • • 2017 Автоматизация построения тестов для проверки соответствия стандарту Объектная модель документа операций обхода и выделения диапазона документа
    • Научный руководитель: Кулямин В.В.
    • Автор: Хромов Александр Кириллович (Магистр)

---