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


Что искать

Искать в:

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

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

Диссертации

  1. И.Б.Бурдонов. Теория конформности для функционального тестирования программных систем на основе формальных моделей. Диссертация на соискание учёной степени д.ф.-м.н., Москва, 2008.
  2. В.В.Рубанов. Автоматизация построения инструментария кросс-разработки программного обеспечения для расширяемых встраиваемых систем. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2008 г.

Монографии

  1. И.Б.Бурдонов, Косачев А.С., В.В.Кулямин. Теория соответствия для систем с блокировками и разрушением. М.: Наука. Глав. ред. физ.-мат. лит., 2008. 412 c.

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

  1. Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, А.В. Шокуров Теоретические аспекты проблемы обфускации программ. Тезисы доклада на XVII Общероссийской научно-технической конференции "Методы и технические средства обеспечения безопасности информации", С. Петербург, 7-11 июля 2008.
  2. Лизоркин Д., Велихов П., Гринёв М., Турдаков Д. Оценка точности и техники оптимизации вычисления SimRank. In proceedings of Very Large Databases Conference, VLDB, 2008.
  3. Новак Л., Гринёв М., Таранов И. Эффективная реализация выражений конструктора XQuery. SYRCoDIS 2008
  4. Гринёва М., Гринёв М., Турдаков Д., Велихов П., Болдаков А. Использование Википедии для Умной Кластеризации Тегов. In proceedings of International Workshop on “Knowledge Acquisition from the Social Web” KASW'08.
  5. Гринёв М., Лизоркин Д., Турдаков Д., Велихов П. Эффективное ранжирование и вычисление семантической близости и их применение для разрешения лексической многозначности. Technical Report, 2008.
  6. Турдаков Д., Велихов П. Мера семантической близости концепций Википедии, основанная на анализе ссылок, и её применение в задаче разрешения лексической многозначности. In proceedings of the Fifth Spring Young Researchers Colloquium on Databases and Information Systems, SYRCoDIS'2008.
  7. Калинин А. Оптимизация параллельной обработки транзакций Запись-Чтение (Write-then-Read). In proceedings of the Fifth Spring Young Researchers Colloquium on Databases and Information Systems, SYRCoDIS'2008.
  8. А.В. Никешин, Н.В. Пакулин, В.З. Шнитман Особенности тестирования сервисов безопасности сетевого уровня IPsec второй версии. Труды Всероссийской научной конференции. М.: Изд-во МГУ, 2008, стр. 468.
  9. Захаров В.А., Костылев Е.В. О сложности задачи антиунификации. Дискретная математика, 2008, том 20, № 1, с. 131-144.
  10. Захаров В.А., Щербина В.Л. Эффективные алгоритмы проверки эквивалентности программ в моделях, связанных с обработкой прерываний. Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика, 2008, № 2, с. 33-41.
  11. Захаров В.А. О проблеме эквивалентности в одном классе монадических линейных программ. Тезисы докладов 15-ой международной конференции «Проблемы теоретической кибернетики» (Казань, 2-7 июня, 2008 г.).
  12. Семенов В.А., Тарлапан О.А., Энкович И.В. Формальный подход к семантической реконсиляции. Информационные и математические технологии в науке и управлении. Труды XIII Байкальской Всероссийской конференции, в 2т. Том: 2. Издательство: ИСЭМ СО РАН, 2008. Стр. 90-97.
  13. Семенов В.А., Морозов С.В., Семенова А.В. Применение метода семантической реконсиляции к задачам коллективного управления проектами. Информационные и математические технологии в науке и управлении. Труды XIII Байкальской Всероссийской конференции, в 2 т. Том: 2. Издательство: ИСЭМ СО РАН, 2008. Стр. 97-103.
  14. М.С. Акопян Интерпретация как средство исследования динамических свойств параллельной программы на инструментальном компьютере. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики, сборник тезисов V Всероссийской межвузовской конференции молодых ученых, 2008 г., № 54, с. 166-168.
  15. В. Рубанов, К. Власов, А. Смачев. Анализ совместимости Linux приложений с различными дистрибутивами. Тезисы докладов V Конференции разработчиков свободных программ на Протве. – М.: Институт Логики, 2008.
  16. К. Власов, В. Рубанов, А. Смачев. Автоматизация анализа совместимости Linux приложений с различными дистрибутивами. Тезисы докладов конференции «Software Engineering Conference Russia 2008», Москва 2008.
  17. А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Использование абстрактных моделей для генерации тестовых данных сложной структуры. Программирование, Москва, 2008, том. 34, N 6, 341-350.
  18. А.И. Аветисян, С.С. Гайсарян, М.Д. Калугин, А.В. Теплухин Разработка параллельного алгоритма компьютерного моделирования водно-ионной оболочки ДНК. Труды XIII Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении». Часть I. - Иркутск: ИСЭМ СО РАН, 2008, с. 195-206.
  19. Аветисян Арутюн Ишханович, Бабкова Варвара Вадимовна, Калугин Михаил Дмитриевич Разработка приложений в среде ParJava. Научно-технический вестник информационных технологий, механики и оптики, т. 54,С. 139-144, 2008.
  20. A. Kamkin. Coverage-Directed Verification of Microprocessor Units Based on Contract Specifications. EWDTS 2008, pp. 84-87.
  21. А. Камкин. Комбинаторная генерация тестовых программ для микропроцессоров на основе моделей. Препринт 21, ИСП РАН, 2008.
  22. О. Л. Петренко, В. В. Кулямин. Интеграция ресурсов научных и учебных учреждений для подготовки специалистов. Труды конференции «Наука, образование, инновации» Москва, 10-12.11.2008.
  23. В. В. Кулямин. Методы верификации программного обеспечения. Конкурс обзорно-аналитических статей по направлению «Информационно-телекоммуникационные системы», 2008.
  24. A. Khoroshilov, V. Mutilin. Formal Methods for Open Source Components Certification. Milan, Italy, In Proceedings of the Second International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert’2008), 10 September 2008, pp. 52-63.
  25. В. В. Кулямин, Н. В. Пакулин, О. Л. Петренко. Единое научно-образовательное пространство СНГ — путь повышения конкурентоспособности на мировом рынке высоких технологий. Сборник трудов 5-й международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности», СПб., 2008, стр. 23-26.
  26. А.К.Петренко, О.Л.Петренко, В.В.Рубанов. Создание открытой образовательной среды на основе открытых проектов. Тезисы докладов Третьей конференции "Свободное программное обеспечение в высшей школе",Переславль Залесский, февраль 2008, стр. 12-16.
  27. А.К. Петренко. Унификация в автоматизации тестирования. Позиция UniTESK. Препринт ИСПРАН, т. 14, ч. 1, 2008, стр. 7-22.
  28. А.К. Петренко, В. В. Кулямин, О. Л. Петренко, В. В. Рубанов, А. В. Хорошилов. Подход к преподаванию ИТ на основе проектов по разработке свободного программного обеспечения. Сборник докладов всероссийской конференции “Преподавание информационных технологий в России”, Нижний Новгород, 12 13 мая 2008 г.
  29. В.В. Рубанов. Стандартизация и тестирование как составляющие обеспечения безопасности ОС Linux. Материалы XVII Общероссийской конференции «Методы и технические средства обеспечения безопасности информации», СПб.: Изд-во Политехнического университета, 2008.
  30. Денис Силаков, Владимир Рубанов. LSB Navigator - онлайн справочник для разработчиков Linux приложений. V Конференция разработчиков свободных программ на Протве. Обнинск, 2008, с.36-39.
  31. Vladimir Rubanov, Denis Silakov. Certifcation Infrastructure for the Linux Standard Base (LSB). Proceedings of the second International Workshop on Foundations and Techniques for Open Source Software Certifcation (OpenCert 2008). Milan, Italy, 2008. pp. 79-88.
  32. Р. С. Зыбин, В. В. Кулямин, А. В. Пономаренко, В. В. Рубанов, Е. С. Чернов. Автоматизация массового создания тестов работоспособности. Программирование, 34(6):64-80, 2008.
  33. Vladimir Rubanov, Nikolay Pakulin. ISE language: the ADL for Efficient Development of Cross Toolkits. Proceedings of Model Based Architecting and Construction of Embedded Systems Conference 2008, France. pp. 87-98.
  34. Denis Silakov. Linux Distributions and Applications Analysis During Linux Standard Base Development. Second Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). St. Petersburg, 2008, V.1, pp.11-18.
  35. Д.В. Силаков. Использование базы данных для принятия решений в процессе стандартизации. IX международная научно-техническая конференция "Кибернетика и высокие технологии XXI века". Воронеж, 2008. Том 1, с. 220-229.
  36. Хорошилов А.В., Силаков Д.В. Мобильность программного обеспечения в современных условиях. Сборник докладов 2-ой международной конференции “Стандартизация информационных технологий и интероперабельность”, сс. 23 27, Москва, 1 октября 2008 г.
  37. Д.В. Силаков. Создание единой системы документации для поддержки разработки приложений, удовлетворяющих стандарту LSB. Труды 51й Научной конференции МФТИ. Москва, 2008. Том 3, стр. 122-124.
  38. В. В. Кулямин, А. В. Хорошилов. Построение практикума по информационным технологиям на основе открытого программного обеспечения. Сборник докладов Третьей конференции “Свободное программное обеспечение в высшей школе”, сс. 91-94, Переславль, 2 3 февраля 2008 г.
  39. В. С. Мутилин, А. В. Хорошилов. Верификация безопасности драйверов ОС Linux. Материалы XVII Общероссийской научно-технической конференции «Методы и технические средства обеспечения безопасности информации», Санкт-Петербург, 7-11 июля 2008 г.
  40. A. Khoroshilov, V. Mutilin, V. Shcherbina, O. Strikov, S. Vinogradov, and V. Zakharov. How to Cook an Automated System for Linux Driver Verification. St. Petersburg, ISP RAS, In Proceedings of the Second Spring Young Researchers’ Colloquium on Software Engineering (SYRCoSE’2008), 2008, Vol 2, pp. 11-14.
  41. Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin. Automated Formal Testing of C API Using T2C Framework. In Proceedings of the Third International Symposium «Leveraging Applications of Formal Methods, Verification and Validation» (ISoLA 2008), Porto Sani, Greece, October 13-15, 2008. pp 56-70.
  42. Д. В. Силаков, А. В. Хорошилов. Проблема переносимости приложений – сорок лет спустя. Сборник докладов международной конференции “Software Engineering Conference (Russia)”, SEC(R)-2008, сс. 318 331, Москва, 21 25 октября 2008 г.
  43. Н.В. Пакулин. Участие учреждений РАН в проектах рамочных программ ЕС. Международная научно-практическая конференция «Инновации РАН - 2008»
  44. М.М. Чупилко. Методика генерации тестов для устройств, работающих согласно стандарту IEEE 754. Тезисы докладов научно-технической конференции студентов, аспирантов и молодых специалистов МИЭМ. - М.: МИЭМ, 2008. (стр. 85-86).
  45. Е. С. Чернов. Технология Azov автоматизации массового создания тестов работоспособности. Сборник тезисов 51-ой научной конференции МФТИ 2008.
  46. M.Chupilko, A.Kamkin, D.Vorobyev. Methodolody and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications. SYRCoSE'2008, том 2. (стр. 25-31).
  47. М.А.Потапов, Е.А.Шатохин. Некоторые методы автоматизированного анализа и управляемого преобразования программ. Автоматика и телемеханика, №8, 2008. С.176-186.
  48. E. Kornikhin. Test Data Generation for Arithmetic Subsystem of CPUs MIPS64. Proceedings of SYRCoSE'08, Volume 2, pp.43-46.
  49. A. Kossachev Automated test Generation’s Technology. Сучаснi проблеми прикладноi математики та iнформатики, Львiв, 2008, стр.98.
  50. V. Kuliamin. Test Construction for Mathematical Functions. K. Suzuki, T. Higashino, A. Ulrich, T. Hasegawa, eds. Testing of Software and Communicating Systems, proceedings of TESTCOM/FATES 2008, LNCS 5047, pp. 23-37.
  51. A.Petrenko. Formal Methods and Innovation Economy: Facing New Challenges. Proceedings of the 6th IEEE International Conference on Software Enginering and Formal Methods, Cape Town, South Africa, 10-14 November 2008.
  52. E.S. Chernov. Extension of interface signature descriptions for automatic test generation. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, Volume 2, pp. 37-42.
  53. В.П. Иванников, В.В. Кулямин. Предисловие. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 5-6.
  54. А.К. Петренко. Унификация в автоматизации тестирования. Позиция UniTESK. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 7-22.
  55. И.Б. Бурдонов, А.С. Косачев. Системы с приоритетами: конформность, тестирование, композиция. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 23-54.
  56. И.Б. Бурдонов, А.С. Косачев. Эквивалентные семантики взаимодействия. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 55-72.
  57. В.С. Мутилин. Многопоточное тестирование программных интерфейсов. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 73-88.
  58. В.В. Кулямин. Критерии тестового покрытия, основанные на структуре контрактных спецификаций. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 89-108.
  59. С.В. Зеленов, С.А. Зеленова. Автоматическое определение выполнимости наборов формул для операций сравнения. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 109-118.
  60. А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генератор сложных данных Pinery: реализация новых возможностей UniTESK. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 119-136.
  61. С.Г. Грошев. Локализация ошибок методом сокращенного воспроизведения трассы. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 137-160.
  62. Е.С. Чернов, В. В. Кулямин. Тестирование современных библиотек тригонометрических функций. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 161-178.
  63. В.П. Иванников, В.В. Кулямин. Предисловие. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 5-6.
  64. А.C. Камкин, М.M. Чупилко. Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 7-22.
  65. А.С. Камкин. Генерация тестовых программ для микропроцессоров. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 23-64.
  66. В.В. Рубанов, А.В. Хорошилов, Е.А. Шатохин. T2C: технология автоматизированной разработки тестов базовой функциональности программных интерфейсов. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 65-82.
  67. Р.С. Зыбин, В.В. Кулямин, А.В. Пономаренко, В.В. Рубанов, Е.С. Чернов. Технология Azov автоматизации массового создания тестов работоспособности. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 83-108.
  68. Р.С. Зыбин, А.В. Пономаренко, В.В. Рубанов, Е.С. Чернов. Расширение описаний сигнатур операций для автоматической генерации тестов. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 109-128.
  69. А.В. Пономаренко, Е.С. Чернов. Алгоритм генерации тестов работоспособности на основе расширенной базы данных LSB. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 129-142.
  70. Р.С. Зыбин. Опыт применения технологии Azov для тестирования библиотеки Qt3. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 143-158.
  71. Д.В. Силаков. Автоматизация тестирования web-приложений, основанных на скриптовых языках. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 159-178.
  72. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 5-6.
  73. В.В. Рубанов. Обзор методов описания встраиваемой аппаратуры и построения инструментария кросс-разработки. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 7-40.
  74. А. К. Петренко, О. Л. Петренко, В. В. Кулямин. Роль научных организаций в подготовке ИТ- специалистов. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 41-49.
  75. В.В. Липаев. Проблемы экономики производства крупных программных продуктов. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 51-68.
  76. И.Б. Бурдонов, А.С. Косачев. Обобщённые семантики тестового взаимодействия. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 69-105.
  77. Е.В. Корныхин. Генерация тестовых данных для тестирования арифметических операций центральных процессоров. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 107-117.
  78. К.Н. Долгова, А.В. Чернов. О некоторых задачах обратной инженерии. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 119-134.
  79. П.Н. Яковенко, А.В. Сапожников. Подход к реализации переносимого TTCN-3 отладчика. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 135-151.
  80. Д.А. Лизоркин. Язык модификации данных формата XML функциональными методами. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 153-180.
  81. В.А. Семенов, С.В. Морозов, О.А. Тарлапан, И.В. Энкович. Нечеткое сравнение коллекций: семантический и алгоритмический аспекты. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 181-209.

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