Igor Anureev

Igor Anureev


Research Groups

Biography

Igor S. Anureev was born in Novosibirsk, in 1971. He received the M.S. degree in computer science from the Novosibirsk State University, Novosibirsk, in 1994 and the Ph.D. degree in computer science from the A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk, in 1998.

Igor Anureev has been a senior researcher of the Laboratory of Theoretical Programming at the A.P. Ershov Institute of Informatics Systems since 2004, a senior researcher of the Cyber-Physical Systems Laboratory at the Institute of Automation, and Electrometry SB RAS since 2019. He is the author of more than 100 articles. His research interests include Specification and Verification of Program Systems and Program Models, Design and Prototyping of Program Systems and Program Models, Semantics of Program Systems and Computer Languages, Domain-Specific Languages, Automated Theorem Proving, and Ontologies.


Publications

An Ontology-based Approach to Support Formal Verification of Concurrent Systems

August 2020

LNCS, vol 12232

Read more

Verifying Reflex-software with SPIN: Hand Dryer Case Study

July 2020

Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin

XXI International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, Novosibirsk, 29 June - 3 July 2020, P. 210-214

Read more

Two-Step Deductive Verification of Control Software Using Reflex

July 2019

Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S

Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia

Towards safe cyber-physical systems: the Reflex language and its transformational semantics

April 2019

Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E

14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6.

Constructing verification-oriented domain-specific process ontologies

2019

Garanina N.O., Anureev I.S., Zyubin V.E

System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 19–30.

Operational semantics of Reflex

2014

Anureev I.S

System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 1–10