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


Что искать

Искать в:

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

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

Монографии

  1. И.Б. Бурдонов. Теория конформности (функциональное тестирование программных систем на основе формальных моделей). LAP Lambert Academic Publishing, 2011.
  2. Игорь Бурдонов, Александр Косачев. Удаление из спецификации неконформных трасс. Препринты Института системного программирования РАН, Препринт 23, 2011 г., стр. 1-219.

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

  1. Бурдонов И.Б., Косачев А.С. Пополнение спецификации для ioco. Программирование. № 1.
  2. Бурдонов И.Б., Грошев С.Г., Демаков А.В., Камкин А.С., Косачев А.С., Сортов А.А. Параллельное тестирование больших автоматных моделей. Вестник ННГУ, №3, 2011 г., стр. 187-193.
  3. B. Bourdonov, V. P. Ivannikov, A.S.Kosachev, S. D. Kuznetsov A. N. Tomilin Operating System of the Multi-machine Computer AS-6. Perspectives on Soviet and Russian Computing. IFIP Advances in Information and Communication Technology, 2011, Volume 357/2011, pp. 31-35.
  4. Третьяков А.В. Автоматизация составления расписаний для систем реального времени. Труды 54-й научной конференции МФТИ "Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе". Управление и прикладная математика. Т.2 - М.: МФТИ, 2011, с. 70-71.
  5. А.Н. Тугаенко. Метод тестирования соответствия для расширяемых протоколов сети Интернет. Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2011».
  6. N. Pakulin, A. Tugaenko. Model Based Conformance Testing for Extensible Internet Protocols. Proceedings of SYRCoSE 2011.
  7. A. Demakov, A. Kamkin, A. Sortov. High-Performance Testing: Parallelizing Functional Tests for Computer Systems Using Distributed Graph Exploration. Open Cirrus, 2011.
  8. Д.В. Ефремов. Защита конфеденциальности приложений, работающих под управлением недоверенной операционной системы Сборник научных трудов конференции по актуальным проблемам системной и программной инженерии, Москва, 2011, с. 160-168.
  9. A. Kamkin. Simulation-Based Verification with Time-Abstract Models. Design & Test Symposium (EWDTS), 2011 9th East-West, 43-47.
  10. M. Chupilko, A. Kamkin. A TLM-based approach to functional verification of hardware components at different abstraction levels. Test Workshop (LATW), 2011 12th Latin American, 1-6.
  11. А. Камкин, М. Чупилко. Обзор современных технологий имитационной верификации аппаратуры. Программирование. №3, стр. 42-49, 2011.
  12. M.Chupilko. Developing test systems for multi-modules hardware designs. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 111-116.
  13. M.Chupilko. C++TESK-SystemVerilog united approach to simulation-based verification of hardware designs. EWDTS-2011.
  14. A. Kamkin, E. Kornikhin, D. Vorobyev. Reconfigurable Model-Based Test Program Generator for Microprocessors. A-MOST, 2011.
  15. Vladimir V. Rubanov, Eugene A. Shatokhin. Runtime Verification of Linux Kernel Modules Based on Call Interception. Proc. of the Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST'11), pp. 180-189. Berlin, Germany, March 2011.
  16. В.А. Мартиросян, В.В. Рубанов, Е.А. Шатохин. Основы программирования в среде ОС Linux: учеб. пособие. М.: ИСП РАН; МФТИ, 2011.
  17. В.В. Кулямин, А.А. Петухов. Обзор методов построения покрывающих наборов. Программирование, 2011, №3, с. 3-41.
  18. И.Б.Бурдонов, В.П.Иванников, А.С.Косачев. Проект КЛАСТОС. Труды Sorucom-2011. Великий Новгород, 12–16 сентября, 2011.
  19. Khoroshilov A., Mutilin V., Novikov E., Shved P., Strakh A. Towards an Open Framework for C Verification Tools Benchmarking. In Proceedings of the Eighth International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» (PSI 2011), 82-91, Novosibirsk, Russia, June 27 - July 1, 2011.
  20. A.V.Khoroshilov, A.K.Petrenko. Model Based Testing in LSB Compliance Program. MBT User Conference, Berlin, October 18-20th, 2011.
  21. В. Рубанов, Д. Силаков, А. Хорошилов. Программы поддержки студентов и аспирантов для работы в открытых проектах. Сборник докладов Шестой конференции “Свободное программное обеспечение в высшей школе”, сс. 10-14, г. Переславль-Залесский, 29-30 января 2011 г.
  22. Alexey Khoroshilov, Igor Koverninskiy, Alexander Petrenko, Alexender Ugnenko. Integrating AADL-based Tool Chain into Existing Industrial Processes. In Proceedings of 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2011), pp. 367-371, ISBN: 978-1-61284-853-2, Las Vegas, USA, April 27-29, 2011.
  23. О. Л. Петренко, А. В. Хорошилов. Современные образовательные технологии в преподавании ИТ-дисциплин. Сборник докладов 9-ой всероссийской конференции “Преподавание информационных технологий в России”, Саратов, 15 17 мая 2011 г.
  24. O. Khorevsky, A. Khoroshilov, A. Ugnenko, S. Zelenov. Configurable AFDX network simulation. In Proceedings of the International Space System Engineering Conference DASIA-2011, pp. 31-34, San Anton, Malta, May 17-20, 2011.
  25. Евгений Новиков, Алексей Хорошилов. Реализация аспектно-ориентированного программирования для языка Си. Сборник докладов Восьмой конференции разработчиков свободных программ, с. 23-27, Обнинск, 25-26 июля 2011 г.
  26. Е.М. Новиков. Упрощение анализа трасс ошибок инструментов статического анализа кода. АПСПИ, 2011.
  27. E.M. Novikov. One Approach to Aspect-Oriented Programming Implementation for the C programming language. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 74-81.
  28. Д. В.Силаков, А. В. Хорошилов. Методы обеспечения переносимости ПО. Программирование, Том 37, 2011, №1 сс. 57-66.
  29. V.N. Fedotov. Fuzzy Matching for Partial XML Merge. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 42-44.
  30. V. Kuliamin, N. Pakulin, A. Tugaenko. Case Studies of Summer Model-based Testing Framework. Model-based Testing User Conference, October 18-20, 2011.
  31. P. Shved, V. Mutilin, M. Mandrykin. Static Verification Under The Hood: Implementation Details and Improvements of BLAST. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 54-60.
  32. Vadim Mutilin, Evgeniy Gerlits, Vladimir Fedotov. Analysis of Complex Data Structures with PEX. SSSEV, 2011.
  33. I.B.Bourdonov, A.S.Kossatchev. Safe simulation testing of systems with refusals and destructions. Automatic Control and Computer Sciences, Vol. 45, №7, 2011, pp. 380-389.
  34. И.Б.Бурдонов, А.С.Косачев. Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 2. Условия конечного полного тестирования Вестник Томского Государственного Университета, № 2(15), 2011.
  35. В.П. Иванников, А.К. Петренко. Модели в разработке и анализе программных систем. Ломоносовские чтения, 2011.
  36. Буздалов Д. В. Использование моделей при тестировании многопоточных программ. Сборник научных трудов конференции по актуальным проблемам системной и программной инженерии, Москва, 2011
  37. Гринёва М., Гринёв М., Лизоркин Д., Болдаков А., Турдаков Д., Сысоев А., Кийко А. Blognoon: Система для исследовательского поиска по блогосфере. WWW ’11: Proceedings of the 20th international conference companion on World wide web, Hyderabad, India, pp. 213-216.
  38. Иванников В., Турдаков Д., Недумов Я. Система для быстрого аннотирования текстов с помощью открытых данных, связанных ссылками. Eighth International Conference on Computer Science and Information Technologies 26 - 30 September, 2011, Yerevan, Armenia.
  39. Коршунов А., Турдаков Д., Джеонг Дж., Ли М., Мун Ч. Категорийный подход к выделению связанных с предметной областью подмножеств Википедии. Proceedings of SYRCoDIS'11: The Seventh Spring Researchers Colloquium on Databases and Information Systems, 2011, pp. 43-53.
  40. Бартунов С., Болдаков А., Турдаков Д. WikifyMe: Разработка тестовой площадки для Викификаторов. Труды SYRCoDIS'11: Седьмой весенний коллоквиум моложых исследователей в области баз данный и нформационных систем, 2011, стр. 38-42.
  41. Астраханцев Н. Извлечение объектов и их атрибутов из таблиц текстовых документов. Proceedings of SYRCoDIS'11: The Seventh Spring Researchers Colloquium on Databases and Information Systems, 2011, pp. 34-47.
  42. Захаров В.А., Подымов В.В. О двухленточных машинах, описывающих полугруппы с сокращением. Материалы 16-й Международной конференции «Проблемы теоретической кибернетики», Нижний Новгород, 20-25 июня 2011, 2011, Нижегородский государственный университет Нижний Новгород, с. 372-375.
  43. Захаров В.А., Новикова Т.А. О применении антиунификации подстановок для проверки эквивалентности программ. Материалы 16-й Международной конференции «Проблемы теоретической кибернетики», Нижний Новгород, 20-25 июня 2011, 2011, Нижегородский государственный университет, с. 340-343.
  44. Захаров В.А. О проблеме эквивалентности потоковых программ. Труды Второй Международной научно-технической конференции «Компьютерные методы и технологии», Белгород, 3-6 октября 2011, 2011, Белгородский государственный университет Белгород, с. 34-37.
  45. Ильин Д.В., Морозов С.В., Семенов В.А. О проблеме кардинальности в объектно-ориентированных моделях. Информационные и математические технологии в науке и управлении. Труды XVI Байкальской Всероссийской конференции, в 3 т. Том: 3. Издательство: ИСЭМ СО РАН, 2011. Стр. 158-163.
  46. В.А. Падарян, М.А. Соловьев, А.И. Кононов. Моделирование операционной семантики машинных инструкций. Журнал "Программирование", №3, 2011.
  47. А.И. Аветисян, А.И. Гетьман, В.А. Падарян, М.А. Соловьев, А.Ю. Тихонов. Возможности среды анализа бинарного кода ТРАЛ и актуальные направления её развития. Материалы 20-ой научно-технической конференции «Методы и технические средства обеспечения безопасности информации», 2011.
  48. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 5-8.
  49. А.Ю.Тихонов, А.И. Аветисян. Развитие taint-анализа для решения задачи поиска программных закладок. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 9-24.
  50. Д.В. Силаков. Использование аппаратной виртуализации в контексте информационной безопасности. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 25-36.
  51. К. Батузов, А. Меркулов. Оптимизация динамической двоичной трансляции. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 37-50.
  52. С.В. Сыромятников. Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 51-68.
  53. Л.В. Дворянский. О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 71-94.
  54. В.В. Липаев. Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 95-110.
  55. С.В. Зеленов. Планирование строго периодических задач в системах реального времени. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 113-122.
  56. Н.В. Пакулин, А.Н. Тугаенко. Тестирование протоколов электронной почты Интернета с использованием моделей. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 125-141.
  57. А.C. Камкин, М.M. Чупилко. Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 143-160.
  58. В.С. Мутилин, Е.М. Новиков, А.В. Страх, А.В. Хорошилов, П.Е. Швед. Архитектура Linux Driver Verification. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 163-187.
  59. С.Д. Кузнецов. Транзакционные параллельные СУБД: новая волна. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 189-251.
  60. Е.А. Костычев, В.А. Омельченко, С.В. Зеленов. Нацеленная генерация данных для тестирования приложений над базами данных. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 253-268.
  61. А.В. Коршунов. Извлечение ключевых терминов из сообщений микроблогов с помощью Википедии. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 269-282.
  62. И.С. Таранов. Использование префиксного дерева для хранения и поиска строк во внешней памяти. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 283-296.
  63. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. I-V
  64. Андрей Белеванцев, Алексей Кравец, Александр Монаков. Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 5-22.
  65. Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов. Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 23-38.
  66. Арутюн Аветисян, Алексей Бородин. Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 39-54.
  67. И.К. Исаев, Д.В. Сидоров, А.Ю. Герасимов, М.К. Ермаков. Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах, использующих сетевые сокеты. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 55-70.
  68. А.И. Аветисян, К. Ю. Долгорукова; Ш. Ф. Курмангалеев. Динамическое профилирование программы для системы LLVM. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 71-82.
  69. А.И. Аветисян, М.С. Акопян, С.С. Гайсарян. Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 83-102.
  70. Дмитрий Мельник, Александр Монаков, Арутюн Аветисян. Поддержка команд с условным выполнением в селективном планировщике команд. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 103-118.
  71. М.А. Климушенкова, В.А. Макаров. Метод автоматического восстановления переменных из трассы исполнения программы. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 119-122.
  72. Павел Довгалюк. Детерминированное воспроизведение процесса выполнения программ в виртуальной машине. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 123-132.
  73. П.А. Клеменков. Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 133-140.
  74. В.А. Захаров, Т.А. Новикова. Применение алгебры подстановок для унификации программ. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 141-166.
  75. В.В. Липаев. Риски проектирования и производства мобильных программных продуктов. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 167-182.
  76. И.В. Блудов. Решение проблемы NULL в запросах к реляционной базе данных на основе использования операторов реляционной алгебры A. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 183-204.
  77. А. Эльдарханов. Обзор моделей данных объектно-ориентированных СУБД. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 205-226.
  78. Д.Н. Василик. Оценка производительности протокола Snapshot Isolation. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 227-244.
  79. К.К. Смирнов, Г.А. Чернышев. Экспериментальное исследование параллельного исполнения SQL запросов. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 245-262.
  80. Р.М. Миниахметов. Интеграция алгоритма кластеризации Fuzzy c-Means в PostgreSQL. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 263-276.
  81. А.С. Павлов, Б.В. Добров. Обнаружение поискового спама в Вебе на основе анализа разнообразия текстов. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 277-296.
  82. Никита Астраханцев. Извлечение объектов и их атрибутов из таблиц текстовых документов. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 297-310.
  83. С.О. Бартунов, А.А. Болдаков, Д.Ю. Турдаков. WikifyMe: создание модели сравнения для викификаторов. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 311-322.
  84. А.В. Коршунов, Д.Ю. Турдаков, Чингук Чонг, Минхо Ли, Чансунг Мун. Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 323-348.
  85. Мартин Давтян. Эвристическое моделирование данных в информационных системах. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 349-356.
  86. К.С. Пан. Разработка параллельной СУБД на основе PostgreSQL. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 357-370.

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