RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Непомнящий Валерий Александрович

В базах данных Math-Net.Ru
Публикаций: 18
Научных статей: 15

Статистика просмотров:
Эта страница:625
Страницы публикаций:2348
Полные тексты:763
Списки литературы:250
старший научный сотрудник
кандидат физико-математических наук
E-mail:

Основные темы научной работы

теория программирования, верификация, спецификация, семантика, системы верификации программ, коммуникационные протоколы, сети Петри, телекоммуникационные системы


http://www.mathnet.ru/rus/person54220
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
2018
1. Д. А. Кондратьев, И. В. Марьясов, В. А. Непомнящий, “Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов”, Модел. и анализ информ. систем, 25:5 (2018),  491–505  mathnet
2017
2. I. V. Maryasov, V. A. Nepomniaschy, D. A. Kondratyev, “Invariant elimination of definite iterations over arrays in C programs verification”, Модел. и анализ информ. систем, 24:6 (2017),  743–754  mathnet  elib
2016
3. Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко, “Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM”, Модел. и анализ информ. систем, 23:6 (2016),  688–702  mathnet  mathscinet  elib
2015
4. I. V. Maryasov, V. A. Nepomniaschy, “Loop invariants elimination for definite iterations over unchangeable data structures in C programs”, Модел. и анализ информ. систем, 22:6 (2015),  773–782  mathnet  mathscinet  elib
5. S. A. Chernenok, V. A. Nepomniaschy, “The application of coloured Petri nets to verification of distributed systems specified by message sequence charts”, Труды ИСП РАН, 27:3 (2015),  197–218  mathnet  elib
2014
6. С. А. Черненок, В. А. Непомнящий, “Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри”, Модел. и анализ информ. систем, 21:6 (2014),  94–106  mathnet
2013
7. И. В. Марьясов, В. А. Непомнящий, А. В. Промский, Д. А. Кондратьев, “Автоматическая верификация C-программ на основе смешанной аксиоматической семантики”, Модел. и анализ информ. систем, 20:6 (2013),  52–63  mathnet
8. И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин, “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013),  349–383  mathnet
2012
9. Д. А. Шкляев, В. А. Непомнящий, “Дедуктивная верификация протокола скользящего окна”, Модел. и анализ информ. систем, 19:6 (2012),  57–68  mathnet
2011
10. Д. М. Белоглазов, М. Ю. Машуков, В. А. Непомнящий, “Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри”, Модел. и анализ информ. систем, 18:4 (2011),  144–156  mathnet
2010
11. В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский, “Верификация C-программ в мультиязыковой системе СПЕКТР”, Модел. и анализ информ. систем, 17:4 (2010),  88–100  mathnet
12. И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий, “Верификация C-программ на основе смешанной аксиоматической семантики”, Модел. и анализ информ. систем, 17:3 (2010),  5–28  mathnet
1971
13. В. А. Непомнящий, “О полноте операций в операторных алгоритмах”, Докл. АН СССР, 199:4 (1971),  780–782  mathnet  mathscinet  zmath
1970
14. В. А. Непомнящий, “Рудиментарные предикаты и тьюринговы вычисления”, Докл. АН СССР, 195:2 (1970),  282–284  mathnet  mathscinet  zmath
1966
15. В. А. Непомнящий, “Об одном базисе для рекурсивно-перечислимых множеств”, Докл. АН СССР, 170:6 (1966),  1262–1264  mathnet  mathscinet  zmath

2014
16. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 21:6 (2014),  5–6  mathnet
2011
17. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 18:4 (2011),  5–6  mathnet
2010
18. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 17:4 (2010),  1–2  mathnet

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019