- Новак Л., Замулин А. Формальная модель языка XML Schema. Proceedings of XSDM, 2005.
- Новак Л., Замулин А. Алгебраическая семантика языка XML SCHEMA. Proceedings of ADBIS, 2005.
- Гринёв М., Плешачков П. Оптимизация трансформационных запросов XQuery с использованием правил перезаписи. 9th International Database Engineering & Application Symposium (IDEAS 2005). pp. 163-174.
- Плешачков П., Чардин П., Кузнецов С. XDGL: протокол управления параллелизмом XML данных на базе XPath. 22nd British National Conference on Databases (BNCOD'2005), LNCS 3567, pp. 145-154, 2005.
- Плешачков П., Чардин П., Кузнецов С. Протокол управления параллелизмом взаимодействия на XML данных с использованием DataGuide. 9th East-European Conference on Advances in Databases and Information Systems (ADBIS'2005).
- Рекуц М. Включение обработки активных правил в выполнение обновлений в системах XML-баз данных. Database and Expert Systems Applications, 2005. Proceedings. Sixteenth International Workshop on, pp. 831-836.
- Рекуц М., Гринёв М. Поддержка триггеров в системах XML-баз данных. SYRCoDIS, 2005.
- Ключников Г.В., Пакулин Н.В., Шнитман В.З. Автоматизированное тестирование сетевых сервисов Интернет-протокола. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", Изд-во МГУ, 2005, стр.168-170.
- Захаров В.А., Костылев Е.В. Об одном обобщении подстановки применительно к задаче статического анализа программ. Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика, 2005, том 4, с. 39-45.
- Захаров В.А., Коннов И.В. Об одном подходе к верификации симметрических параметризованных распределенных систем. Программирование, 2005, № 5, с. 24-36.
- Варновский Н.П., Захаров В.А., Кузюрин Н.Н. Математические проблемы обфускации. Математика и безопасность информационных технологий. Материалы конференции в МГУ 28-29 октября 2004 г., 2005, МЦНМО, с. 65-91.
- Захаров В.А., Захарьящев И.М., Подловченко Р.И., Русаков Д.М., Щербина В.Л. О возможности применения быстрых алгоритмов проверки эквивалентности программ для обнаружения вирусов. Труды второй всероссийской конференции «Методы и средства обработки информации», 2005, Изд-во ф-та ВМК МГУ Москва, с. 414-421.
- Захаров В.А., Корчевский А.А. О формальной верификации криптографических протоколов с использованием spi-исчисления. Труды второй всероссийской конференции «Методы и средства обработки информации», 2005, Изд-во ф-та ВМК МГУ Москва, с. 373-379.
- Захаров В.А., Коннов И.В. Об одном подходе к верификации асинхронных параметризованных систем. Труды второй всероссийской конференции «Методы и средства обработки информации», 2005, Изд-во ф-та ВМК МГУ Москва, с. 367-373.
- С.В.Зеленов, С.А.Зеленова. Генерация позитивных и негативных тестов для парсеров. Программирование, Вып.31, №6, 2005, стр. 25-40.
- В.В.Кулямин. Построение тестовых последовательностей при минимуме информации о тестируемой системе. Программирование, Вып.31, №6, 2005, стр. 13-24.
- А.С.Косачев, М.А.Посыпкин. Обзор методов тестирования компиляторов. Программирование, №1, 2005, стр. 15-28.
- В.П.Иванников, А.С.Камкин, В.В.Кулямин, А.К.Петренко. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения. Препринт Института системного программирования РАН, №8, 2005.
- 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.
- 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.
- 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.
- Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А. Семантическая верификация прикладных объектно-ориентированных данных: реализация и анализ. Методы и средства обработки информации: Труды второй Всероссийской научной конференции. Издательство: Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, 2005. Стр. 435-441.
- В.А. Семенов Программа по курсу «Научная визуализация». Издательство: Издательский сектор оперативной полиграфии МФТИ, 2005. Страницы 8 с.
- Семенов В.А. Открытая система для математического моделирования и научной визуализации. Учебно-методическое пособие. Издательство: Издательский сектор оперативной полиграфии МФТИ, 2005. Страницы 36 с.
Вернуться к списку всех публикаций