ИСТИНА

Mutilin V.S.

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

Соавторы: Хорошилов А.В., Мандрыкин М.У., Петренко А.К., Мордань В.О., Кулямин В.В., Лаврищева Е.М.

19 статей

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

IstinaResearcherID (IRID): 11495563

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

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

  • 
    • 2016 Checking Several Requirements at Once by CEGAR
    • Mordan V.O., Mutilin V.S.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 42, № 4, с. 225-238 DOI
  • 
    • 2016 Checking Several Requirements at once by CEGAR
    • Mordan Vitaly, Mutilin Vadim
    • в журнале Lecture Notes in Computer Science, том 9609, с. 218-232 DOI
  • • 2016 Верификация и анализ вариабельных операционных систем
    • Кулямин В.В., Лаврищева Е.М., Мутилин В.С., Петренко А.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 3, с. 189-208 DOI
  • • 2016 Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций
    • Андрианов П.С., Мутилин В.С., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 6, с. 65-86 DOI
  • • 2016 Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR
    • Мордань В.О., Мутилин В.С.
    • в журнале Программирование, № 4, с. 50-68
  • 
    • 2015 Configurable toolset for static verification of operating systems kernel modules
    • Khoroshilov A.V., Mandrykin M.U., Mutilin V.S., Новиков Е.М., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 1, с. 49-64 DOI
  • 
    • 2015 Modeling Environment for Static Verification of Linux Kernel Modules
    • Khoroshilov Alexey, Mutilin Vadim, Novikov Evgeny, Zakharov Ilja
    • в журнале Lecture Notes in Computer Science, том 8974, с. 400-414 DOI
  • 
    • 2015 Pattern-based environment modeling for static verification of Linux kernel modules
    • Zakharov I.S., Mutilin V.S., Khoroshilov A.V.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 3, с. 183-195 DOI
  • 
    • 2015 Конфигурируемая система статической верификации модулей ядра операционных систем
    • Захаров И.С., Мандрыкин М.У., Mutilin V.S., Новиков Е.М., Петренко А.К., Хорошилов А.В.
    • в журнале Программирование, том 41, № 1, с. 44-67 DOI
  • • 2015 Метод легковесного статического анализа для поиска состояний гонок
    • Андрианов П.С., Мутилин В.С., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 5, с. 87-116 DOI
  • • 2014 Конфигурируемая система статической верификации модулей ядра операционных систем
    • Захаров И.С., Мандрыкин М.У., Mutilin V.S., Новиков Е.М., Петренко А.К., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 2, с. 5-42
  • • 2013 Введение в метод CEGAR - уточнение абстракции по контрпримерам
    • Мандрыкин М.У., Mutilin V.S., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 24, с. 219-292
  • 
    • 2012 Using Linux device drivers for static verification tools benchmarking
    • Mandrykin M.U., Mutilin V.S., Novikov E.M., Khoroshilov A.V., Petrenko A.K., Shved P.E.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 38, № 5, с. 245-256
  • • 2012 Интерполяция формул с кванторами в CSIsat на основе инстанцирования
    • Mutilin V.S., Мандрыкин М.У.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 22, с. 327-348
  • • 2012 Использование драйверов устройств операционной системы Linux для сравнения инструментов статической верификации
    • Мандрыкин М.У., Мутилин В.С., Новиков Е.М., Хорошилов А.В., Швед П.Е.
    • в журнале Программирование, том 38, № 5, с. 54-71
  • • 2012 Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux
    • Мандрыкин М.У., Mutilin V.S., Новиков Е.М., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 22, с. 293-326

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

  • • 2021 cpalockator: Thread-Modular Analysis with Projections
    • Andrianov Pavel, Mutilin Vadim, Khoroshilov Alexey
    • в сборнике Tools and Algorithms for the Construction and Analysis of Systems, издательство Springer International Publishing (New York), с. 423-427 DOI
  • 
    • 2016 On-the-fly decomposition of specifications in software model checking
    • Apel Sven, Beyer Dirk, Mordan Vitaly, Mutilin Vadim, Stahlbauer Andreas
    • в сборнике Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016, с. 349-361 DOI
  • • 2012 Instantiation-based interpolation for quantified formulae in CSIsat
    • Mandrykin M.U., Mutilin V.S.
    • в сборнике Proceedings of the SYRCoSE-2012, место издания ИСП РАН Москва, с. 83-93