|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
1. |
Н. О. Гаранина, С. М. Старолетов, В. Е. Зюбин, И. С. Ануреев, “Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3”, Модел. и анализ информ. систем, 31:1 (2024), 32–53 |
1
|
2. |
И. М. Черненко, И. С. Ануреев, Н. О. Гаранина, “Шаблоны требований в дедуктивной верификации poST-программ”, Модел. и анализ информ. систем, 31:1 (2024), 6–31 |
1
|
3. |
С. М. Старолетов, Д. А. Кондратьев, Н. О. Гаранина, И. В. Шошмина, “Соревнования по формальной верификации VeHa-2023: опыт проведения”, Труды ИСП РАН, 36:2 (2024), 141–168 |
|
2021 |
4. |
N. O. Garanina, S. P. Gorlatch, “Autotuning parallel programs by model checking”, Модел. и анализ информ. систем, 28:4 (2021), 338–355 |
1
|
|
2020 |
5. |
Н. В. Шилов, Н. О. Гаранина, “Алгоритмы для BDI-агентов, основанные на знаниях”, Модел. и анализ информ. систем, 27:4 (2020), 442–453 |
6. |
Н. О. Гаранина, И. С. Ануреев, В. Е. Зюбин, С. М. Старолетов, Т. В. Лях, А. С. Розов, С. П. Горлач, “Темпоральная логика для программируемых логических контроллеров”, Модел. и анализ информ. систем, 27:4 (2020), 412–427 |
|
2019 |
7. |
Н. О. Гаранина, И. С. Ануреев, О. И. Боровикова, В. Е. Зюбин, “Методы специализации онтологии процессов, ориентированной на верификацию”, Модел. и анализ информ. систем, 26:4 (2019), 534–549 |
1
|
|
2018 |
8. |
Н. О. Гаранина, И. С. Ануреев, О. И. Боровикова, “Онтология процессов, ориентированная на верификацию”, Модел. и анализ информ. систем, 25:6 (2018), 607–622 |
|
2016 |
9. |
Н. О. Гаранина, Е. А. Сидорова, “Подход к верификации семейства мультиагентных систем разрешения конфликтов”, Модел. и анализ информ. систем, 23:6 (2016), 703–714 |
|
2014 |
10. |
Н. О. Гаранина, Е. В. Бодин, Е. А. Сидорова, “Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN”, Модел. и анализ информ. систем, 21:6 (2014), 31–43 |
11. |
Н. О. Гаранина, “Eleusis: perfect recall for inductive reasoning”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 1(188), 69–75 |
|
2013 |
12. |
Н. О. Гаранина, “Общие знания в хорошо структурированных системах с абсолютной памятью”, Модел. и анализ информ. систем, 20:6 (2013), 10–21 |
|
2011 |
13. |
Н. О. Гаранина, “Оптимизационные процедуры в аффинной проверке моделей”, Модел. и анализ информ. систем, 18:4 (2011), 56–67 |
14. |
Е. В. Бодин, Н. О. Гаранина, Н. В. Шилов, “Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры)”, Модел. и анализ информ. систем, 18:2 (2011), 113–128 |
2
|
|
2010 |
15. |
Н. О. Гаранина, “Проверка моделей распределенных систем с помощью аффинного представления данных”, Модел. и анализ информ. систем, 17:4 (2010), 52–59 |
1
|
|