V. A. Nepomniaschy
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j12 |      | V. A. Nepomniaschy, Igor S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, Alexey V. Promsky: C program verification in SPECTRUM multilanguage system. Automatic Control and Computer Sciences 45(7): 413-420 (2011) |
| j11 | | Igor S. Anureev, I. V. Maryasov, Valery A. Nepomniaschy: C-programs verification based on mixed axiomatic semantics. Automatic Control and Computer Sciences 45(7): 485-500 (2011) |
| 2009 | ||
| c15 | | Dmitri M. Beloglazov, Valery A. Nepomniaschy: A Two-Level Approach for Modeling and Verification of Telecommunication Systems. Ershov Memorial Conference 2009: 70-85 |
| 2008 | ||
| j10 | | V. 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. Programming and Computer Software 34(6): 330-340 (2008) |
| c14 | | 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 |
| c13 | | 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 |
| 2007 | ||
| c12 | | 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 | ||
| j9 | | 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 | ||
| j8 | | V. A. Nepomniaschy: Symbolic method of verification of definite iterations over altered data structures. Programming and Computer Software 31(1): 1-9 (2005) |
| 2003 | ||
| j7 | | 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) |
| c11 | | 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 |
| 2002 | ||
| j6 | | V. A. Nepomniaschy: Verification of Finite Iterations over Tuples of Data Structures. Programming and Computer Software 28(1): 1-8 (2002) |
| j5 | | 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) |
| c10 | | 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 |
| c9 | | Vitaly E. Kozura, Valery A. Nepomniaschy, Ruslan M. Novikov: Verification of Distributed Systems Modelled by High-Level Petri Nets. PARELEC 2002: 61-66 |
| 2001 | ||
| j4 | | 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 | ||
| j3 | | V. A. Nepomniaschy: Symbolic Verification Method for Definite Iteration over Data Structures. Inf. Process. Lett. 69(4): 207-213 (1999) |
| c8 | | V. A. Nepomniaschy: Verification of Definite Iteration over Hierarchical Data Structures. FASE 1999: 176-187 |
| 1995 | ||
| c7 | | 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 | ||
| j2 | | 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) |
| c6 | | V. A. Nepomniaschy, A. A. Sulimov: Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. DISCO 1993: 374-378 |
| c5 | | 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 |
| 1978 | ||
| j1 |  | V. A. Nepomniaschy, Lutz Voelkel: Zur Vollständigkeit von Befehlssystemen. Elektronische Informationsverarbeitung und Kybernetik 14(1/2): 43-48 (1978) |
| c4 | | V. A. Nepomniaschy: On Divergence and Halting Problems for Monadic Program Schemas. MFCS 1978: 385-392 |
| 1976 | ||
| c3 | | |
| 1974 | ||
| e1 | | Andrei P. Ershov, V. A. Nepomniaschy (Eds.): International Sympoisum on Theoretical Programming, Novosibirsk, Russia, August 7-11, 1972, Proceedings. Lecture Notes in Computer Science 5, Springer 1974, isbn 3-540-06720-5 |
| 1972 | ||
| c2 | | V. A. Nepomniaschy: Criteria for the algorithmic completeness of the systems of operations. International Sympoisum on Theoretical Programming 1972: 172-186 |
| 1971 | ||
| c1 | | V. A. Nepomniaschy: Conditions for the Algorithmic Completeness of Systems of Operations. IFIP Congress (1) 1971: 52-55 |
Data released under the ODC-BY 1.0 license — See also our legal information page