Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Ануреев Игорь Сергеевич

В базах данных Math-Net.Ru
Публикаций: 14
Научных статей: 14
Лекций и докладов: 1

Статистика просмотров:
Эта страница:311
Страницы публикаций:2936
Полные тексты:1443
Списки литературы:504
кандидат физико-математических наук
Дата рождения: 10.02.1971
E-mail: ,
Ключевые слова: верификация программ, спецификация программ, семантика программ, автоматическое доказательство, онтологии.

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

Верификация программ, спецификация программ, семантика программ.

   
Основные публикации:
  1. Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В., “На пути к верификации С программ. Язык C-light и его формальная семантика”, Программирование, 2002, № 6, 1–13
  2. Ануреев И. С., “Операционно-онтологический подход к формальной спецификации языков программирования”, Программирование, 2009, № 1, 1–11
  3. Непомнящий В. А., Ануреев И. С., Промский А. В., “На пути к верификации С программ. Аксиоматическая семантика языка C-kernel”, Программирование, 2003, № 6, 5–15
  4. Непомнящий В. А., Ануреев И. С., Промский А. В., Дубрановский И. В., “На пути к верификации C# программ: трехуровневый подход”, Программирование, 2006, № 4, 4–20
  5. Шилов Н. В., Ануреев И. С., Бодин Е. В., “О генерации условий корректности для императивных программ”, Программирование, 2008, № 6, 1–20

https://www.mathnet.ru/rus/person63645
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://orcid.org/0000-0001-9574-128X

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. Н. О. Гаранина, С. М. Старолетов, В. Е. Зюбин, И. С. Ануреев, “Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3”, Модел. и анализ информ. систем, 31:1 (2024),  32–53  mathnet 1
2. И. М. Черненко, И. С. Ануреев, Н. О. Гаранина, “Шаблоны требований в дедуктивной верификации poST-программ”, Модел. и анализ информ. систем, 31:1 (2024),  6–31  mathnet 1
2020
3. Н. О. Гаранина, И. С. Ануреев, В. Е. Зюбин, С. М. Старолетов, Т. В. Лях, А. С. Розов, С. П. Горлач, “Темпоральная логика для программируемых логических контроллеров”, Модел. и анализ информ. систем, 27:4 (2020),  412–427  mathnet  elib
2019
4. Н. О. Гаранина, И. С. Ануреев, О. И. Боровикова, В. Е. Зюбин, “Методы специализации онтологии процессов, ориентированной на верификацию”, Модел. и анализ информ. систем, 26:4 (2019),  534–549  mathnet 1
5. И. С. Ануреев, “Операционная семантика аннотированных Reflex программ”, Модел. и анализ информ. систем, 26:4 (2019),  475–487  mathnet 1
2018
6. Н. В. Шилов, Д. А. Кондратьев, И. С. Ануреев, Е. В. Бодин, А. В. Промский, “Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня”, Модел. и анализ информ. систем, 25:6 (2018),  637–666  mathnet 2
7. Н. О. Гаранина, И. С. Ануреев, О. И. Боровикова, “Онтология процессов, ориентированная на верификацию”, Модел. и анализ информ. систем, 25:6 (2018),  607–622  mathnet
2013
8. И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин, “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013),  349–383  mathnet 5
9. И. С. Ануреев, “На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов”, Тр. СПИИРАН, 25 (2013),  255–276  mathnet
2012
10. И. С. Ануреев, “Дедуктивная верификация телекоммуникационных систем, представленных на языке Си”, Модел. и анализ информ. систем, 19:6 (2012),  34–44  mathnet
2011
11. М. М. Атучин, И. С. Ануреев, “Атрибутные аннотации и их применение в дедуктивной верификации C-программ”, Модел. и анализ информ. систем, 18:4 (2011),  21–33  mathnet 2
12. И. С. Ануреев, “Типовые примеры использования языка Atoment”, Модел. и анализ информ. систем, 18:4 (2011),  7–20  mathnet 2
2010
13. В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский, “Верификация C-программ в мультиязыковой системе СПЕКТР”, Модел. и анализ информ. систем, 17:4 (2010),  88–100  mathnet 6
14. И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий, “Верификация C-программ на основе смешанной аксиоматической семантики”, Модел. и анализ информ. систем, 17:3 (2010),  5–28  mathnet 5

Доклады и лекции в базе данных Math-Net.Ru
1. Логика распознавания последовательностей состояний SSRL (State Sequences Recognition Logic) и примеры её применения для формализации темпоральных требований к управляющим программ
И. С. Ануреев
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
14 февраля 2024 г. 19:00   

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