1. VI Международная конференция по компьютерным визуальным медиа(CVM2018)
2. Симпозиум по теориям, инструментам и приложениям надежной программной инженерии (SETTA 2019)
3. 15-я конференция по теоретическим аспектам программной инженерии(TASE 2021)
4. Неделя систем Esweek (Esweek Systems Week, 2022)
5. Репрезентативные академические работы:
(1) Hoare, C.A.R., &Jifeng, H. 1998. Unifying theories of programming. Prentice Hall, Englewood Cliffs. Vol. 14, pp. 184-203
(2) He, J. 1994. Provably correct systems: modelling of communication languages and design of optimized compilers. McGraw-Hill, Inc., New York.
(3) Deng, Y. 2015. Semantics of Probabilistic Processes: An Operational Approach. Springer Berlin, Heidelberg
(4) Chen, M., Qin, X., Koo, H. M., & Mishra, P. 2012. System-level validation: high-level modeling and directed test generation techniques. Springer New York, NY
(5) «Валидация на системном уровне: Высокоуровневое моделирование и управление тестированием» При поддержке ЗАО «СКАН», перевод с англ. под ред. А.Н. Ланцева;
