Valery A. Nepomniaschy

Orcid: 0000-0003-1364-5281

Affiliations:
  • Russian Academy of Sciences, Siberian Branch, Ershov Institute of Informatics Systems, Novosibirsk, Russia


According to our database1, Valery A. Nepomniaschy authored at least 35 papers between 1971 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Automation of C Program Deductive Verification without Using Loop Invariants.
Program. Comput. Softw., 2022

2019
The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination.
Autom. Control. Comput. Sci., 2019

Towards Automatic Deductive Verification of C Programs over Linear Arrays.
Proceedings of the Perspectives of System Informatics, 2019

2017
Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation.
Autom. Control. Comput. Sci., 2017

2015
The language dynamic-real and its application for verification of SDL-specified distributed systems.
Program. Comput. Softw., 2015

Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets.
Autom. Control. Comput. Sci., 2015

2014
Automatic C program verification based on mixed axiomatic semantics.
Autom. Control. Comput. Sci., 2014

2013
Deductive verification of the Sliding Window Protocol.
Autom. Control. Comput. Sci., 2013

2011
C program verification in SPECTRUM multilanguage system.
Autom. Control. Comput. Sci., 2011

C-programs verification based on mixed axiomatic semantics.
Autom. Control. Comput. Sci., 2011

2009
A Two-Level Approach for Modeling and Verification of Telecommunication Systems.
Proceedings of the Perspectives of Systems Informatics, 2009

2008
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets.
Program. Comput. Softw., 2008

Using Coloured Petri Nets to Model and Verify Telecommunications Systems.
Proceedings of the Computer Science, 2008

Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs.
Proceedings of the Pillars of Computer Science, 2008

2007
Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.
Proceedings of the Computer Science, 2007

2006
Towards verification of C# programs: A three-level approach.
Program. Comput. Softw., 2006

2005
Symbolic method of verification of definite iterations over altered data structures.
Program. Comput. Softw., 2005

2003
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language.
Program. Comput. Softw., 2003

Verification-Oriented Language C-Light and Its Structural Operational Semantics.
Proceedings of the Perspectives of Systems Informatics, 2003

2002
Towards Verification of C Programs. C-Light Language and Its Formal Semantics.
Program. Comput. Softw., 2002

Verification of Finite Iterations over Tuples of Data Structures.
Program. Comput. Softw., 2002

Verification of Distributed Systems Modelled by High-Level Petri Nets.
Proceedings of the 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 2002

Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2001
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets.
Program. Comput. Softw., 2001

1999
Symbolic Verification Method for Definite Iteration over Data Structures.
Inf. Process. Lett., 1999

Verification of Definite Iteration over Hierarchical Data Structures.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

1995
Petri Net Modelling of Estelle-specified Communication Protocols.
Proceedings of the Parallel Computing Technologies, 1995

1993
Problem-Oriented Verification System and its Application to Linear Algebra Programs.
Theor. Comput. Sci., 1993

REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties.
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1978
Zur Vollständigkeit von Befehlssystemen.
J. Inf. Process. Cybern., 1978

On Divergence and Halting Problems for Monadic Program Schemas.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1976
On Divergence Problems for Program Schemas.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1972
Criteria for the algorithmic completeness of the systems of operations.
Proceedings of the International Sympoisum on Theoretical Programming, 1972

1971
Conditions for the Algorithmic Completeness of Systems of Operations.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971


  Loading...