Vladimir I. Shelekhov

According to our database, Vladimir I. Shelekhov authored at least 6 papers between 1994 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

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, Natalia Olegovna Garanina, Irina V. Shoshmina, Timofey Cherganov, Vasil Dyadov

Proceedings of the Formal Methods Teaching - 7th Formal Methods Teaching Workshop, 2026

2023

Automata-Based Software Engineering with Event-B.

Vladimir I. Shelekhov

Program. Comput. Softw., October, 2023

2011

Verification and synthesis of addition programs under the rules of correctness of statements.

Vladimir I. Shelekhov

Autom. Control. Comput. Sci., 2011

1999

Data Flow Analysis of Java Programs in the Presence of Exceptions.

Vladimir I. Shelekhov, Sergey V. Kuksenko

Proceedings of the Perspectives of System Informatics, 1999

On the Practical Static Checker of Semantic Run-Time Errors.

Vladimir I. Shelekhov, Sergey V. Kuksenko

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1994

Object analysis of program.

Vladimir I. Shelekhov, Sergey V. Kuksenko

ACM SIGPLAN Notices, 1994