|
СТ |
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 |
|
СТ |
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 |
|
П |
USL - The Language of Natural State Machines |
2004 |
Anureev I. S. |
|
|
СО РАН, ИСИ СО РАН |
|
14.08.2004 |
|
СТ |
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 |
|
П |
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 |
|
СТ |
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 |
|
СТ |
Ontological transition systems |
2007 |
Anureev I. S. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
04.03.2008 |
|
СТ |
A language of actions in ontological transition systems |
2007 |
Anureev I. S. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
05.03.2008 |
|
СТ |
A three-stage method of C program verification |
2009 |
Anureev I. S. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
11.08.2009 |
|
СТ |
Introduction on the Atoment language |
2010 |
Anureev I. S. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
04.04.2011 |
|
СТ |
Integrated approach to analysis and verification of imperative programs |
2011 |
Anureev I. S. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
03.04.2012 |
|
СТ |
Program Specific Transition Systems |
2012 |
Anureev I. S. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
25.03.2013 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
