1. Verification Condition Generator for Process-Oriented Programs in Reflex Language Using Isabelle/HOL;2024 IEEE 25th International Conference of Young Professionals in Electron Devices and Materials (EDM);2024-06-28
2. Requirement-Dependent Extra Invariant Patterns in Deductive Verification of PoST Programs;2024 IEEE 25th International Conference of Young Professionals in Electron Devices and Materials (EDM);2024-06-28
3. Requirement patterns in deductive verification of poST Programs;Modeling and Analysis of Information Systems;2024-03-28
4. Model checking programs in process-oriented IEC 61131-3 Structured Text;Modeling and Analysis of Information Systems;2024-03-28
5. Developing Cloud PLC for poST-Specified Software;2023 International Russian Automation Conference (RusAutoCon);2023-09-10