RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Anureev, Igor Sergeevich

Statistics Math-Net.Ru
Total publications: 9
Scientific articles: 9

Number of views:
This page:155
Abstract pages:1393
Full texts:493
References:187
Candidate of physico-mathematical sciences
Birth date: 10.02.1971
E-mail: ,
Keywords: program verification, program specification, program semantics, automated proving, ontologies.

Subject:

Program verification, program specification, program semantics.

   
Main publications:
  1. Nepomnyaschii V. A., Anureev I. S., Mikhailov I. N., Promskii A. V., “Na puti k verifikatsii S programm. Yazyk C-light i ego formalnaya semantika”, Programmirovanie, 2002, № 6, 1–13
  2. Anureev I. S., “Operatsionno-ontologicheskii podkhod k formalnoi spetsifikatsii yazykov programmirovaniya”, Programmirovanie, 2009, № 1, 1–11
  3. Nepomnyaschii V. A., Anureev I. S., Promskii A. V., “Na puti k verifikatsii S programm. Aksiomaticheskaya semantika yazyka C-kernel”, Programmirovanie, 2003, № 6, 5–15
  4. Nepomnyaschii V. A., Anureev I. S., Promskii A. V., Dubranovskii I. V., “Na puti k verifikatsii C# programm: trekhurovnevyi podkhod”, Programmirovanie, 2006, № 4, 4–20
  5. Shilov N. V., Anureev I. S., Bodin E. V., “O generatsii uslovii korrektnosti dlya imperativnykh programm”, Programmirovanie, 2008, № 6, 1–20

http://www.mathnet.ru/eng/person63645
List of publications on Google Scholar
List of publications on ZentralBlatt
http://orcid.org/0000-0001-9574-128X

Publications in Math-Net.Ru
2019
1. N. O. Garanina, I. S. Anureev, O. I. Borovikova, V. E. Zyubin, “Methods for domain specification of verification-oriented process ontology”, Model. Anal. Inform. Sist., 26:4 (2019),  534–549  mathnet
2. I. S. Anureev, “Operational semantics of annotated Reflex programs”, Model. Anal. Inform. Sist., 26:4 (2019),  475–487  mathnet
2018
3. N. V. Shilov, D. A. Kondratyev, I. S. Anureev, E. V. Bodin, A. V. Promsky, “Platform-independent specification and verification of the standard mathematical square root function”, Model. Anal. Inform. Sist., 25:6 (2018),  637–666  mathnet
4. N. O. Garanina, I. S. Anureev, O. I. Borovikova, “Verification oriented process ontology”, Model. Anal. Inform. Sist., 25:6 (2018),  607–622  mathnet
2013
5. I. S. Anureev, S. N. Baranov, D. M. Beloglazov, E. V. Bodin, P. D. Drobintsev, A. V. Kolchin, V. P. Kotlyarov, A. A. Letichevskii, O. A. Letychevskyi, V. A. Nepomnyashchii, I. V. Nikiforov, S. V. Potiyenko, L. V. Priima, B. V. Tyutin, “Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs”, Tr. SPIIRAN, 26 (2013),  349–383  mathnet
6. I. S. Anureev, “Towards technology of development of operational semantics of computer languages: unified format of labelled transition systems”, Tr. SPIIRAN, 25 (2013),  255–276  mathnet
2012
7. I. S. Anureev, “Deductive Verification of Telecommunication Systems Written in C”, Model. Anal. Inform. Sist., 19:6 (2012),  34–44  mathnet
2011
8. M. M. Atuchin, I. S. Anureev, “Attribute annotations and their use in C program deductive verification”, Model. Anal. Inform. Sist., 18:4 (2011),  21–33  mathnet
9. I. S. Anureev, “Typical examples of Atoment language using”, Model. Anal. Inform. Sist., 18:4 (2011),  7–20  mathnet
2010
10. V. A. Nepomnyashchii, I. S. Anureev, M. M. Atuchin, I. V. Mar'yasov, A. A. Petrov, A. V. Promskii, “C program verification in the multilanguage system spectrum”, Model. Anal. Inform. Sist., 17:4 (2010),  88–100  mathnet
11. I. S. Anureev, I. V. Mar'yasov, V. A. Nepomnyashchii, “C-programs verification on basis of mixed axiomatic semantics”, Model. Anal. Inform. Sist., 17:3 (2010),  5–28  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020