Evgeny V. Bodin

The language dynamic-real and its application for verification of SDL-specified distributed systems

Valery A. Nepomniaschy, Evgeny V. Bodin, S. O. Veretnov, 2015, Programming and Computer Software.

Using SPIN for verification of multiagent data analysis

Natalya Olegovna Garanina, Evgeny V. Bodin, Elena A. Sidorova, 2015, Automatic Control and Computer Sciences.

Distributed Termination Detection by Counting Agent

Natalya Olegovna Garanina, Evgeny V. Bodin, 2014, CS&P.

Generation of correctness conditions for imperative programs

Igor S. Anureev, Nikolay V. Shilov, Evgeny V. Bodin, 2008, Programming and Computer Software.

A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology

Natalya Olegovna Garanina, Evgeny V. Bodin, Elena A. Sidorova, 2013, CS&P.

Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems

Nikolay V. Shilov, Valery A. Nepomniaschy, Evgeny V. Bodin, 2002, IFM.