СТ |
Дедуктивная верификация 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 |
Ануреев И. С., Батура Т. В., Боровикова О. И., Загорулько Ю. А., Кононенко И. С., Марчук А. Г., Марчук П. А., Мурзин Ф. А., Сидорова Е. А., Шилов Н. В. |
Системная информатика |
- Марчук А. Г.
|
СО РАН, ИСИ СО РАН |
|
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 |