Мутилин Вадим Сергеевич

Публикации в базе данных Math-Net.Ru

1. Bounding thread switches in dynamic analysis of multithreaded programs
   
   Труды ИСП РАН, 37:6(3) (2025),  133–148
2. Фреймворк автоматизации тестирования на гонки по данным
   
   Труды ИСП РАН, 37:1 (2025),  107–120
3. Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями
   
   Труды ИСП РАН, 31:6 (2019),  7–20
4. Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет
   
   Труды ИСП РАН, 31:1 (2019),  7–24
5. Designing variability models for software, operating systems and their families
   
   Труды ИСП РАН, 29:5 (2017),  93–110
6. Static verification of Linux kernel configurations
   
   Труды ИСП РАН, 29:4 (2017),  217–230
7. Обзор подходов к моделированию памяти в инструментах статической верификации
   
   Труды ИСП РАН, 29:1 (2017),  195–230
8. Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций
   
   Труды ИСП РАН, 28:6 (2016),  65–86
9. Верификация и анализ вариабельных операционных систем
   
   Труды ИСП РАН, 28:3 (2016),  189–208
10. Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях
    
    Труды ИСП РАН, 27:5 (2015),  117–142
11. Метод легковесного статического анализа для поиска состояний гонок
    
    Труды ИСП РАН, 27:5 (2015),  87–116