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


Что искать

Искать в:

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

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

Диссертации

  1. Плешачков П. Методы управления транзакциями в XML-ориентированных СУБД. Диссертация на соискание учёной степени к. ф.-м. н., Институт Системного Программирования РАН, 2006.
  2. А.В.Хорошилов. Спецификация и тестирование компонентов с асинхронным интерфейсом. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2006 г.
  3. Н.В.Пакулин. Формализация стандартов и тестовых наборов протоколов интернета. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2006 г.
  4. М.В.Архипова. Автоматическая генерация тестов для семантических анализаторов трансляторов. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2006 г.
  5. А.В.Демаков. Объектно-ориентированное описание графового представления программ и моделей. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2006 г.

Другие публикации

  1. Болдаков А., Гринёв М., Лисовский К. XQuery, XSLT, и OmniMark: работа со смешанным содержимым. O'Reilly xml.com, December 06, 2006.
  2. Болдаков А.А., Гринёв М.Н. Трансформация XML данных через средства модификации без побочных эффектов. Программирование, 2006, № 5, стр. 21-39.
  3. Азнаурян Н.А., Кузнецов С.Д., Новак Л.Г., Гринёв М.Н. SLS: нумерующая схема для больших XML-документов. Программирование, 2006, №1, стр. 12-25.
  4. Рекуц М., Гринёв М., Болдаков А. Метод реализации для XQuery операции трансформации с использованием теневого механизма. DEXA 2006 Workshop XANTEC'2006.
  5. Плешачков П. Управление транзакциями для XML, хранимых в Реляционных Системах Баз Данных. BNCOD 2006 PhD Workshop, Belfast, Northern Ireland.
  6. Плешачков П., Кузнецов С. Управление транзакциями в РСУБД с поддержкой XML. Программирование, 2006, № 5, стр. 3-20.
  7. Фомичёв А., Гринёв М., Кузнецов С. Sedna: прирождённая XML СУБД. In Proc. of SOFSEM 2006, pp. 272-281.
  8. Новак Л., Замулин А. XML-алгебра для XQuery. In proc. of ADBIS 2006, 4-21.
  9. Щеклейн И., Фомичёв А. XQuery для потоков (XQS): проектирование расширений XQuery потоков. SYRCoDIS 2006.
  10. Болдаков А., Гринёв М. Расширение языка XQuery функциональными update-выражениями. Препринт ИСП РАН, 2006.
  11. Н.В. Пакулин, В.З. Шнитман Валидация транспортной подсистемы распределённого приложения. Труды Всероссийской научной конференции. М.: Изд-во МГУ, 2006, стр. 75-79.
  12. И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко, В.З. Шнитман Обзор подходов к верификации распределенных систем. Препринт 16. М.: ИСП РАН, 2006, стр. 61.
  13. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. К вопросу об обфускации конечных автоматов. Материалы IX международной конференции «Интеллектуальные системы и компьютерные науки» (23-27 октября 2006 г.), 2006, Изд-во механико-математического ф-та МГУ Москва, том 1, с. 127-130.
  14. А.В.Демаков. TreeDL: язык описания графовых структур данных и операций над ними. Вычислительные методы и программирование, Том 7, 2006.
  15. А.С.Косачев, В.Н.Пономаренко. Анализ подходов к верификации функций безопасности и мобильности. Препринт Института системного программирования РАН, № 15, 2006.
  16. И.Б.Бурдонов, А.С.Косачев, В.Н.Пономаренко. Операционные системы реального времени. Препринт Института системного программирования РАН, № 14, 2006.
  17. В.В.Кулямин, Н.В.Пакулин, О.Л.Петренко, А.А.Сортов, А.В.Хорошилов. Формализация требований на практике. Препринт Института системного программирования РАН, №13, 2006.
  18. А.В. Хорошилов. Спецификация и тестирование систем с асинхронным интерфейсом. Препринт Института системного программирования РАН, №12, 2006.
  19. А.В. Хорошилов. Linux Standard Base: история успеха? Препринт Института системного программирования РАН, №10, 2006.
  20. A.Grinevich, A.Khoroshilov, V.Kuliamin, D.Markovtsev, A.Petrenko, V.Rubanov. Formal Methods in Industrial Software Standards Enforcement. Proc. of PSI'2006, Novosibirsk, Russia, June 2006.
  21. I.B.Bourdonov, A.S.Kossatchev, V.V.Kuliamin. Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. Proceedings of the Workshop on Model Based Testing (MBT 2004), Elsevier, 2006.
  22. S.Zelenov, S.Zelenova. Automated Generation of Positive and Negative Tests for Parsers. Proc. of the 5th Int. Workshop on Formal Approaches to Testing of Software (FATES 2005), LNCS 3997, Springer-Verlag, Berlin, 2006, 187-202.
  23. S.Zelenov, D.Silakov, A.K.Petrenko, M.Conrad, I.Fey. Automatic Test Generation for Model-Based code Generators. IEEE ISoLA 2006 Second Intern.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, 2006, pp. 68-75.
  24. V.Mutilin. Concurrent Testing of Java Components Using Java PathFinder. IEEE ISoLA 2006 Second Intern.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, 2006, pp. 45-51.
  25. Семенов В.А., Ерошкин С.Г., Караулов А.А. Семантический подход к оптимистической репликации прикладных информационных моделей на основе UML. Материалы XXXIII международной конференции, IV международной конференции молодых ученых "Информационные технологии в науке, образовании, телекоммуникации и бизнесе" IT+S&E'06, майская сессия, Украина, Крым, Ялта-Гурзуф, 20-30 мая 2006 г. Издательство: Издательство Запорожского национального университета, 2006. Стр.425-426.
  26. Семенов В.А., Морозов С.В., Тарлапан О.А., Шарыкин А.С. Парадигма ограничений в языках объектно-ориентированного моделирования. Материалы XXXIII международной конференции, IV международной конференции молодых ученых "Информационные технологии в науке, образовании, телекоммуникации и бизнесе" IT+S&E'06, майская сессия, Украина, Крым, Ялта-Гурзуф, 20-30 мая 2006 г. Издательство: Издательство Запорожского национального университета, 2006. Стр. 427-428.
  27. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 5-6.
  28. А. Белеванцев, М. Кувырков, Д. Мельник. Использование параллелизма на уровне команд в компиляторе для Intel Itanium. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 9-22.
  29. П.М. Довгалюк. Разреженная модель базовых блоков для оптимизации потоков команд. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 23-28.
  30. С.С. Гайсарян, К.Н. Долгова. Разработка системной поддержки вызова программ, реализованных на языке Fortran, из среды Java. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 29-42.
  31. П.В. Бойко. Метод виртуального процессора в защите программного обеспечения. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 43-50.
  32. В.С. Несов, О.Р. Маликов. Использование информации о линейных зависимостях для обнаружения уязвимостей в исходном коде программ. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 51-56.
  33. М.А. Владимиров. Критерии полноты тестового покрытия в генетических алгоритмах генерации тестов. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 57-66.
  34. С.Г. Грошев. Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 67-82.
  35. А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генерация тестовых данных сложной структуры с учетом контекстных ограничений. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 83-96.
  36. В.С. Мутилин. Паттерны проектирования тестовых сценариев. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 97-128.
  37. С.В. Зеленов, Д.В. Силаков. Автоматическая генерация тестовых данных для оптимизаторов графических моделей. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 129-142.
  38. В.В. Рубанов, А.С. Михеев. Интегрированная среда описания системы команд встраиваемых процессоров. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 143-158.
  39. Ю. Фонин. Использование языков описания процессоров высокого уровня для генерации платформо-зависимых частей операционной системы. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 159-170.
  40. Е.Д. Волкова, А.Д. Страбыкин. Анализ и трансформации исполняемых UML моделей. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 171-192.
  41. А. Волков. Использование ролей в сценариях взаимодействия. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 193-222.
  42. Г.Т. Маракаева. Применение методов выявления закономерностей для классификации химических соединений. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 223-236.
  43. В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Формирование профессиональных компетенций современного разработчика ПО. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 237-250.
  44. В.П. Иванников, В.В. Кулямин. Предисловие. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 5-8.
  45. А.И. Гриневич, Д.А. Марковцев, В.В. Рубанов. Проблемы совместимости Linux-систем. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 15-28.
  46. А.В. Хорошилов. Linux Standard Base: история успеха? Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 29-50.
  47. А.И. Гриневич, В.В. Кулямин, Д.А. Марковцев, А.К. Петренко, В.В. Рубанов, А.В. Хорошилов. Использование формальных методов для обеспечения соблюдения программных стандартов. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 51-68.
  48. В.В. Кулямин. Формальные подходы к тестированию математических функций. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 69-114.
  49. А.В. Пономаренко. Разработка модельной реализации функций Бесселя из стандарта LSB. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 115-142.
  50. А.С. Камкин. Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 143-166.
  51. А.Р.Арутюнян. Сравнение эффективности обходчиков UniTESK. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 167-180.
  52. В.П.Иванников, А.К. Петренко. Задачи верификации ОС Linux в контексте ее использования в государственном секторе. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 9-14.
  53. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 5-8.
  54. С.И. Алейников, А.О. Богатов. Защита программ от дизассемблирования. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 9-16.
  55. Николай Вяххи, Анатолий Коваль. Архитектурный подход к защите программ. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 17-26.
  56. Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, А.В. Чернов, А.В. Шокуров. Об особенностях применения методов обфускации программ для информационной защиты микроэлектронных схем. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 27-60.
  57. В.А. Захаров, К.С. Иванов. О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 61-82.
  58. Andrey Belevantsev, Oleg Malikov. Using data flow analysis for detecting security vulnerabilities. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 83-98.
  59. Yury Lifshits. Guaranteed Slowdown, Generalized Encryption Scheme, and Function Sharing. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 99-108.
  60. Rimma Podlovchenko, Dmitry Rusakov, Vladimir Zakharov. The equivalence problem for programs with mode switching is PSPACE-complete. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 109-128.

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