Вы здесь

Ануреев И. С.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Дедуктивная верификация Reflex-программ 2020 Ануреев И. С., Гаранина Н. О., Лях Т.В., Розов А.С., Зюбин В. Е., Горлач С.П. Программирование 17.08.2020
СТ Разрешение конфликтов в мультиагентной системе с типизированными связями для пополнения онтологий 2016 Гаранина Н. О., Сидорова Е. А., Ануреев И. С. Программирование 06.10.2016
П Концептуальный базис трехуровневого метода верификации C# программ 2013 Ануреев И. С. Lecture Notes in Computer Science ИСИ СО РАН 13.01.2014
П Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем 2012 Ануреев И. С. ИСИ СО РАН 26.08.2013
СТ Дедуктивная верификация телекоммуникационных систем, представленных на языке Си 2012 Ануреев И. С. Моделирование и анализ информационных систем 11.06.2013
СТ Типовые примеры использования языка Atoment 2011 Ануреев И. С. Моделирование и анализ информационных систем 14.02.2012
СТ Типовые примеры использования языка Atoment 2011 Ануреев И. С. Моделирование и анализ информационных систем 13.02.2012
СТ Атрибутные аннотации и их применение в дедуктивной верификации С-программ 2011 Атучин М. М., Ануреев И. С. Моделирование и анализ информационных систем 13.02.2012
СТ Верификация С-программ на основе смешанной аксиоматической семантики 2010 Ануреев И. С., Марьясов И. В., Непомнящий В. А. Моделирование и анализ информационных систем 13.04.2011
СТ Верификация С-программ в мультиязыковой системе СПЕКТР 2010 Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В. Моделирование и анализ информационных систем 13.04.2011
П Язык Atoment: стандартная библиотека 2010 Ануреев И. С. ИСИ СО РАН 09.03.2011
М Модели и методы построения информационных систем, основанных на формальных, логических и лингвстических подходах 2009 Ануреев И. С., Батура Т. В., Боровикова О. И., Загорулько Ю. А., Кононенко И. С., Марчук А. Г., Марчук П. А., Мурзин Ф. А., Сидорова Е. А., Шилов Н. В. Системная информатика
  1. Марчук А. Г.
СО РАН, ИСИ СО РАН 25.01.2011
П Язык Atoment: синтаксис и семантика 2010 Ануреев И. С. ИСИ СО РАН 22012 06.10.2010
СТ Система анализа и верификации С-программ СПЕКТР-2 2010 Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В. Труды семинара 5-го международного симпозиума по компьютерным наукам в России 22.06.2010
СТ Операционно-онтологический подход к формальной спецификации языков программирования 2009 Ануреев И. С. Программирование 13.04.2009
СТ Язык описания онтологических систем перходов OTSL как средство формальной спецификации программных систем 2008 Ануреев И. С. Вестник НГУ 27.01.2009
СТ О генерации условий корректности для императивных программ 2008 Шилов Н. В., Ануреев И. С., Бодин Е. В. Программирование 26.01.2009
СТ Язык описания онтологических систем перходов OTSL как средство формальной спецификации программных систем 2008 Ануреев И. С. Вестник НГУ 26.01.2009
СТ На пути к верификации C#-программ: трехуровневый подход 2006 Непомнящий В. А., Ануреев И. С., Дубрановский И. В., Промский А. В. Программирование 28.09.2006
СТ На пути к верификации C-программ, язык C-light и его трасформационная семантика 2006 Непомнящий В. А., Ануреев И. С., Промский А. В. Проблемы программирования 07.07.2006
СТ Ориентированный на верификацию язык C-light 2004 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. Системная информатика Системная информатика 21.03.2005
СТ На пути к разработке семантики объектно-ориентированных языков программирования, ориентированных на верификацию 2004 Ануреев И. С. Тезисы докладов конференции-конкурса "Технологии Microsoft в информатике и программировании" 01.03.2004
СТ На пути к верификации 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 Ануреев И. С. Lecture Notes in Computer Science ИСИ СО РАН 23.05.2002
П На пути к верификации С-программ. Часть 1. Язык C-LIGHT 2001 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. ИСИ СО РАН 07.03.2001
СТ Сужение как техника автоматического доказательства 2000 Ануреев И. С. Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II 22.07.2000
СТ Сужение как техника автоматического доказательства 2000 Ануреев И. С. Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II 21.07.2000
СТ Метод элиминации структур данных, основанный на системах переписывания формул 1999 Ануреев И. С. Программирование 29.10.1999
А Системы переписывания формул и их применение в автоматической верификации программ 1998 Ануреев И. С. Lecture Notes in Artificial Intelligence 14.10.1998
П Теория систем переписывания формул 1998 Ануреев И. С. ИСИ СО РАН 22.09.1998
П Применение систем переписывания формул в автоматической верификации программ 1998 Ануреев И. С. ИСИ СО РАН 22.09.1998
П Упрощающие процедуры для типов данных, основанные на системах переписывания формул 1998 Ануреев И. С. ИСИ СО РАН 22.09.1998
П Системы переписывания формул 1997 Ануреев И. С. ИСИ СО РАН 22.10.1997
СТ Интегрированные правила переписывания термов и их применение в автоматической верификации программ 1995 Ануреев И. С. Проблемы спецификации и верификации параллельных систем. Сборник научных трудов 14.12.1996

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Молодая информатика: Сборник трудов аспирантов и молодых ученых: Выпуск 2 2006
  1. Ануреев И. С.
ИСИ СО РАН 29.04.2007
СБ Молодая информатика: Сборник трудов аспирантов и молодых ученых 2005
  1. Ануреев И. С.
ИСИ СО РАН 06.09.2005