Зеленов Сергей Вадимович
- Доцент:Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
- Начал работать в НИУ ВШЭ в 2017 году.
- Научно-педагогический стаж: 25 лет.
Образование, учёные степени
- 2001Кандидат физико-математических наук
- 1998
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика. Прикладная математика.», квалификация «Математик»
Учебные курсы (2023/2024 уч. год)
- Прикладной системный анализ (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Прикладной системный анализ (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 2 модуль)Рус
- Прикладной системный анализ (Маго-лего; 2 модуль)Рус
Учебные курсы (2021/2022 уч. год)
Прикладной системный анализ (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3, 4 модуль)Рус
Учебные курсы (2020/2021 уч. год)
Прикладной системный анализ (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3, 4 модуль)Рус
Учебные курсы (2019/2020 уч. год)
Прикладной системный анализ (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3, 4 модуль)Рус
Публикации10
- Глава книги 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
- Статья Лаврищева Е. М., Зеленов С. В., Пакулин Н. В. Методы оценки надежности программных и технических систем // Труды Института системного программирования РАН. 2019. Т. 31. № 5. С. 95-108. doi
- Статья 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
- Статья Лаврищева Е. М., Пакулин Н. В., Рыжов А. Г., Зеленов С. В. Анализ методов оценки надежности оборудования и систем. Практика применения методов // Труды Института системного программирования РАН. 2018. Т. 30. № 3. С. 99-120. doi
- Статья Зеленов С. В., Зеленова С. А. Анализ построения расписаний для строго периодических задач в ОСРВ // Программирование. 2018. Т. 44. № 3. С. 3-16.
- Статья Зеленов С. В., Карнов А. Cтохастические методы анализа комплексных программно-аппаратных систем // Труды Института системного программирования РАН. 2017. Т. 29. № 4. С. 191-202. doi
- Статья 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
- Глава книги 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
- Статья Зеленова С., Зеленов С. В. Критерий существования бесконфликтного расписания для системы строго периодических задач // Труды Института системного программирования РАН. 2017. Т. 29. № 6. С. 183-202. doi
- Статья Зеленов С. В., Зеленова С. Моделирование программно-аппаратных систем и анализ их безопасности // Труды Института системного программирования РАН. 2017. Т. 29. № 5. С. 257-282. doi