RUS  ENG
Полная версия
ПЕРСОНАЛИИ

Гаранина Наталья Олеговна

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

  1. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3

    Модел. и анализ информ. систем, 31:1 (2024),  32–53
  2. Шаблоны требований в дедуктивной верификации poST-программ

    Модел. и анализ информ. систем, 31:1 (2024),  6–31
  3. Соревнования по формальной верификации VeHa-2023: опыт проведения

    Труды ИСП РАН, 36:2 (2024),  141–168
  4. Autotuning parallel programs by model checking

    Модел. и анализ информ. систем, 28:4 (2021),  338–355
  5. Алгоритмы для BDI-агентов, основанные на знаниях

    Модел. и анализ информ. систем, 27:4 (2020),  442–453
  6. Темпоральная логика для программируемых логических контроллеров

    Модел. и анализ информ. систем, 27:4 (2020),  412–427
  7. Методы специализации онтологии процессов, ориентированной на верификацию

    Модел. и анализ информ. систем, 26:4 (2019),  534–549
  8. Онтология процессов, ориентированная на верификацию

    Модел. и анализ информ. систем, 25:6 (2018),  607–622
  9. Подход к верификации семейства мультиагентных систем разрешения конфликтов

    Модел. и анализ информ. систем, 23:6 (2016),  703–714
  10. Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN

    Модел. и анализ информ. систем, 21:6 (2014),  31–43
  11. Eleusis: perfect recall for inductive reasoning

    Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 1(188),  69–75
  12. Общие знания в хорошо структурированных системах с абсолютной памятью

    Модел. и анализ информ. систем, 20:6 (2013),  10–21
  13. Оптимизационные процедуры в аффинной проверке моделей

    Модел. и анализ информ. систем, 18:4 (2011),  56–67
  14. Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры)

    Модел. и анализ информ. систем, 18:2 (2011),  113–128
  15. Проверка моделей распределенных систем с помощью аффинного представления данных

    Модел. и анализ информ. систем, 17:4 (2010),  52–59

© МИАН, 2024