Valery A. Nepomniaschy

V. A. Nepomniaschy

2008
24	EE	Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov: Using Coloured Petri Nets to Model and Verify Telecommunications Systems. CSR 2008: 360-371
23	EE	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: 537-554
2007
22	EE	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: 303-314
2006
21	EE	V. A. Nepomniaschy, Igor S. Anureev, I. V. Dubranovskii, Alexey V. Promsky: Towards verification of C# programs: A three-level approach. Programming and Computer Software 32(4): 190-202 (2006)
2005
20	EE	V. A. Nepomniaschy: Symbolic method of verification of definite iterations over altered data structures. Programming and Computer Software 31(1): 1-9 (2005)
2003
19	EE	V. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky: Verification-Oriented Language C-Light and Its Structural Operational Semantics. Ershov Memorial Conference 2003: 103-111
18	EE	V. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky: Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language. Programming and Computer Software 29(6): 338-350 (2003)
2002
17	EE	V. A. Nepomniaschy, Nikolay V. Shilov, E. V. Bodin, Vitaly E. Kozura: Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. IFM 2002: 69-88
16	EE	Vitaly E. Kozura, Valery A. Nepomniaschy, Ruslan M. Novikov: Verification of Distributed Systems Modelled by High-Level Petri Nets. PARELEC 2002: 61-66
15	EE	V. A. Nepomniaschy: Verification of Finite Iterations over Tuples of Data Structures. Programming and Computer Software 28(1): 1-8 (2002)
14	EE	V. A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky: Towards Verification of C Programs. C-Light Language and Its Formal Semantics. Programming and Computer Software 28(6): 314-323 (2002)
2001
13	EE	V. 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. Programming and Computer Software 27(2): 58-68 (2001)
1999
12		V. A. Nepomniaschy: Verification of Definite Iteration over Hierarchical Data Structures. FASE 1999: 176-187
11	EE	V. A. Nepomniaschy: Symbolic Verification Method for Definite Iteration over Data Structures. Inf. Process. Lett. 69(4): 207-213 (1999)
1995
10		V. 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: 94-108
1993
9		V. A. Nepomniaschy, A. A. Sulimov: Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. DISCO 1993: 374-378
8		V. 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: 377-393
7		V. A. Nepomniaschy, A. A. Sulimov: Problem-Oriented Verification System and its Application to Linear Algebra Programs. Theor. Comput. Sci. 119(1): 173-185 (1993)
1978
6		V. A. Nepomniaschy: On Divergence and Halting Problems for Monadic Program Schemas. MFCS 1978: 385-392
5		V. A. Nepomniaschy, Lutz Voelkel: Zur Vollständigkeit von Befehlssystemen. Elektronische Informationsverarbeitung und Kybernetik 14(1/2): 43-48 (1978)
1976
4		V. A. Nepomniaschy: On Divergence Problems for Program Schemas. MFCS 1976: 442-445
1974
3		Andrei P. Ershov, V. A. Nepomniaschy: International Sympoisum on Theoretical Programming, Novosibirsk, Russia, August 7-11, 1972, Proceedings Springer 1974
1972
2		V. A. Nepomniaschy: Criteria for the algorithmic completeness of the systems of operations. International Sympoisum on Theoretical Programming 1972: 172-186
1971
1		V. A. Nepomniaschy: Conditions for the Algorithmic Completeness of Systems of Operations. IFIP Congress (1) 1971: 52-55

Coauthor Index

1	Gennady I. Alekseev	[10] [13] [22]
2	Igor S. Anureev	[14] [18] [19] [21]
3	Victor S. Argirov	[22]
4	Dmitri M. Beloglazov	[22] [24]
5	E. V. Bodin	[17]
6	Alexandre V. Bystrov	[10] [13] [22]
7	Eugene A. Chetvertakov	[22]
8	P. A. Chubarev	[13]
9	Tatiana G. Churina	[10] [13] [22] [24]
10	I. V. Dubranovskii	[21]
11	Andrei P. Ershov	[3]
12	Vitaly E. Kozura	[16] [17]
13	Mikhail Mashukov	[24]
14	I. N. Mikhailov	[14]
15	Sergey P. Mylnikov	[10] [13] [22]
16	Ruslan M. Novikov	[16] [22]
17	E. V. Okunishnikova	[10] [13]
18	Alexey V. Promsky	[14] [18] [19] [21]
19	Nikolay V. Shilov	[8] [17]
20	A. A. Sulimov	[7] [9]
21	Lutz Voelkel	[5]

Colors in the list of coauthors