Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. - Valery A. Nepomniaschy; Nikolay V. Shilov 002; Evgeny V. Bodin; Vitaly E. Kozura (IFM, 2002)

Generation of correctness conditions for imperative programs. - Nikolay V. Shilov 002; Igor S. Anureev; Evgeny V. Bodin (Program. Comput. Softw., 2008)

A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology. - Natalia Olegovna Garanina; Elena A. Sidorova; Evgeny V. Bodin (CS&P, 2013)

Distributed Termination Detection by Counting Agent. - Natalia Olegovna Garanina; Evgeny V. Bodin (CS&P, 2014)

Using SPIN for verification of multiagent data analysis. - Natalya Olegovna Garanina; Evgeny V. Bodin; Elena A. Sidorova (Autom. Control. Comput. Sci., 2015)

The language dynamic-real and its application for verification of SDL-specified distributed systems. - Valery A. Nepomniaschy; Evgeny V. Bodin; S. O. Veretnov (Program. Comput. Softw., 2015)

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function. - Nikolay V. Shilov 002; Dmitry A. Kondratyev; Igor S. Anureev; Evgeny V. Bodin; Alexey V. Promsky (Autom. Control. Comput. Sci., 2019)