Evgeny V. Bodin

According to our database, Evgeny V. Bodin authored at least 7 papers between 2002 and 2019.

Collaborative distances:

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

2019

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function.

Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Evgeny V. Bodin, Alexey V. Promsky

Autom. Control. Comput. Sci., 2019

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

Using SPIN for verification of multiagent data analysis.

Natalya Olegovna Garanina, Evgeny V. Bodin, Elena A. Sidorova

Autom. Control. Comput. Sci., 2015

2014

Distributed Termination Detection by Counting Agent.

Natalia Olegovna Garanina, Evgeny V. Bodin

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

2013

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

Natalia Olegovna Garanina, Elena A. Sidorova, Evgeny V. Bodin

Proceedings of the 22nd International Workshop on Concurrency, 2013

2008

Generation of correctness conditions for imperative programs.

Nikolay V. Shilov, Igor S. Anureev, Evgeny V. Bodin

Program. Comput. Softw., 2008

2002

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

Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura

Proceedings of the Integrated Formal Methods, Third International Conference, 2002