Винарский Евгений Максимович
- Аспирант:Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
- Начал работать в НИУ ВШЭ в 2021 году.
Полномочия / обязанности
Научно-исследовательская работа в лаборатории под руководством В.А. Захарова
Дополнительное образование / Повышение квалификации / Стажировки
Участие в школе верификации Лялямбда'21
Обучение в аспирантуре
3-й год обучения
Утвержденная тема диссертации: Свойства автоматов реального времени
Научный руководитель: Захаров Владимир Анатольевич
Публикации6
- Глава книги 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., Демаков А. В. Optimization of ProVerif Programs for AKE Protocols // Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787. doi
- Глава книги Лапутенко А. В., Винарский Е. М., Твардовский А. С. ЭКСПЕРИМЕНТАЛЬНОЕ СРАВНЕНИЕ МЕТОДОВ ПРОВЕРКИ ЭКВИВАЛЕНТНОСТИ РАСШИРЕННЫХ ПОЛУАВТОМАТОВ // В кн.: Новые информационные технологии в исследовании сложных структур (ICAM 2022). [б.и.], 2022. С. 74-75.
- Глава книги Vinarskii E., Твардовский А. С., Evtushenko N. V. Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs, in: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021. 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
- Статья Бурдонов И. Б., Vinarskii E., Evtushenko N. V., Косачев А. С. Perfect Sets of Paths in the Full Graph of SDN Switches // Programming and Computer Software. 2021. Vol. 47. No. 8. P. 505-514. doi