Зеленов Сергей Вадимович

Публикации в базе данных Math-Net.Ru

1. Модельный подход к обеспечению безопасности и надежности Web-сервисов
   
   Труды ИСП РАН, 32:5 (2020),  153–166
2. Методы оценки надежности программных и технических систем
   
   Труды ИСП РАН, 31:5 (2019),  95–108
3. Анализ методов оценки надежности оборудования и систем. Практика применения методов
   
   Труды ИСП РАН, 30:3 (2018),  99–120
4. Критерий существования бесконфликтного расписания для системы строго периодических задач
   
   Труды ИСП РАН, 29:6 (2017),  183–202
5. Моделирование программно-аппаратных систем и анализ их безопасности
   
   Труды ИСП РАН, 29:5 (2017),  257–282
6. Stochastic methods for analysis of complex hardware-software systems
   
   Труды ИСП РАН, 29:4 (2017),  191–202
7. Теоремы плотности для градуированных колец
   
   Фундамент. и прикл. матем., 9:1 (2003),  27–49
8. Теорема плотности Зельмановича для колец, градуированных по полугруппам
   
   Фундамент. и прикл. матем., 7:2 (2001),  373–385
9. Теорема плотности Зельмановича в градуированном случае
   
   УМН, 56:3(339) (2001),  167–168