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

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

Статистика просмотров:
Эта страница:476
Страницы публикаций:1485
Полные тексты:474
Списки литературы:194
старший научный сотрудник
кандидат физико-математических наук
E-mail:

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

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


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

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

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

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