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

Публикации¹⁸

• Статья Yevtushenko N., Kuliamin V., Kushik N. Evaluating the complexity of deriving adaptive S′-homing and S′-synchronizing sequences for nondeterministic FSMs // Software Quality Journal. 2021 doi
• Глава книги Khoroshilov A. V., Kuliamin V., Petrenko A. K., Shchepetkov I. A State-based Refinement Technique for Event-B, in: Proceedings of the 2020 Ivannikov Memorial Workshop. Los Alamitos : IEEE Communications Society, 2020. P. 55-60.
• Статья Devyanina P. N., Khoroshilov A. V., Kuliamin V., Petrenko A. K., Shchepetkov I. Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System // Programming and Computer Software, Pleiades Publishing, Ltd.. 2020. Vol. 46. No. 7. P. 1-11. (в печати)
• Статья Девянин П., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы // Труды Института системного программирования РАН. 2020. Т. 32. № 1. С. 7-26. doi
• Статья Петренко А. К., Ефремов Д. В., Корныхин Е. В., Кулямин В. В., Хорошилов А. В., Щепетков И. В. Мониторинг и тестирование на основе многоуровневых спецификаций программ // Труды Института системного программирования РАН. 2020. Т. 32. № 6. С. 7-18. doi
• Глава книги Kuliamin V., Khoroshilov A. V., Medvedev D. L. Formal Modeling of Multi-Level Security and Integrity Control Implemented with SELinux, in: Actual Problems of Systems and Software Engineering APSSE 2019 (Invited Papers). Los Alamitos, Washington, Tokyo : IEEE Computer Society, 2019. P. 131-136. doi
• 
  Книга Девянин П. Н., Ефремов Д. В., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В. Моделирование и верификация политик безопасности управления доступом в операционных системах. М. : Научно-техническое издательство «Горячая линия – Телеком», 2019.
• Статья Burdonov I., Kossatchev A., Kuliamin V., Tomilin A., Shnitman V. Asynchronous Distributed Algorithms for Static and Dynamic Directed Rooted Graphs // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 1. P. 69-88. doi
• Статья Burdonov I. B., Kossatcheva A. S., Kuliamin V., Tomilin A. N., Shnitman V. Z. Asynchronous distributed algorithms for static and dynamic directed rooted graphs // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 1. P. 69-88. doi
• Статья Кулямин В. В., Петренко А. К., Хорошилов А. В. Компонентная верификация операционных систем // Труды Института системного программирования РАН. 2018. Т. 30. № 6. С. 367-382. doi
• Статья Devyanin P., Kuliamin V., Petrenko A. K., Khoroshilov A., Shchepetkov I. Comparison of specification decomposition methods in Event-B // Programming and Computer Software. 2016. Vol. 42. No. 4. P. 198-205. doi
• Статья Kuliamin V., Lavrischeva E. M., Mutilin V. S., Petrenko A. K. Verification and analysis of variable operating systems // Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 3. P. 189-208. doi
• Статья Кулямин В. В., Лаврищева Е., Мутилин В., Петренко А. К. Верификация и анализ вариабельных операционных систем // Труды Института системного программирования РАН. 2016. Т. 28. № 3. С. 189-208. doi
• Статья Бурдонов И., Косачев А., Кулямин В. В. Исследование графа набором автоматов // Программирование. 2015. № 6. С. 3-7.
• Статья Петренко А. К., Кулямин В. В., Хорошилов А. В. Об интеграции формальных методов в задачах верификации операционных систем // Труды Института системного программирования РАН. 2015. Т. 27. № 5. С. 175-190. doi
• Статья Бурдонов И., Косачев А., Кулямин В. В. Параллельные вычисления на графе // Программирование. 2015. № 1. С. 3-17.
• Глава книги Khoroshilov A. V., Petrenko A. K., Девянин П. Н., Kuliamin V., Щепетков И. В. Formal Verification of OS Security Model with Alloy and Event-B, in: Abstract State Machines, Alloy, B, TLA, VDM, and Z. Heidelberg : Springer, 2014. P. 309-313. doi
• Статья Кулямин В. В., Кушик Н. Г., Евтушенко Н. В. О сложности проверки существования установочных последовательностей для недетерминированных автоматов // Программирование. 2014. Т. 40. № 6. С. 48-53.