Valery A. Nepomniaschy

Publication Activity (10 Years)

Years Active: 1971-2022
Publications (10 Years): 6

Top Topics

Abductive Inference

Control Structures

Coloured Petri Nets

Top Venues

Autom. Control. Comput. Sci.

Program. Comput. Softw.

Ershov Informatics Conference

Publications

Dmitry A. Kondratyev, Valery A. Nepomniaschy
Automation of C Program Deductive Verification without Using Loop Invariants. Program. Comput. Softw. 48 (5) (2022)
Dmitry A. Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy
Towards Automatic Deductive Verification of C Programs over Linear Arrays. Ershov Informatics Conference (2019)
Dmitry A. Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy
The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination. Autom. Control. Comput. Sci. 53 (7) (2019)
N. V. Vizovitin, Valery A. Nepomniaschy, A. A. Stenenko
Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation. Autom. Control. Comput. Sci. 51 (7) (2017)
Sergey A. Chernenok, Valery A. Nepomniaschy
Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets. Autom. Control. Comput. Sci. 49 (7) (2015)
Valery A. Nepomniaschy, Evgeny V. Bodin, S. O. Veretnov
The language dynamic-real and its application for verification of SDL-specified distributed systems. Program. Comput. Softw. 41 (1) (2015)
D. A. Chkliaev, Valery A. Nepomniaschy
Deductive verification of the Sliding Window Protocol. Autom. Control. Comput. Sci. 47 (7) (2013)
Igor S. Anureev, Ilya V. Maryasov, Valery A. Nepomniaschy
C-programs verification based on mixed axiomatic semantics. Autom. Control. Comput. Sci. 45 (7) (2011)
Valery A. Nepomniaschy, Igor S. Anureev, M. M. Atuchin, Ilya V. Maryasov, A. A. Petrov, Alexey V. Promsky
C program verification in SPECTRUM multilanguage system. Autom. Control. Comput. Sci. 45 (7) (2011)
Dmitri M. Beloglazov, Valery A. Nepomniaschy
A Two-Level Approach for Modeling and Verification of Telecommunication Systems. Ershov Memorial Conference (2009)
Valery A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets. Program. Comput. Softw. 34 (6) (2008)
Valery A. Nepomniaschy
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs. Pillars of Computer Science (2008)
Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov
Using Coloured Petri Nets to Model and Verify Telecommunications Systems. CSR (2008)
Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov
Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols. CSR (2007)
Valery A. Nepomniaschy, Igor S. Anureev, I. V. Dubranovskii, Alexey V. Promsky
Towards verification of C# programs: A three-level approach. Program. Comput. Softw. 32 (4) (2006)
Valery A. Nepomniaschy
Symbolic method of verification of definite iterations over altered data structures. Program. Comput. Softw. 31 (1) (2005)
Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
Verification-Oriented Language C-Light and Its Structural Operational Semantics. Ershov Memorial Conference (2003)
Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language. Program. Comput. Softw. 29 (6) (2003)
Valery A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky
Towards Verification of C Programs. C-Light Language and Its Formal Semantics. Program. Comput. Softw. 28 (6) (2002)
Vitaly E. Kozura, Valery A. Nepomniaschy, Ruslan M. Novikov
Verification of Distributed Systems Modelled by High-Level Petri Nets. PARELEC (2002)
Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. IFM (2002)
Valery A. Nepomniaschy
Verification of Finite Iterations over Tuples of Data Structures. Program. Comput. Softw. 28 (1) (2002)
Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets. Program. Comput. Softw. 27 (2) (2001)
Valery A. Nepomniaschy
Verification of Definite Iteration over Hierarchical Data Structures. FASE (1999)
Valery A. Nepomniaschy
Symbolic Verification Method for Definite Iteration over Data Structures. Inf. Process. Lett. 69 (4) (1999)
Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Tatiana G. Churina, Sergey P. Mylnikov, E. V. Okunishnikova
Petri Net Modelling of Estelle-specified Communication Protocols. PaCT (1995)
Valery A. Nepomniaschy, A. A. Sulimov
Problem-Oriented Verification System and its Application to Linear Algebra Programs. Theor. Comput. Sci. 119 (1) (1993)
Valery A. Nepomniaschy, Nikolay V. Shilov
REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties. Formal Methods in Programming and Their Applications (1993)
Valery A. Nepomniaschy, A. A. Sulimov
Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. DISCO (1993)
Valery A. Nepomniaschy, Lutz Voelkel
Zur Vollständigkeit von Befehlssystemen. J. Inf. Process. Cybern. 14 (1/2) (1978)
Valery A. Nepomniaschy
On Divergence and Halting Problems for Monadic Program Schemas. MFCS (1978)
Valery A. Nepomniaschy
On Divergence Problems for Program Schemas. MFCS (1976)
Valery A. Nepomniaschy
Criteria for the algorithmic completeness of the systems of operations. International Sympoisum on Theoretical Programming (1972)
Valery A. Nepomniaschy
Conditions for the Algorithmic Completeness of Systems of Operations. IFIP Congress (1) (1971)