|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
Н. О. Гаранина, С. М. Старолетов, В. Е. Зюбин, И. С. Ануреев, “Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3”, Модел. и анализ информ. систем, 31:1 (2024), 32–53  |
1
|
| 2. |
И. М. Черненко, И. С. Ануреев, Н. О. Гаранина, “Шаблоны требований в дедуктивной верификации poST-программ”, Модел. и анализ информ. систем, 31:1 (2024), 6–31 |
2
|
| 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
|
|
Обратная связь: