Вы здесь

Главная

Непомнящий В. А.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов 2022 Непомнящий В. А., Кондратьев Д. А. Программирование 03.10.2022
П Верификация раскрашенных сетей Петри методом проверки моделей 2015 Стененко А. А., Непомнящий В. А. ИСИ СО РАН 15.06.2015
СТ Анализ и верификация MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри 2014 Черненок С. А., Непомнящий В. А. Моделирование и анализ информационных систем 22.05.2015
СТ Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри 2015 Визовитин Н. В., Непомнящий В. А., Стененко В. А. Кибернетика и системный анализ 13.05.2015
СТ Язык Dynamic-REAL и его применение для верификации SDL-спецификаций распределенных систем 2014 Непомнящий В. А., Бодин Е. В., Веретнов С. О. Программирование 01.12.2014
СТ Автоматическая верификация С-программ на основе смешанной аксиоматической семантики 2013 Марьясов И. В., Непомнящий В. А., Промский А. В., Кондратьев Д. А. Моделирование и анализ информационных систем 22.04.2014
П Анализ MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри 2013 Черненок С. А., Непомнящий В. А. ИСИ СО РАН 18.11.2013
П Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри 2012 Визовитин Н. В., Непомнящий В. А. ИСИ СО РАН 10.06.2013
СТ Дедуктивная верификация протокола скользя его окна 2012 Шкляев Д. А., Непомнящий В. А. Моделирование и анализ информационных систем 10.06.2013
П Применение языка DYNAMIC-REAL для анализа и верификации распределенных систем. специфицированных на языке SDL 2012 Непомнящий В. А., Бодин Е. В., Веретнов С. О. ИСИ СО РАН 03.04.2012
СТ Верификация телекоммуникационных систем, специфицированных взаимодействую ими конечными автоматами, с помо ью раскрашенных сетей Петри 2011 Белоглазов Д. М., Машуков М. Ю., Непомнящий В. А. Моделирование и анализ информационных систем 13.02.2012
СТ Верификация С-программ на основе смешанной аксиоматической семантики 2010 Ануреев И. С., Марьясов И. В., Непомнящий В. А. Моделирование и анализ информационных систем 13.04.2011
СТ Верификация С-программ в мультиязыковой системе СПЕКТР 2010 Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В. Моделирование и анализ информационных систем 13.04.2011
П Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL 2010 Непомнящий В. А., Бодин Е. В., Веретнов С. О. ИСИ СО РАН 12.08.2010
СТ Система анализа и верификации С-программ СПЕКТР-2 2010 Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В. Труды семинара 5-го международного симпозиума по компьютерным наукам в России 22.06.2010
СТ Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня 2008 Непомнящий В. А., Аргиров В. С., Беломазов Д. М., Быстров А. В., Чурина Т. Г., Четвертаков Е. А. Программирование 27.01.2009
СТ Моделирование и верификация взаимодействия функциональностей в телефонных сетях при помо и конечных автоматов и раскрашенных сетей Петри 2008 Белоглазов Д. М., Непомнящий В. А. Вестник НГУ 26.01.2009
П Язык спецификаций распределенных систем Dynamic-Real 2007 Непомнящий В. А., Бодин Е. В., Веретнов С. О. ИСИ СО РАН 14.04.2008
СТ Верификация финитных итераций над наборами изменяемых структур данных 2007 Непомнящий В. А. Кибернетика и системный анализ 24.09.2007
П Симуляция и верификация статических SDL-спецификаций распределенных систем с помо ью промежуточного языка REAL 2007 Непомнящий В. А., Бодин Е. В., Веретнов С. О., Тюрюшкин М. В. ИСИ СО РАН 29.04.2007
СТ На пути к верификации C#-программ: трехуровневый подход 2006 Непомнящий В. А., Ануреев И. С., Дубрановский И. В., Промский А. В. Программирование 28.09.2006
СТ На пути к верификации C-программ, язык C-light и его трасформационная семантика 2006 Непомнящий В. А., Ануреев И. С., Промский А. В. Проблемы программирования 07.07.2006
СТ Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов 2005 Непомнящий В. А., Алексеев Г. И., Аргиров В. С., Белоглазоы Д. М., Бфстров А. В., Машуков М. Ю., Москвин С. О., Мыльников С. П., Новиков Р. М., Семенов И. А., Четвертаков Е. А., Чурина Т. Г. Методы и средства обработки информации 11.01.2006
СТ Символический метод верификации финитных итераций над изменяемыми структурами данных 2005 Непомнящий В. А. Программирование 22.03.2005
СТ Ориентированный на верификацию язык C-light 2004 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. Системная информатика Системная информатика 21.03.2005
П Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры 2003 Непомнящий В. А., Мацко Е. А. ИСИ СО РАН 01.05.2003
СТ На пути к верификации C-программ. Язык C-light и его формальная семантика 2002 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. Программирование 28.01.2003
П На пути к верификации C-программ. Часть 2: Язык C-light-kernel и его аксиоматическая семантика 2001 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. ИСИ СО РАН 12.08.2002
П На пути к верификации C-программ. Часть 3. Перевод из языка C-light в язык C-light-kernel и его формальное обоснование 2002 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. ИСИ СО РАН 17.07.2002
СТ Верификация финитной итерации над наборами структур данных 2002 Непомнящий В. А. Программирование 03.04.2002
П Верификация раскрашенных сетей Петри методом проверки моделей 2001 Козюра В. Е., Непомнящий В. А., Новиков Р. М. ИСИ СО РАН 22014 23.10.2001
СТ Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня 2001 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. Программирование 19.06.2001
СТ REAL: язык для спецификации и верификации систем реального времени 2000 Непомнящий В. А., Шилов Н. В., Бодин Е. В. Системная информатика 05.04.2001
П На пути к верификации С-программ. Часть 1. Язык C-LIGHT 2001 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. ИСИ СО РАН 07.03.2001
СТ Верификация коммуникационных протоколов, представленных на языках Estelle и SDL 2000 Непомнящий В. А., Алексеев А. Г., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II 22.07.2000
СТ Использование сетей Петри для верификации распределенных систем, представленных на языке Estelle 1999 Алексеев А. Г., Быстровв А. В., Куртов С. А., Мыльников С. П., Непомнящий В. А., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. Известия Академии наук. Теория и системы управления 10.03.2000
СТ Спецификация и верификация распределенных систем средствами языка Elementary_REAL 1999 Непомнящий В. А., Шилов Н. В., Бодин Е. В. Программирование 29.10.1999
М Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри 1998 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г.
  1. Непомнящий В. А.
  2. Шилов Н. В.
 ИСИ СО РАН 04.11.1998
