Институт системного программирования Роcсийской академии наук


Что искать

Искать в:

Публикации
Труды ИСП РАН
Везде

Публикации за 2005 год

  1. Новак Л., Замулин А. Формальная модель языка XML Schema. Proceedings of XSDM, 2005.
  2. Новак Л., Замулин А. Алгебраическая семантика языка XML SCHEMA. Proceedings of ADBIS, 2005.
  3. Гринёв М., Плешачков П. Оптимизация трансформационных запросов XQuery с использованием правил перезаписи. 9th International Database Engineering & Application Symposium (IDEAS 2005). pp. 163-174.
  4. Плешачков П., Чардин П., Кузнецов С. XDGL: протокол управления параллелизмом XML данных на базе XPath. 22nd British National Conference on Databases (BNCOD'2005), LNCS 3567, pp. 145-154, 2005.
  5. Плешачков П., Чардин П., Кузнецов С. Протокол управления параллелизмом взаимодействия на XML данных с использованием DataGuide. 9th East-European Conference on Advances in Databases and Information Systems (ADBIS'2005).
  6. Рекуц М. Включение обработки активных правил в выполнение обновлений в системах XML-баз данных. Database and Expert Systems Applications, 2005. Proceedings. Sixteenth International Workshop on, pp. 831-836.
  7. Рекуц М., Гринёв М. Поддержка триггеров в системах XML-баз данных. SYRCoDIS, 2005.
  8. Ключников Г.В., Пакулин Н.В., Шнитман В.З. Автоматизированное тестирование сетевых сервисов Интернет-протокола. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", Изд-во МГУ, 2005, стр.168-170.
  9. Захаров В.А., Костылев Е.В. Об одном обобщении подстановки применительно к задаче статического анализа программ. Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика, 2005, том 4, с. 39-45.
  10. Захаров В.А., Коннов И.В. Об одном подходе к верификации симметрических параметризованных распределенных систем. Программирование, 2005, № 5, с. 24-36.
  11. Варновский Н.П., Захаров В.А., Кузюрин Н.Н. Математические проблемы обфускации. Математика и безопасность информационных технологий. Материалы конференции в МГУ 28-29 октября 2004 г., 2005, МЦНМО, с. 65-91.
  12. Захаров В.А., Захарьящев И.М., Подловченко Р.И., Русаков Д.М., Щербина В.Л. О возможности применения быстрых алгоритмов проверки эквивалентности программ для обнаружения вирусов. Труды второй всероссийской конференции «Методы и средства обработки информации», 2005, Изд-во ф-та ВМК МГУ Москва, с. 414-421.
  13. Захаров В.А., Корчевский А.А. О формальной верификации криптографических протоколов с использованием spi-исчисления. Труды второй всероссийской конференции «Методы и средства обработки информации», 2005, Изд-во ф-та ВМК МГУ Москва, с. 373-379.
  14. Захаров В.А., Коннов И.В. Об одном подходе к верификации асинхронных параметризованных систем. Труды второй всероссийской конференции «Методы и средства обработки информации», 2005, Изд-во ф-та ВМК МГУ Москва, с. 367-373.
  15. С.В.Зеленов, С.А.Зеленова. Генерация позитивных и негативных тестов для парсеров. Программирование, Вып.31, №6, 2005, стр. 25-40.
  16. В.В.Кулямин. Построение тестовых последовательностей при минимуме информации о тестируемой системе. Программирование, Вып.31, №6, 2005, стр. 13-24.
  17. А.С.Косачев, М.А.Посыпкин. Обзор методов тестирования компиляторов. Программирование, №1, 2005, стр. 15-28.
  18. В.П.Иванников, А.С.Камкин, В.В.Кулямин, А.К.Петренко. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения. Препринт Института системного программирования РАН, №8, 2005.
  19. V.V.Kuliamin, V.A.Omelchenko, O.L.Petrenko. Active Learning Facilitates Success of Formal Methods in Practice. Formal Methods: Challenges in the business world. Proc. of 2-nd SEEFM, Ohrid, Macedonia, 18-19 Nov 2005, pp.132-141, SEERC, 2005.
  20. V.Kuliamin, A.Petrenko, N.Pakoulin. Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software. Proc. of 9-th WMSCI, Orlando, USA, July 2005, v. VII. Model Based Development and Testing, pp. 65-70.
  21. V.Kuliamin, A.Petrenko, N.Pakoulin. Practical Approach to Specification and Conformance Testing of Distributed Network Applications. Proc. of 2-nd ISAS 2005, Berlin, Germany, April 2005, pp. 60-73 M. Malek, E. Nett, N. Suri, eds. Service Availability. LNCS 3694, pp. 68-83, Springer-Verlag, 2005.
  22. Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А. Семантическая верификация прикладных объектно-ориентированных данных: реализация и анализ. Методы и средства обработки информации: Труды второй Всероссийской научной конференции. Издательство: Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, 2005. Стр. 435-441.
  23. В.А. Семенов Программа по курсу «Научная визуализация». Издательство: Издательский сектор оперативной полиграфии МФТИ, 2005. Страницы 8 с.
  24. Семенов В.А. Открытая система для математического моделирования и научной визуализации. Учебно-методическое пособие. Издательство: Издательский сектор оперативной полиграфии МФТИ, 2005. Страницы 36 с.

Вернуться к списку всех публикаций