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

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

1. Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом.
   
   Труды ИСП РАН, 37:3 (2025),  277–290
2. Конструирование программных систем, нацеленное на обеспечение безопасности
   
   Труды ИСП РАН, 36:5 (2024),  7–16
3. Обзор методов динамического анализа программного обеспечения
   
   Труды ИСП РАН, 35:4 (2023),  7–44
4. Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
   
   Труды ИСП РАН, 33:6 (2021),  15–26
5. Мониторинг и тестирование на основе многоуровневых спецификаций программ
   
   Труды ИСП РАН, 32:6 (2020),  7–18
6. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
   
   Труды ИСП РАН, 32:1 (2020),  7–26
7. Компонентная верификация операционных систем
   
   Труды ИСП РАН, 30:6 (2018),  367–382
8. Asynchronous distributed algorithms for static and dynamic directed rooted graphs
   
   Труды ИСП РАН, 30:1 (2018),  69–88
9. Верификация и анализ вариабельных операционных систем
   
   Труды ИСП РАН, 28:3 (2016),  189–208
10. Об интеграции формальных методов в задачах верификации операционных систем
    
    Труды ИСП РАН, 27:5 (2015),  175–190
11. Об образах многочленов в кольце $M_2(\mathbb Z/8\mathbb Z)$
    
    Фундамент. и прикл. матем., 6:1 (2000),  275–280
12. Образы градуированных многочленов в кольцах матриц над конечными групповыми алгебрами
    
    УМН, 55:2(332) (2000),  141–142
13. Об образах многочленов в конечных кольцах матриц
    
    Фундамент. и прикл. матем., 3:2 (1997),  469–485