Evgeny V. Bodin

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 3

Top Topics

Distributed Systems

Multi Agent Architecture

Top Venues

Autom. Control. Comput. Sci.

Program. Comput. Softw.

Publications

Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Evgeny V. Bodin, Alexey V. Promsky
Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function. Autom. Control. Comput. Sci. 53 (7) (2019)
Natalya Olegovna Garanina, Evgeny V. Bodin, Elena A. Sidorova
Using SPIN for verification of multiagent data analysis. Autom. Control. Comput. Sci. 49 (7) (2015)
Valery A. Nepomniaschy, Evgeny V. Bodin, S. O. Veretnov
The language dynamic-real and its application for verification of SDL-specified distributed systems. Program. Comput. Softw. 41 (1) (2015)
Natalia Olegovna Garanina, Evgeny V. Bodin
Distributed Termination Detection by Counting Agent. CS&P (2014)
Natalia Olegovna Garanina, Elena A. Sidorova, Evgeny V. Bodin
A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology. CS&P (2013)
Nikolay V. Shilov, Igor S. Anureev, Evgeny V. Bodin
Generation of correctness conditions for imperative programs. Program. Comput. Softw. 34 (6) (2008)
Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. IFM (2002)