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


Что искать

Искать в:

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

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

Диссертации

  1. А.С. Камкин. Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2009 г.

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

  1. Гринёва М., Гринёв М., Болдаков А., Новак Л., Сысоев А., Лизоркин Д. Просеивание микроблогового потока на предмет событий, отвечающих интересу пользователя. SIGIR 2009.
  2. Турдаков Д., Лизоркин Д. СММ расширенная Множественными Перемежающимися Цепями как модель для разрешения лексической многозначности. PACLIC 2009: The 23rd Pacific Asia Conference on Language, Information and Computations.
  3. Турдаков Д. Устранение лексической многозначности терминов Википедии на основе Скрытой Модели Маркова. Труды 11-й Всероссийской научной конференции «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» - RCDL’2009, Петрозаводск, Россия, 2009.
  4. Гринёва М., Гринёв М., Лизоркин Д. Извлечение ключевых терминов из зашумлённых или освещающих несколько тем документов. WWW2009: 18th International World Wide Web Conference.
  5. Лизоркин Д., Меделян О., Гринёва М. Анализ структуры сообществ в Википедии (постер). WWW2009: 18th International World Wide Web Conference.
  6. Гринёва М., Гринёв М., Лизоркин Д. Эффективное извлечение из текста тематически сгруппированных ключевых терминов. AAAI-SSS-09: Social Semantic Web: Where Web 2.0 Meets Web 3.0.
  7. Калинин А. Распределение XML документов на базе DataGuide. SYRCoDIS 2009.
  8. Захаров В.А., Булычев П.Е. О верификации конечных параметризованных моделей распределенных программ. Научные ведомости Белгородского государственного университета. Серия История, экономика, политология, информатика, 2009, том 9, № 11, с. 116-123.
  9. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. О стойкой обфускации компьютерных программ. Научные ведомости Белгородского государственного университета. Серия История, экономика, политология, информатика, том 15, № 12, с. 97-105.
  10. Захаров В.А., Костылев Е.В. Об одном обобщении подстановки применительно к вычислению инвариантов программ. Труды Третьей Всероссийской конференции «Методы и средства обработки информации», Москва, 2009, Москва, с. 123-130.
  11. Булычев П.Е., Захаров В.А. Универсальный подход к проверке отношений симуляции для моделей программ. Труды Третьей Всероссийской конференции «Методы и средства обработки информации», Москва, 2009, Москва, с. 104-110.
  12. И.Б. Бурдонов, А.С. Косачев. Аналитическая верификация конформности. Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность. Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). - М.: Изд-во МГУ, 2009. – стр. 261-264.
  13. И.Б. Бурдонов, А.С. Косачев. Тестирование конформности с открытым состоянием. Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). - М.: Изд-во МГУ, 2009. – стр. 265-269.
  14. S.G.Groshev. Bug localization by constructing reduced traces. Programming and Computer Software, Volume 35, Number 3, pp. 145-157, may 2009.
  15. А. В. Баранцев, С. Г. Грошев, В. А. Омельченко Генерация оптимизированных для ручного выполнения сценариев тестирования приложений с графическим интерфейсом пользователя. Сборник докладов международной конференции CEE-SECR-2009, Москва, 28-29 октября 2009 г.
  16. M.V. Arkhipova, S.V. Zelenov. Directed Generation of Test Data for Static Semantics Checker. ISoLA 2008. Communications in Computer and Information Science, vol. 17, Springer Berlin Heidelberg, 2009, 753-768.
  17. A. Kamkin. MicroTESK: Automation of Test Program Generation for Microprocessors. East-West Design & Test Symposium, September 18-21, 2009, pp. 35-38.
  18. S. Frenkel, A.Kamkin. Verification Methodology Based on Algorithmic State Machines and Cycle-Accurate Contract Specifications. East-West Design & Test Symposium, September 18-21, 2009, pp. 39-42.
  19. A. Kamkin. Specification-Driven Construction of Testbench Checkers for RTL Models of Synchronous Parallel-Pipeline Hardware. Written for RTL and High-Level Testing Workshop, 2009.
  20. Е.В. Корныхин. Система генерации тестовых программ с использованием ограничений ТЕСЛА. "Ломоносов-2009", стр. 38-39.
  21. Е.В. Корныхин. Система генерации тестовых данных для системного функционального тестирования микропроцессоров ТЕСЛА. "Микроэлектроника и информатика-2009", стр.87.
  22. Е.В. Корныхин. Генерация тестовых данных для системного функционального тестирования FIFO-кэш-памяти микропроцессоров. Вычислительные методы и программирование, вып.10, стр. 218-227.
  23. Evgeni Kornikhin. Test Data Generation for LRU Cache-Memory testing. SYRCoSE'09, pp. 88-92.
  24. E. Kornikhin. SMT-based Test Program Generation for Cache-memory Testing. East and West-2009, pp124-127.
  25. А.С. Косачев. Formal Approach to Software Testing. Сучаснi проблеми прикладноi математики та iнформатики, Львiв, 2009, стр.111-112.
  26. В. В. Кулямин. Интеграция методов верификации программных систем. Программирование, 35(4):41-55, 2009.
  27. В.С. Мутилин. Многопоточное тестирование программных интерфейсов. Программирование, Вып. 35, №6,, стр. 19-28, 2009.
  28. V. V. Kuliamin, V. A. Omelchenko, O. L. Petrenko. Formal Methods: for All or for Chosen? Proceedings of 1-st CSEDU, Lisboa, Portugal, 2009, pp. 217-222.
  29. В.А. Омельченко. Проблемы коммуникации в проектах с участием организаций разных организационных культур. Материалы II Международной научно-практической конференции, Одесса 2009, с. 184-187.
  30. В.А. Омельченко, О.Л. Петренко. Проблемы коммуникации в различных типах организационных культур. Труды 2-й Международной научно-теоретической конференции, Санкт-Петербург 2009, с. 228-233.
  31. N. Pakulin, V. Rubanov. Early creation of cross toolkits for embedded systems. In Proceedings of the 2nd NESTER workshop.
  32. N. Pakulin, V. Rubanov. A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems. Ershov Memorial Conference 2009: 331-343.
  33. N. Pakulin. Telecommunication Protocol Testing. Microsoft Research & Institute for System Programming RAS Joint Workshop, Moscow, 19-20 June, 2009.
  34. А.К. Петренко. На пути к технологии интегрированной поддержки всех фаз жизненного цикла программ. АППИ 2009, стр.61-66.
  35. А.К. Петренко. Миссия научного коллектива в современном мире. 9-я конференция "Россия: ключевые проблемы и решения.
  36. A.K.Petrenko. Certification of open-source software: A role for formal methods? International Journal of Computer Systems Science and Engineering (IJCSSE), 2009.
  37. V.V. Rubanov. Creating Open Educational Environment Based on Open Source Software Projects. Proceedings of CSEDU 2009.
  38. V.V. Rubanov. Automatic Analysis of Applications for Portability Across Linux Distributions. Electronic Communications of the EASST, Volume 20.
  39. V.V. Rubanov. A System for Analysis of Backward Binary Compatibility of Shared Libraries in Linux. Proceedings of SECR 2009.
  40. Денис Силаков, Владимир Рубанов. LSB SDK - инструментарий разработки переносимых Linux приложений. Тезисы докладов VI конференции разработчиков свободных программ на Протве. Обнинск, 2009, с.37-41.
  41. Денис Силаков. Linux Foundation: Консорциум, продвигающий Linux. Open Source - электронное приложение к журналу "Системный администратор". N53, декабрь 2009, с.4-6.
  42. В.Н. Федотов. Тестирование SOA: реальность и перспективы. Сборник докладов АППИ-09, стр.193-202.
  43. В.Н. Федотов. Эффективное окружение для тестирования оркестраций сервисов. CEE-SECR (стендовый доклад), 2009.
  44. А. В. Хорошилов. Практикум по аналитической верификации программного обеспечения. Сборник докладов Четвёртой конференции “Свободное программное обеспечение в высшей школе”, сс. 29-32, Переславль, 30 января 1 февраля 2009 г.
  45. О. Л. Петренко, А. В. Хорошилов. Создание контекстной среды для подготовки ИТ-специалистов. Сборник докладов 7-ой всероссийской конференции “Преподавание информационных технологий в России”, Йошкар-Ола, 18 19 мая 2009 г.
  46. О. Петренко, В. Рубанов, А. Хорошилов. Развитие компетенций студентов в условиях открытой образовательной среды. Сборник докладов Всероссийской научно-практической конференции "Модульно-компетентностный подход в разработке образовательного контента и обеспечении качества подготовки выпускников в условиях ИКТ-обучения", 25 июня 2009 г., Москва, Современная гуманитарная академия.
  47. О. Петренко, А. Хорошилов. Контекстный подход как способ формирования новой образовательной среды. Сборник докладов Всероссийской научно-практической конференции "Человек в современном образовательном пространстве", 30 сентября 2009 г., Москва, Современная гуманитарная академия.
  48. В. Мутилин, А. Хорошилов. База правил для верификации драйверов Linux. (тезисы) Сборник докладов Шестой конференции разработчиков свободных программ на Протве, стр.22, Обнинск, 27-28 июня 2009 г.
  49. А. Пономаренко, В. Рубанов, А. Хорошилов. Система анализа обратной бинарной совместимости библиотек Linux. Сборник докладов международной конференции “Software Engineering Conference (Russia)”, SEC(R)-2009, сс. 318 331, Москва, 28 29 октября 2009 г.
  50. Е.М. Новиков, В.С. Мутилин, А.В. Хорошилов. Применение аспектно-ориентированного программирования для поддержки верификации ядра операционной системы Linux. Труды 52-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук», Часть VII, Том 2, стр.31-33, Москва-Долгопрудный, 2009.
  51. М.М. Чупилко. Использование TLM при проектировании моделей аппаратуры. Микроэлектроника и информатика – 2009. 16-я Всероссийская межвузовская научно-техническая конференция студентов и аспирантов: Тезисы докладов. - М.: МИЭТ, 2009. - 372 с., страница 227.
  52. П.Н. Яковенко. Контроль доступа процессов к сетевым ресурсам на базе аппаратной виртуализации. Методы и средства обработки информации. // Труды Третьей Всероссийской научной конференции, стр. 355-360. М. 2009.
  53. Е.А. Герлиц. Функциональное тестирование AJAX приложений. Сборник научных трудов Научно-практической конференции «Актуальные проблемы программной инженерии». М.: Издательство МЭСИ, 2009. С. 217-221.
  54. А.С. Косачев, И.Б.Бурдонов, П.Н. Яковенко. Использование технологии аппаратной виртуализации для защиты выполнения приложения в недоверенной операционной системе. Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. – СПб. Изд-во СПбГТУ, 2009. – С. 38-39.
  55. Е. С. Чернов. Система поиска эквивалентных зависимостей пакетов для различных дистрибутивов ОС Linux. Сборник тезисов 52-ой научной конференции МФТИ 2009, 49-51.
  56. С.А. Смолов. Применение технологии UniTESK для функционального тестирования инфраструктурного ПО Грид. Сборник тезисов XVI международной научной конференции студентов, аспирантов и молодых ученых "Ломоносов - 2009". Секция "Вычислительная математика и кибернетика", 2009, стр. 78.
  57. С.А. Смолов. Разработка тестового набора для функционального тестирования инфраструктурного программного обеспечения Грид с применением технологии UniTESK. Сборник научных трудов научно-практической конференции "Актуальные проблемы программной инженерии", 2009, стр.183-189.
  58. Н.В.Пакулин, А.Н.Тугаенко. Разработка тестовых наборов для тестирования соответствия почтовых протоколов. Конференция АППИ-2009, стр. 154-160.
  59. П.Е. Швед В.С. Мутилин. О применении подхода CounterExample-Guided Abstraction Refinement к задаче статического анализа драйверов ядра «Линукc». Труды 52-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук», Часть VII, Том 2, стр. 52-54, Москва-Долгопрудный, 2009.
  60. P. Iakovenko. Log once, debug anywhere: a portable deterministic approach to record-replay test case execution. TTCN-3 User Conference. Sophia-Antipolis. France. 2009.
  61. П.Н. Яковенко. Обеспечение конфеденциальности информации, обрабатываемой на компьютере с сетевым подключением. Проблемы информационной безопасности. Компьютерные системы, №4(2009), стр.23-41. С.Петербург, 2009.
  62. V. Kuliamin. Standardization and Testing of Mathematical Functions. Proc. of PSI’2009, Novosibirsk, Russia, June 2009, LNCS 5947:257-268, Springer, 2009.
  63. A.Petrenko. Model-Based Testing. Editor of proceedings. Electronic Note in Theoretical Computer Science, 2009.
  64. Семенов В. А., Аничкин А. С., Казаков К. А., Тарлапан О. А. Пространственно-временное моделирование и планирование индустриальных проектов. Международная научная конференция, посвященная 80-летию со дня рождения академика В.А. Мельникова, Сборник докладов. Издательство: Некоммерческая Организация Научный Фонд «Первая Исследовательская Лаборатория имени академика В.А. Мельникова», 2009. Стр. 111-113.
  65. Семенов В. А., Морозов С. В., Энкович И. В. Коллективная инженерия на основе визуальных моделей. Международная научная конференция, посвященная 80-летию со дня рождения академика В.А. Мельникова, Сборник докладов. Издательство: Некоммерческая Организация Научный Фонд «Первая Исследовательская Лаборатория имени академика В.А. Мельникова», 2009. Стр. 114-117.
  66. Семенов В. А., Аничкин А. С., Казаков К. А., Тарлапан О. А. О некоторых актуальных задачах визуального моделирования проектных планов. Приложение к журналу «Открытое образование». Материалы XXXVI международной конференции и дискуссионного научного клуба «Информационные технологии в науке, социологии, экономике и бизнесе» IT+SE’09. Издательство: Издательство МЭСИ, 2009. Стр. 64-65.
  67. Энкович И.В., Морозов С.В., Семенов В.А., Тарлапан О.А. Сопоставление данных на основе семантически согласованной метрики. Методы и средства обработки информации: Труды третьей Всероссийской научной конференции. Издательство: Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, 2009. Стр. 426-431.
  68. Иванников, В.П., Аветисян, А.И., Гайсарян, С.С., Акопян, М.С. Особенности реализации интерпретатора параллельных программ в среде ParJava. Программирование том 35, номер 1, год 2009 , С. 10-25.
  69. S. Smolov. Application of UniTESK Technology for Functional Testing of Infrastructural Grid Software. Proceedings of the Third Spring Young Researchers' Colloquium on Software Engineering, 2009, pp. 82-88.
  70. Е.А. Герлиц. Автоматизация построения кода медиаторов для функционального тестирования веб-приложений по технологии UniTESK. Сборник тезисов XVI Международной научной конференции студентов, аспирантов и молодых ученых «Ломоносов 2010». М.: Издательский отдел факультета ВМК МГУ, 2009, C. 18.
  71. М.М. Чупилко. Интеграция подходов к тестированию моделей аппаратуры на основе методологии OVM. МСО-2009 Методы и средства обработки информации. Труды третьей Всероссийской научной конференции/ под ред. Л.Н. Королева. - М.:Издательский отдел факультета вычислительной математики и кибернетики МГУ имени М.В. Ломоносова, 2009., 481 с., страницы 91-96.
  72. M. Chupilko. Constructing Test Sequences for Hardware Designs with Parallel Starting Operations Using Implicit FSM Models. EWDTS-2009 (East-West Design and Test Symposium 2009). Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2009), 393-396 pp.
  73. M. Chupilko, A. Kamkin. Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs. NorChip-2009, pp.1-4.
  74. A. Kossachev, I. Burdonov, P.Iakovenko. Virtualization-based separation of privilege: working with sensitive data in untrusted environment. Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems,2009, pp.1-6.
  75. A. Khoroshilov, V. Kuliamin, A. Petrenko, O. Petrenko, V. Rubanov. Building open learning environment for software engineering students. Skovde, Sweden, In Proceedings of the First International Workshop on “D4PL - Designing for participatory learning” (D4PL-2009), 6 June 2009, pp. 11-17.
  76. A. Khoroshilov. Open Source Certification and Educational Process. York, United Kingdom, In Proceedings of the Third International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert’2009), 28 March 2009, pp. 28-35.
  77. Denis Silakov. Designing a Development Environment to Support Creation of Standard-Compliant Applications. Third Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). Moscow, 2009, pp.7-16.
  78. Pavel Shved, Denis Silakov. Binary Compatibility of Shared Libraries Implemented in C++ on GNU/Linux Systems. Third Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). Moscow, 2009, pp.17-26.
  79. Eugene Novikov, Denis Silakov. The Automated Analysis of Header Files for Support of the Standardization Process. Third Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). Moscow, 2009, pp.27-34.
  80. Калугин М.Д., Теплухин А.В. Моделирование взаимодействия кофеина и ДНК в водном растворе. Труды международного IEEE-симпозиума по параллельным и распределнным вычислениям, 2009.
  81. Калугин М.Д., Теплухин А.В. Изучение взаимодействия кофеина с ДНК в водном растворе методом Монте-Карло с использованием параллельных вычислений. Журнал структурной химии. 2009. Т. 50. № 5. С. 878-889.
  82. И.Б. Бурдонов, А.С. Косачев. Системы с приоритетами: конформность, тестирование, композиция. Программирование, 2009, №4–стр. 24-40.
  83. И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Программирование, 2009, №6–стр 3-18.
  84. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 5-8.
  85. А.И. Аветисян, В.В. Бабкова, А.В. Монаков. Обеспечение высокопродуктивного программирования для современных параллельных платформ. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 9-24.
  86. А. Белеванцев, Д. Журихин, Д. Мельник. Компиляция программ для современных архитектур. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 31-50.
  87. В.А. Падарян, А.И. Гетьман, М.А. Соловьев. Программная среда для динамического анализа бинарного кода. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 51-72.
  88. В. В. Кулямин. Перспективы интеграции методов верификации программного обеспечения. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 73-88.
  89. В.С. Мутилин. Метод проверки линеаризуемости многопоточных Java программ. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 89-106.
  90. А.С. Камкин. Метод формальной спецификации аппаратуры с конвейерной организацией и его приложение к задачам функционального тестирования. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 107-128.
  91. В.В. Рубанов. Современная инфраструктура для обеспечения совместимости Linux-платформ и приложений. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 129-141.
  92. Максим Гринев, Иван Щеклеин. Ориентированные на приложения методы хранения XML-данных. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 143-154.
  93. Мария Гринева, Максим Гринев. Анализ текстовых документов для извлечения тематически сгруппированных ключевых терминов. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 155-165.
  94. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 5-7.
  95. В. В. Кулямин. Организация сложных тестовых наборов. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 9-24.
  96. Д. В. Силаков, А.В. Хорошилов. Методы обеспечения переносимости ПО. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 25-39.
  97. Н.В. Пакулин, С.А. Смолов. Применение технологии UniTESK для функционального тестирования инфаструктурного ПО Грид. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 41-61.
  98. П.Н. Яковенко, А.В. Сапожников. Инфраструктура тестирования веб-сервисов на базе технологии TTCN-3 и платформы .NET. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 63-74.
  99. А. В. Баранцев, С. В. Грошев, В. А. Омельченко. Генерация оптимизированных для ручного выполнения сценариев тестирования приложений с графическим интерфейсом пользователя. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 75-92.
  100. М.В. Архипова, С.В. Зеленов. Направленная генерация тестовых данных для анализаторов статической семантики. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 93-117.
  101. Д.Н. Воробьев, А.С. Камкин. Генерация тестовых программ для подсистемы управления памятью микропроцессора. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 119-132.
  102. Я.С. Губенко, А.С. Камкин, М.М. Чупилко. Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 133-143.
  103. Е. В. Корныхин. Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 145-160.
  104. И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 161-192.
  105. И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 193-208.

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