Sergey V. Zelenov
- Associate Professor:Faculty of Computer Science / Joint Department with the RAS Institute for System Programming
- Sergey V. Zelenov has been at HSE University since 2017.
Education and Degrees
- 2001
Candidate of Sciences* (PhD)
- 1998
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)
- Applied System Analysis (Master’s programme; Faculty of Computer Science; 1 year, 2 module)Rus
- Past Courses
Courses (2022/2023)
- Applied System Analysis (Master’s programme; Faculty of Computer Science; 1 year, 2 module)Rus
- Applied System Analysis (Mago-Lego; 2 module)Rus
Publications10
- Chapter Zelenov S. V., Zelenova S. A. Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS, in: Lecture Notes in Computer Science Vol. 11964: Perspectives of System Informatics. Springer, 2019. doi P. 214-222. doi
- Article Лаврищева Е. М., Зеленов С. В., Пакулин Н. В. Методы оценки надежности программных и технических систем // Труды Института системного программирования РАН. 2019. Т. 31. № 5. С. 95-108. doi
- Article Zelenova S. A., Zelenov S. V. Schedulability Analysis for Strictly Periodic Tasks in RTOS // Programming and Computer Software. 2018. Vol. 44. No. 3. P. 159-169. doi
- Article Лаврищева Е. М., Пакулин Н. В., Рыжов А. Г., Зеленов С. В. Анализ методов оценки надежности оборудования и систем. Практика применения методов // Труды Института системного программирования РАН. 2018. Т. 30. № 3. С. 99-120. doi
- Article Зеленов С. В., Зеленова С. А. Анализ построения расписаний для строго периодических задач в ОСРВ // Программирование. 2018. Т. 44. № 3. С. 3-16.
- Article Зеленов С. В., Карнов А. Cтохастические методы анализа комплексных программно-аппаратных систем // Труды Института системного программирования РАН. 2017. Т. 29. № 4. С. 191-202. doi
- Article Zelenova S. A., Zelenov S. V. Non-conflict scheduling criterion for strict periodic tasks // Proceedings of the Institute for System Programming of the RAS. 2017. Vol. 29. No. 6. P. 183-202. doi
- Chapter Zelenov S. V., Buzdalov D. Visualization of behavioral aspects of AADL-models, in: 2017 Computer Science and Information Technologies (CSIT). Revised Selected Papers, 20 September – 25 September 2017, Yerevan, Armenia. Piscataway : IEEE, 2017. P. 87-91. doi
- Article Зеленова С., Зеленов С. В. Критерий существования бесконфликтного расписания для системы строго периодических задач // Труды Института системного программирования РАН. 2017. Т. 29. № 6. С. 183-202. doi
- Article Зеленов С. В., Зеленова С. Моделирование программно-аппаратных систем и анализ их безопасности // Труды Института системного программирования РАН. 2017. Т. 29. № 5. С. 257-282. doi