Вы здесь

Anureev I. S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Operational semantics development for procedural programming languages based on conceptual transition systems 2015 Anureev I. S. Computer Science Bulletin of the Novosibirsk Computing Center 15.06.2016
СТ Domain-Specific transition systems and their application to a formal Definition of a model programming language 2014 Anureev I. S. Bulletin of the Novosibirsk Computing Center 02.09.2015
СТ Two-level mixed verification method of C-light programs in terms of safety logic 2012 Anureev I. S., Maryasov I. V., Nepomniaschy V. A. Bulletin of the Novosibirsk Computing Center 26.03.2013
СТ Program Specific Transition Systems 2012 Anureev I. S. Bulletin of the Novosibirsk Computing Center 25.03.2013
СТ Integrated approach to analysis and verification of imperative programs 2011 Anureev I. S. Bulletin of the Novosibirsk Computing Center 03.04.2012
СТ Introduction on the Atoment language 2010 Anureev I. S. Computer Science Bulletin of the Novosibirsk Computing Center 04.04.2011
СТ A three-stage method of C program verification 2009 Anureev I. S. Bulletin of the Novosibirsk Computing Center 11.08.2009
СТ A language of actions in ontological transition systems 2007 Anureev I. S. Bulletin of the Novosibirsk Computing Center 05.03.2008
СТ Ontological transition systems 2007 Anureev I. S. Bulletin of the Novosibirsk Computing Center 04.03.2008
СТ Effective generation of verification conditions for non-deterministic unstructured programs 2007 Anureev I. S., Bodin E. V., Shilov N. V. Bulletin of the Novosibirsk Computing Center 04.03.2008
П Toward C# Program Verification: A Three-level Approach 2005 Nepomniaschy V. A., Anureev I. S., Dubranovsky I. V., Promsky A. V. IIS SB RAS 30.12.2005
СТ Unified Semantic Language: Syntax, Semantics, and Pragmatics 2004 Anureev I. S. Computer Science Joint Bull. of NCC and IIS 22.10.2004
СТ A Three-Level Approach to C# Program Verification 2004 Nepomniaschy V. A., Anureev I. S., Dubranovsky I. V., Promsky A. V. Computer Science Joint Bull. of NCC and IIS 22.10.2004
П USL - The Language of Natural State Machines 2004 Anureev I. S. СО РАН, ИСИ СО РАН 14.08.2004
СТ Verification-Oriented Language C-Light and Its Structural Operational Semantics 2003 Nepomniaschy V. A., Anureev I. S., Promsky A. V. Lecture Notes in Computer Science 18.02.2004
СТ A multi-branch narrowing: satisfiability and termination 2000 Anureev I. S. Russian Academy of Science, Siberian Division Joint Bull. of NCC and IIS 06.03.2001