ИСП РАН
Институт системного программирования Российской Академии Наук

Отдел «Системного программирования»

Публикации

За 2010 год

1. А. В. Филоненко, И. К. Исаев, Д. В. Сидоров, Ю. М. Тумано. Поиск уязвимостей по бинарному коду с помощью проверки выполнимости ограничений. Безопасность информационных технологий, 2010, №2.
2. Исаев И.К., Сидоров Д.В. Применение динамического анализа для генерации входных данных, демонстрирующих критические ошибки и уязвимости в программах. Программирование, ISSN 0132-3474, 2010, Выпуск 4, с. 51-67.

За 2006 год

1. Волков А. Е. Использование ролей в сценарных взаимодействиях. Труды Института Системного программирования: Том 9, ИСП РАН, 2006.

За 2004 год

1. Ксензов М. Рефакторинг архитектуры программного обеспечения: выделение слоев. Труды Института Системного Программирования: Том 8 часть 1, ИСП РАН, 2004.
2. Буздин К. В. Исполнение моделей при помощи виртуальной машины, Труды Института Системного Программирования: Том 8 часть 1, ИСП РАН, 2004.

За 2003 год

1. Mansurov N., Campara D. Extracting High-Level Architecture From Existing Code with Summary Models, in Proc. IASTED Conf. On Applied Informatics, Innsbruck, Austria, 2003 (to appear).

За 2002 год

1. Mansurov N. A Systematic Approach to Recovering Architecture from Existing Software, SD Expo West, San Jose, 25th April, 2002.
2. Amyot D., Mansurov N., Muessbacher G. "Understanding Existing Software with Use Case Maps", in Proc. SDL and MSC Workshop, Aberystwyth, 2002.

За 2000 год

1. Mansurov N., Campara D., Laskavaia E., Ivanov I. "Formal Data Mining and Visualization at Procedure Level", in Proc. Workshop on Formal Modeling tools (FMTOOLS-2000).

За 1998 год

1. Rajala N., Campara D., Mansurov N. inSight Reverse Engineering CASE Tool, in Proc. of the ICSE’99, Los Angeles, USA, 1998.