|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
А. К. Петренко, П. Н. Девянин, Д. В. Ефремов, А. А. Карнов, Е. В. Корныхин, В. В. Кулямин, А. В. Хорошилов, “Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом.”, Труды ИСП РАН, 37:3 (2025), 277–290  |
|
2024 |
| 2. |
В. В. Кулямин, А. К. Петренко, Е. А. Рудина, “Конструирование программных систем, нацеленное на обеспечение безопасности”, Труды ИСП РАН, 36:5 (2024), 7–16 |
|
2023 |
| 3. |
В. В. Кулямин, “Обзор методов динамического анализа программного обеспечения”, Труды ИСП РАН, 35:4 (2023), 7–44 |
|
2021 |
| 4. |
Д. В. Ефремов, В. В. Копач, В. В. Кулямин, Е. В. Корныхин, А. К. Петренко, А. В. Хорошилов, И. В. Щепетков, “Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы”, Труды ИСП РАН, 33:6 (2021), 15–26 |
1
|
|
2020 |
| 5. |
А. К. Петренко, Д. В. Ефремов, Е. В. Корныхин, В. В. Кулямин, А. В. Хорошилов, И. В. Щепетков, “Мониторинг и тестирование на основе многоуровневых спецификаций программ”, Труды ИСП РАН, 32:6 (2020), 7–18 |
1
|
| 6. |
П. Н. Девянин, В. В. Кулямин, А. К. Петренко, А. В. Хорошилов, И. В. Щепетков, “Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы”, Труды ИСП РАН, 32:1 (2020), 7–26 |
4
|
|
2018 |
| 7. |
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов, “Компонентная верификация операционных систем”, Труды ИСП РАН, 30:6 (2018), 367–382  |
| 8. |
I. B. Burdonov, A. S. Kossatchev, V. V. Kuliamin, A. N. Tomilin, V. Z. Shnitman, “Asynchronous distributed algorithms for static and dynamic directed rooted graphs”, Труды ИСП РАН, 30:1 (2018), 69–88 |
|
2016 |
| 9. |
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко, “Верификация и анализ вариабельных операционных систем”, Труды ИСП РАН, 28:3 (2016), 189–208 |
9
|
|
2015 |
| 10. |
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов, “Об интеграции формальных методов в задачах верификации операционных систем”, Труды ИСП РАН, 27:5 (2015), 175–190 |
|
2000 |
| 11. |
В. В. Кулямин, “Об образах многочленов в кольце $M_2(\mathbb Z/8\mathbb Z)$”, Фундамент. и прикл. матем., 6:1 (2000), 275–280   |
| 12. |
В. В. Кулямин, “Образы градуированных многочленов в кольцах матриц над конечными групповыми алгебрами”, УМН, 55:2(332) (2000), 141–142 ; V. V. Kulyamin, “Images of graded polynomials in matrix rings over finite group algebras”, Russian Math. Surveys, 55:2 (2000), 345–346   |
8
|
|
1997 |
| 13. |
В. В. Кулямин, “Об образах многочленов в конечных кольцах матриц”, Фундамент. и прикл. матем., 3:2 (1997), 469–485 |
|
