Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 26, выпуск 6, 2014, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией академика РАН В.П. Иванникова

Скачать полный выпуск
PDF


Содержание

Н.В.Евтушенко, Ана Р. Кавалли, А.К.Петренко. Предисловие. Стр. 5-10

Д. Ривера, Н, Кушик, К. Фьюензалида, А. Кавалли, Н.Евтушенко. Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом. Стр. 17-30.

Стефан Мааг. Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей. Стр. 31-46.

Светлана Прокопенко. Локализация неисправной компоненты в композиции расширенных автоматов. Стр. 47-56.

Игорь Бурдонов, Александр Косачев. Построение прямого и обратного остовов автоматами на графе. Стр. 57-62.

Игорь Бурдонов, Александр Косачев, Виктор Кулямин. Параллельные вычисления автоматами на прямом и обратном остовах графа. Стр. 63-66.

М.С. Форостьянова. Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов. Стр. 67-76.

Александр Твардовский. К минимизации автоматов с таймаутами. Стр. 77-84.

О.В. Кондратьева, Н.В. Евтушенко, А.Р. Кавалли. Решение автоматных уравнений для временных автоматов относительно параллельной композиции. Стр. 85-98.

В.Х. Ла, А. Кавалли. Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях. Стр. 99-110.

Антон Ермаков. Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции. Стр. 111-124.

Х. Лопез, С. Мааг, Ж. Моралес. Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга. Стр. 125-140.

Вернуться к списку всех томов