1. Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems;Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making;2022-09-14
2. An event-based approach for formally verifying runtime adaptive real-time systems;The Journal of Supercomputing;2020-07-26
3. Compositional synthesis via a convex parameterization of assume-guarantee contracts;Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control;2020-04-17
4. A Review of Applications of Formal Specification in Safety-Critical System Development;Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis;2020-03-09
5. A Survey of Formal Specification Application to Safety Critical Systems;2019 IEEE 2nd International Conference on Information and Computer Technologies (ICICT);2019-03