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