V. A. Nepomniaschy

MaRDI QIDQ220094zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verifying UCM specifications of distributed systems using colored Petri nets Cybernetics and Systems Analysis	2015-07-31	Paper
Symbolic verification method for definite iterations over tuples of altered data structures Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science	2012-04-13	Paper
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets Programming and Computer Software	2009-09-04	Paper
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs Pillars of Computer Science	2008-03-25	Paper
Towards verification of C\(\#\) programs: a three-level approach Programming and Computer Software	2007-06-14	Paper
Symbolic method of verification of definite iterations over altered data structures Programming and Computer Software	2005-08-23	Paper
Towards verification of C programs: Axiomatic semantics of the C-kernel language Programming and Computer Software	2005-06-30	Paper
scientific article; zbMATH DE number 2086946 (Why is no real title available?)	2004-08-11	Paper
Verification of Estelle-specified communication protocols using high-level Petri nets Programming and Computer Software	2002-01-06	Paper
Specification and verification of distributed systems by means of the elementary-REAL language Programming and Computer Software	2001-07-24	Paper
scientific article; zbMATH DE number 1534590 (Why is no real title available?)	2000-11-21	Paper
Symbolic verification method for definite iteration over data structures Information Processing Letters	1999-04-28	Paper
scientific article; zbMATH DE number 4154413 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3592972 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3449736 (Why is no real title available?)	1974-01-01	Paper

Research outcomes over time

This page was built for person: V. A. Nepomniaschy