Архив выпусков - Препринты ИСП РАН
Новости
Архив выпусков
Выпуски за 2019 год
Препринт 32.
А.В. Вишняков, А.Р. Нурмухаметов. Обзор методов автоматизированной генерации эксплойтов повторного использования кода.
подробнее
Выпуски за 2017 год
Препринт 31.
С.С. Панасенко, В.А. Падарян, А.Ю. Тихонов. О построении статического и динамического представлений бинарного кода по полносистемной трассе машинных инструкций.
подробнее
Препринт 30.
С.Д. Кузнецов. Темпоральные расширения в стандарте SQL.
подробнее
Выпуски за 2016 год
Препринт 29.
Е.М. Лаврищева. Теория объектно-компонентного моделирования программных систем.
подробнее
Выпуски за 2015 год
Препринт 28.
А.И.Гетьман, Е.Ф. Евстропов, Ю.В. Маркин. Анализ сетевого трафика в режиме реального времени: обзор прикладных
задач, подходов и решений.
подробнее
Выпуски за 2014 год
Препринт 27.
Ю.В. Маркин, А.С. Санаров. Обзор современных инструментов анализа сетевого трафика.
подробнее
Выпуски за 2013 год
Препринт 26.
В.В. Липаев. Надежность и функциональная безопасность комплексов программ реального времени.
подробнее
Препринт 25.
Ледовских Илья. Метрики сложности кода.
подробнее
Препринт 24.
В.В. Каушан, Ю.В. Маркин, В.А. Падарян, А.Ю. Тихонов. Методы поиска ошибок в бинарном коде.
подробнее
Выпуски за 2011 год
Препринт 23.
Игорь Бурдонов, Александр Косачев. Удаление из спецификации неконформных трасс.
подробнее
more in English
Выпуски за 2010 год
Препринт 22.
Дуглас Арнольд, Кристин Фаулер. Гнусные цифры.
подробнее
Выпуски за 2008 год
Препринт 21.
А.С. Камкин. Комбинаторная генерация тестовых программ для микропроцессоров на основе моделей.
подробнее
more in English
Выпуски за 2007 год
Препринт 19.
К.В. Ребриков, В.З. Шнитман. Протоколы автоматического установления контекстов безопасности и управления ключами в Интернет.
подробнее
Выпуски за 2006 год
Препринт 18.
Л.Е. Карпов, В.Н. Юдин. Методы добычи данных при построение локальной метрики в системах вывода по прецедентам.
подробнее
Препринт 17.
Алексей Демаков. Язык описания абстрактного синтаксиса TreeDL и его использование.
подробнее
Препринт 16.
И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко, В.З. Шнитман. Обзор подходов к верификации распределенных систем.
подробнее
Препринт 15.
А.С. Косачев, В.Н. Пономаренко. Анализ подходов к верификации функций безопасности и мобильности.
подробнее
Препринт 14.
И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко. Операционные системы реального времени.
подробнее
Препринт 13.
В.В. Кулямин, Н.В. Пакулин, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Формализация требований на практике.
подробнее
Препринт 12.
А.В. Хорошилов. Спецификация и тестирование систем с асинхронным интерфейсом.
подробнее
Препринт 11.
Петр Плешачков. SXTM: Высокопроизводительный менеджер управления XML-транзакциями.
подробнее
Препринт 10.
А.А. Болдаков, М.Н. Гринев. Расширение языка XQuery функциональными update-выражениями.
подробнее
Препринт 9.
М.В. Архипова. Генерация тестов для семантических анализаторов.
подробнее
Выпуски за 2005 год
Препринт 8.
В.П. Иванников, А.С. Камкин, В.В. Кулямин, А.К. Петренко. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения.
подробнее
Препринт 7.
М.А. Посыпкин, А.А. Соколов. Обзор методов автоматизации мониторинга, анализа и визуализации поведения параллельных процессов, взаимодействующих с помощью передачи сообщений.
подробнее
Препринт 6.
В.А. Падарян. Оценка времени работы параллельной программы с помощью интерпретатора среды ParJava.
подробнее
Препринт 5.
М.Б. Кузнецов. Трансформация UML-моделей и ее применение в технологии MDA.
подробнее
Выпуски за 2004 год
Препринт 4.
М.В. Ксензов. Рефакторинг архитектуры программного обеспечения.
подробнее
Препринт 3.
Л.В. Земских. Возможности оптимизации системы автономного адаптивного управления с помощью генетических алгоритмов.
подробнее
Препринт 2.
М.А. Посыпкин. Применение формальных методов для тестирования компиляторов.
подробнее
Выпуски за 2003 год
Препринт 1.
А.В. Чернов. Интегрированная инструментальная среда Poirot для изучения методов маскировки программ.
подробнее