Valery A. Nepomniaschy

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