Vladimir Ivanovich Shelekhov Russian Federation, Novosibirsk Academic degree Candidate of Engineering Research area software engineering requirement engineering deductive verification specification languages dataflow analysis functional programming Affiliation & position A.P. Ershov Institute of Informatics Systems — head of laboratory Novosibirsk State University — lecturer E-mail vshel@iis.nsk.su
Shelekhov V. Lists and strings in predicate programming // System Informatics. — 2014. — # 3. — P. 25-43
Shelekhov V. Automata-based programming on the base of requirements specification // System Informatics. — 2014. — # 4. — P. 1-29
Tumurov E., Shelekhov V. Requirement specification of quad-rotor flight control system // System Informatics. — 2015. — # 5. — P. 39-54
Shelekhov V. Predicate program of insertion into AVL-tree // System Informatics. — 2017. — # 9. — P. 23-42
Bulgakov K., Kablukov I., Tumurov E., Shelekhov V. Optimizing transformations for operations on lists and trees in the predicate programming system // System Informatics. — 2017. — # 9. — P. 63-92
Kablukov I., Shelekhov V. Optimizing transformations in the predicate programming system // System Informatics. — 2017. — # 11. — P. 21-48
Kablukov I., Shelekhov V. Development of the parallel predicate program for solving leaner equations by the Gauss-Jordan method // System Informatics. — 2018. — # 12. — P. 41-60
Shelekhov V. Deductive verification and optimization of the predicate program for string concatenation // System Informatics. — 2018. — # 12. — P. 61-84
Shelekhov V. Deductive verification of predicate program of binary search of an arbitrary type object // System Informatics. — 2019. — # 15. — P. 45-64
Shelekhov V. Verification of a predicate heapsort program using inverse transformations // System Informatics. — 2020. — # 16. — P. 75-102
Tumurov E., Shelekhov V. Transformation, specification, and verification of the program calculating the elements number of a set presented by a bit vector // System Informatics. — 2020. — # 16. — P. 103-136
Shelekhov V. Verification of a string to integer conversion program // System Informatics. — 2020. — # 17. — P. 43-90
Shelekhov V. Transformation and verification of the OS program sorting devices in a computer bus // System Informatics. — 2021. — # 18. — P. 1-34
Shelekhov V. Comparison of automata-based engineering method and Event-B modeling method // System Informatics. — 2021. — # 18. — P. 53-84