СТ Проблемно-ориентированные базы знаний и их применение в системе верификации программ СПЕКТР 1997 Непомнящий В. А., Сулимов А. А. Теория и системы управления 13.06.1997
М Прикладные методы верификации программ 1988 Непомнящий В. А., Рякин О. М.
  1. Ершов А. П.
 14.11.1995
СТ Верификация программ над массивами 1993 Непомнящий В. А. Системная информатика 26.07.1995
СТ Конференция "Формальные методы в программировании и их применения" 1993 Непомнящий В. А., Поттосин И. В. Программирование 22.03.1994
СТ REAL92: комбинированный язык спецификаций для систем и свойств взаимодействую их процессов реального времени 1993 Непомнящий В. А., Шилов Н. В. Программирование 21.03.1994
СТ Трансформационный синтез корректных программ 1986 Непомнящий В. А., Сабельфельд В. К. Прикладная информатика 13.10.1993
СТ Обоб енный подход к аксиоматической семантике операторов над последовательными файлами 1986 Непомнящий В. А., Рякин О. М. Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез.докл./Всесоюз.науч.конф. 13.10.1993
СТ Проблемно-ориентированная система верификации программ 1986 Непомнящий В. А., Воробьев С. Г., Сулимов А. А. Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез.докл./Всесоюз.науч.конф. 13.10.1993
СТ Базисные средства спецификации и верификации трансляторов 1986 Непомнящий В. А., Сулимов А. А. ВЦ СО АН СССР Методы трансляции и конструирования программ 13.10.1993
СТ Проблемно-ориентированная система верификации программ СПЕКТР 1987 Непомнящий В. А., Воробьев С. Г., Сулимов А. А. Кибернетика 13.10.1993
СТ Верификация программ обработки данных с использованием автоматной модели файлов 1988 Непомнящий В. А., Рякин О. М. Прикладная информатика 13.10.1993
СТ Проблемно-ориентированный подход к верификации программ. Применение к программам обработки файлов 1988 Непомнящий В. А. ВИНИТИ Семиотические аспекты формализации интеллектуальной деятельности: Тез. докл. и сооб ./Всесоюз.школа-семинар (Боржоми-88) 13.10.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Семинар "Семантика, спецификация и верификация программ: теория и приложения"/5-й международный симпозиум по компьютерным наукам в России, Казань, 14-15 июня 2010 2010
  1. Непомнящий В. А.
  2. Соколов В. А.
 22.06.2010
М Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри 1998 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г.
  1. Непомнящий В. А.
  2. Шилов Н. В.
 ИСИ СО РАН 04.11.1998
СБ Проблемы спецификации и верификации параллельных систем. Сборник научных трудов 1995
  1. Непомнящий В. А.
 ИСИ СО РАН 15.12.1996
СБ Проблемы теоретического и экспериментального программирования: Сборник научных трудов 1993
  1. Непомнящий В. А.
 ИСИ СО РАН 10.05.1995
СБ Языки и системы программирования. (Сборник научных трудов) 1979
  1. Поттосин И. В.
  2. Непомнящий В. А.
 ВЦ СО АН СССР 15.12.1979
СБ Проблемы программирования. Сборник трудов 1976
  1. Котов В. Е.
  2. Непомнящий В. А.
 ВЦ СО АН СССР 16.12.1976
СБ Теория программирования, часть I: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
 ВЦ СО АН СССР 13.08.1972
СБ Теория программирования, часть 1: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
 ВЦ СО АН СССР 13.08.1972
СБ Теория программирования, часть II: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
 ВЦ СО АН СССР 13.04.1972