Concepedia

Igor Anureev

IA

Statistics

Publications

6

Citations

116

H-Index

6

Active since

2002

Affiliations

Institute of Automation and Electrometry(Current)

Siberian Branch of the Russian Academy of Sciences

Igor Anureev is an author at Institute of Automation and Electrometry specializing in computer science, computer engineering, and computing.

Publications per year

2002–2022

6

Publications

6

poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language

Vladimir Zyubin, Andrei Rozov, Igor Anureev et al. · IEEE Access · 2022 · 32 citations · Full text

Computing, Computer Engineering, Computer Science +14

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

V. A. Nepomniaschy, Igor Anureev · Programming and Computer Software · 2003 · 21 citations

Computing, Computer Engineering, Computer Science +16

Towards Verification of C Programs. C-Light Language and Its Formal Semantics

V. A. Nepomniaschy, Igor Anureev · Programming and Computer Software · 2002 · 19 citations

Computing, Computer Engineering, Computer Science +16

Towards Safe Cyber-Physical Systems: the Reflex Language and Its Transformational Semantics

Igor Anureev, Natalia Garanina, Tatiana Liakh et al. · 2019 · 18 citations

Computing, Computer Science, Systems Engineering +15

A Temporal Logic for Programmable Logic Controllers

Natalia Garanina, Igor Anureev, Vladimir Zyubin et al. · Automatic Control and Computer Sciences · 2021 · 15 citations

Engineering, Computer Engineering, Computer Science +11

1–5 of 6