Object analysis of program. - Vladimir I. Shelekhov; Sergey V. Kuksenko (ACM SIGPLAN Notices, 1994)

On the Practical Static Checker of Semantic Run-Time Errors. - Vladimir I. Shelekhov; Sergey V. Kuksenko (APSEC, 1999)

Data Flow Analysis of Java Programs in the Presence of Exceptions. - Vladimir I. Shelekhov; Sergey V. Kuksenko (Ershov Memorial Conference, 1999)

Verification and synthesis of addition programs under the rules of correctness of statements. - Vladimir I. Shelekhov (Autom. Control. Comput. Sci., 2011)

Automata-Based Software Engineering with Event-B. - Vladimir I. Shelekhov (Program. Comput. Softw., 2023)

VeHa: A Hybrid National Verification Hackathon for Better Formal Methods Education. - Sergey M. Staroletov; Dmitry A. Kondratyev; Vladimir I. Shelekhov; Alexander Kogtenkov; Nikolay V. Shilov 002; Natalia Olegovna Garanina; Irina V. Shoshmina; Timofey Cherganov; Vasil Dyadov (FMTea, 2026)