Victor Kuliamin
- Associate Professor:Faculty of Computer Science / Joint Department with the RAS Institute for System Programming
- Victor Kuliamin has been at HSE University since 2015.
Education, Degrees and Academic Titles
- 2009Associate Professor
- 2000
Candidate of Sciences* (PhD)
- 1995
Degree
Lomonosov Moscow State University
* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
Courses (2023/2024)
- Software Quality Assurance and Testing (Bachelor’s programme; Faculty of Computer Science; 3 year, 3, 4 module)Rus
- Past Courses
Courses (2022/2023)
Software Quality Assurance and Testing (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
Courses (2021/2022)
Software Quality Assurance and Testing (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
Courses (2020/2021)
Software Quality Assurance and Testing (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
Courses (2019/2020)
Software Quality Assurance and Testing (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
Publications18
- Article 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
- Chapter 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.
- Article 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. (in press)
- Article Девянин П., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы // Труды Института системного программирования РАН. 2020. Т. 32. № 1. С. 7-26. doi
- Article Петренко А. К., Ефремов Д. В., Корныхин Е. В., Кулямин В. В., Хорошилов А. В., Щепетков И. В. Мониторинг и тестирование на основе многоуровневых спецификаций программ // Труды Института системного программирования РАН. 2020. Т. 32. № 6. С. 7-18. doi
- Chapter 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
- Book Девянин П. Н., Ефремов Д. В., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В. Моделирование и верификация политик безопасности управления доступом в операционных системах. М. : Научно-техническое издательство «Горячая линия – Телеком», 2019.
- Article 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
- Article 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
- Article Кулямин В. В., Петренко А. К., Хорошилов А. В. Компонентная верификация операционных систем // Труды Института системного программирования РАН. 2018. Т. 30. № 6. С. 367-382. doi
- Article 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
- Article 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
- Article Кулямин В. В., Лаврищева Е., Мутилин В., Петренко А. К. Верификация и анализ вариабельных операционных систем // Труды Института системного программирования РАН. 2016. Т. 28. № 3. С. 189-208. doi
- Article Бурдонов И., Косачев А., Кулямин В. В. Исследование графа набором автоматов // Программирование. 2015. № 6. С. 3-7.
- Article Петренко А. К., Кулямин В. В., Хорошилов А. В. Об интеграции формальных методов в задачах верификации операционных систем // Труды Института системного программирования РАН. 2015. Т. 27. № 5. С. 175-190. doi
- Article Бурдонов И., Косачев А., Кулямин В. В. Параллельные вычисления на графе // Программирование. 2015. № 1. С. 3-17.
- Chapter 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
- Article Кулямин В. В., Кушик Н. Г., Евтушенко Н. В. О сложности проверки существования установочных последовательностей для недетерминированных автоматов // Программирование. 2014. Т. 40. № 6. С. 48-53.