Винарский Евгений Максимович
- Аспирант:Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
- Начал работать в НИУ ВШЭ в 2021 году.
Полномочия / обязанности
Научно-исследовательская работа в лаборатории под руководством В.А. Захарова
Дополнительное образование / Повышение квалификации / Стажировки
Участие в школе верификации Лялямбда'21
Обучение в аспирантуре
3-й год обучения
Утвержденная тема диссертации: Свойства автоматов реального времени
Научный руководитель: Захаров Владимир Анатольевич
Публикации2
- Глава книги Vinarskii E., Kushik N., Yevtushenko N., L´opez J., Zeghlache D. Timed Transition Tour for Race Detection in Distributed Systems, in: Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023). SciTePress, 2023. doi doi
- Статья Vinarskii E., Zakharov V. On the Modeling of Sequential Reactive Systems by Means of Real Time Automata / Пер. с рус.: V. Zakharov. // Automatic Control and Computer Sciences. 2021. Vol. 55. No. 7. P. 751-762. doi