| Publication | Date of Publication | Type |
|---|
Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms
Modelirovanie i Analiz Informatsionnykh Sistem | 2025-05-20 | Paper |
| scientific article; zbMATH DE number 7589535 (Why is no real title available?) | 2022-09-21 | Paper |
| scientific article; zbMATH DE number 7589539 (Why is no real title available?) | 2022-09-21 | Paper |
| Event-driven temporal logic pattern for control software requirements specification | 2022-06-17 | Paper |
| Method of the development of ontological operational semantics for imperative programming languages | 2018-10-30 | Paper |
| Integrated approach to analysis and verification of imperative programs | 2017-04-26 | Paper |
| Program specific transition systems | 2017-04-26 | Paper |
| Two-level mixed verification method of C-light programs in terms of safety logic | 2017-04-26 | Paper |
| Domain-specific transition systems and their application to a formal definition of a model programming language | 2017-04-26 | Paper |
| Operational semantics development for procedural programming languages based on conceptual transition systems | 2017-04-26 | Paper |
| Context machines as formalism for specification of dynamic systems | 2017-02-21 | Paper |
| Introduction to the Atoment language | 2017-02-21 | Paper |
Ontological transition systems structures
Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science | 2012-05-11 | Paper |
A language of actions in ontological transition systems
Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science | 2012-05-11 | Paper |
Effective generation of verification conditions for non-deterministic unstructured programs
Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science | 2012-05-11 | Paper |
A three-stage method of C program verification
Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science | 2012-04-13 | Paper |
Generation of correctness conditions for imperative programs
Programming and Computer Software | 2009-09-04 | Paper |
Operational ontological approach to formal programming language specification
Programming and Computer Software | 2009-09-04 | Paper |
Towards verification of C\(\#\) programs: a three-level approach
Programming and Computer Software | 2007-06-14 | Paper |
| scientific article; zbMATH DE number 2186289 (Why is no real title available?) | 2005-07-05 | Paper |
Towards verification of C programs: Axiomatic semantics of the C-kernel language
Programming and Computer Software | 2005-06-30 | Paper |
| scientific article; zbMATH DE number 1822431 (Why is no real title available?) | 2002-11-03 | Paper |
A method of elimination of data structures based on formula rewriting systems
Programming and Computer Software | 2001-04-26 | Paper |
| scientific article; zbMATH DE number 1534597 (Why is no real title available?) | 2000-11-21 | Paper |
| scientific article; zbMATH DE number 1533831 (Why is no real title available?) | 2000-11-20 | Paper |
