Valery A. Nepomniaschy

V. A. Nepomniaschy

	2008
24		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		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		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		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		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		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		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		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		Vitaly E. Kozura, Valery A. Nepomniaschy, Ruslan M. Novikov: Verification of Distributed Systems Modelled by High-Level Petri Nets. PARELEC 2002: 61-66
15		V. A. Nepomniaschy: Verification of Finite Iterations over Tuples of Data Structures. Programming and Computer Software 28(1): 1-8 (2002)
14		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		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		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