Ануреев Игорь Сергеевич

Публикации в базе данных Math-Net.Ru

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