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

В базах данных Math-Net.Ru
Публикаций: 13
Научных статей: 10
Цитированных статей: 5
Ссылок в Math-Net.Ru: 18

Статистика просмотров:
Эта страница:420
Страницы публикаций:1189
Полные тексты:402
Списки литературы:109
старший научный сотрудник
кандидат физико-математических наук
E-mail:

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

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


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

Публикации в базе данных Math-Net.Ru
1. Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
Модел. и анализ информ. систем, 23:6 (2016),  688–702
2. Loop invariants elimination for definite iterations over unchangeable data structures in C programs
I. V. Maryasov, V. A. Nepomniaschy
Модел. и анализ информ. систем, 22:6 (2015),  773–782
3. 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
4. Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри
С. А. Черненок, В. А. Непомнящий
Модел. и анализ информ. систем, 21:6 (2014),  94–106
5. Автоматическая верификация C-программ на основе смешанной аксиоматической семантики
И. В. Марьясов, В. А. Непомнящий, А. В. Промский, Д. А. Кондратьев
Модел. и анализ информ. систем, 20:6 (2013),  52–63
6. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин
Тр. СПИИРАН, 26 (2013),  349–383
7. Дедуктивная верификация протокола скользящего окна
Д. А. Шкляев, В. А. Непомнящий
Модел. и анализ информ. систем, 19:6 (2012),  57–68
8. Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри
Д. М. Белоглазов, М. Ю. Машуков, В. А. Непомнящий
Модел. и анализ информ. систем, 18:4 (2011),  144–156
9. Верификация C-программ в мультиязыковой системе СПЕКТР
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
Модел. и анализ информ. систем, 17:4 (2010),  88–100
10. Верификация C-программ на основе смешанной аксиоматической семантики
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
Модел. и анализ информ. систем, 17:3 (2010),  5–28

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

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