Игорь Ануреев

Игорь Ануреев


Исследовательские группы

Биография

Игорь Сергеевич Ануреев родился в Новосибирске в 1971 году. Получил степень магистра наук компьютерных наук Новосибирского государственного университета в Новосибирске в 1994 г. и степень кандидата физико-математических наук в Институте систем информатики им. А.П. Ершова СО РАН в Новосибирске в 1998 г.

Игорь Ануреев - старший научный сотрудник лаборатории теоретического программирования Института систем информатики им. А.П. Ершова с 2004 года и старший научный сотрудник лаборатории киберфизических систем Института автоматики и электрометрии СО РАН с 2019 года. Автор более 100 статей. Его исследовательские интересы включают спецификацию и проверку программных систем и моделей программ, проектирование и прототипирование программных систем и моделей программ, семантику программных систем и компьютерных языков, предметно-ориентированные языки, автоматическое доказательство теорем и онтологии.

Публикации

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

August 2020

LNCS, vol 12232

Подробнее

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

Подробнее

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