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


Что искать

Искать в:

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

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

Диссертации

  1. Аветисян А.И. Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения. Диссертация на соискание ученой степени доктора физико-математических наук. Москва, 2012.
  2. М.М.Чупилко. Динамическая верификация цифровой аппаратуры на основе формальных спецификаций. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2012 г.
  3. В.С. Мутилин. Верификация драйверов операционной системы Linux при помощи предикатных абстракций. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2012 г.

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

  1. Бурдонов И.Б., Косачев А.С. Удаление из спецификации неконформных трасс. Новые информационные технологии в исследовании сложных структур. Материалы 9-ой российской конференции, Томск «Издательство НТЛ».
  2. Бурдонов И.Б., Косачев А.С. Финальные модели спецификаций и реализаций. Новые информационные технологии в исследовании сложных структур. Материалы 9-ой российской конференции, Томск «Издательство НТЛ».
  3. Buzdalov D. Enhancement of automated static verification efficiency through manual quantifiers instantiation. Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering SYRCoSE.
  4. Kamkin A., Tatarnikov A. MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors. Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE).
  5. Захаров И.С. Моделирование окружения драйверов операционной системы Linux для поддержки процесса статической верификации. Сборник трудов 55-ой научной конференции МФТИ "Управление и прикладная математика". Том 2.
  6. Мандрыкин М.У., Мутилин В.С., Новиков Е.М. и др. Использова­ние драйверов устройств операционной системы Linux для сравнения ин­струментов статической верификации. Программирование. Выпуск 5.
  7. Швед П.Е., Мутилин В.С., Мандрыкин М.У. Опыт развития инструмента статической верификации BLAST. Программирование. Выпуск 3.
  8. Mutilin V., Mandrykin M. Instantiation-Based Interpolation for Quantified Formulae in CSIsat. Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), pp. 85-93.
  9. Shved P., Mandrykin M., Mutilin V. Predicate Analysis with Blast 2.7. Proceedings of TACAS. 2012. Vol. 7214. P. 525–527.
  10. Dirk Beyer and Alexander K. Petrenko. Linux Driver Verification. In T. Margaria and B. Steffen, editors, Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012, Part II, Heraklion, Crete, October 15-18), LNCS 7610, pages 1-6, 2012. Springer-Verlag, Heidelberg.
  11. Y. Gerlits, A. Khoroshilov. Model-Based Testing of Safety Critical Real-Time Control Logic Software. In Proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), Tallin, Estonia, March 25, 2012.
  12. A. Khoroshilov, I. Koverninskiy, M. Olshanskiy, A. Petrenko, A. Ugnenko. Model-based Tool Chain For System Design and System Integration of IMA. In Proceedings of the International Space System Engineering Conference DASIA-2012, pp. 67-71, Dubrovnik, Croatia, May 14-16, 2012.
  13. M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov, and P. E. Shved. Using Linux Device Drivers for Static Verification Tools Benchmarking. Programming and Computer Software, 2012, Volume 38, Number 5, Pages 245-256.
  14. Khoroshilov, A., Albitskiy, D., Koverninskiy, I., Olshanskiy, M., Petrenko, A., Ugnenko, A. AADL-Based Toolset for IMA System Design and Integration. SAE Int. J. Aerosp. 5(2):2012.
  15. Пакулин Н.В., Тугаенко А.Н., Шнитман В.З. Тестирование протоколов электронной почты Интернета с использованием моделей. Программирование. т. 37 №5 - Москва: МАИК “Наука/Интерпериодика”, 2012.
  16. Denis Efremov, Nikolay Pakulin. Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems. Proceedings of SECRYPT 2012, SciTePress 2012, pp.395-398.
  17. Костычев Е.А., Омельченко В.А., Зеленов С.В. Нацеленная генерация данных для тестирования приложений над базами данных. Программирование, 2012, №6 сс. 63-73.
  18. Чупилко М.М. Разработка тестовых систем для многомодульных моделей аппаратуры. Программирование, 2012, №1, с.47-58.
  19. Борисенко О., Таранов И. Реализация хранимых в блоках префиксных деревьев в XML-СУБД. Proceedings of SYRCoDIS'12: The Eighth Spring Researchers Colloquium on Databases and Information Systems, 2012, стр. 16-21.
  20. Бузун Н., Коршунов А. Инновационные методы и меры в обнаружении пересекающихся сообществ. Proceedings of the International Workshop on Experimental Economics and Machine Learning (EEML 2012), Brussel, Belgium.
  21. Бартунов С., Коршунов А., Парк С.-Т., Рю В., Ли Х. Идентификация пользователей в социальных сетях интернета на основе связей и атрибутов Joint Link-Attribute User Identity Resolution in Online Social Networks.
  22. Кузнецов С. К свободе от проблемы Больших Данных. Открытые системы, N2, 2012 г.
  23. Бузун Н., Коршунов А. Выявление пересекающихся сообществ в социальных сетях. Труды конференции по анализу изображений, сетей и текстов АИСТ'12, Екатеринбург.
  24. Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В. Как разработать простое средство верификации систем реального времени. Моделирование и анализ информационных систем, 2012, том 19, № 6, с. 45-56.
  25. Захаров В.А. Модели и алгоритмы в задаче проверки эквивалентности программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2012, Изд-во механико-математического ф-та МГУ Москва, с. 53-62.
  26. Захаров В.А., Новикова Т.А. О логико-термальной эквивалентности стандартных схем программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2014, Изд-во механико-математического ф-та МГУ Москва, с. 147-149.
  27. Захаров В.А., Подымов В.В. Об эквивалентности металинейных унарных рекурсивных программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2012, Изд-во механико-математического ф-та МГУ Москва, с. 157-159.
  28. Ильин Д.В., Морозов С.В., Семенов В.А. Верификация объектно-ориентированных моделей данных. Информационные и математические технологии в науке и управлении. Труды XVII Байкальской Всероссийской конференции, в 3 т. Том: 2. Издательство: ИСЭМ СО РАН, 2012. Стр. 123-130.
  29. Калугин М.Д., Самоваров О.И., Стрижак С.В., Лушников А.В., Каштанова Е.Н. Решение оптимизационных задач газовой динамики с использованием облачных и параллельных вычислений. Естественные и технические науки, т. 6, 2012.
  30. Pavel Dovgalyuk. Deterministic Replay of System’s Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging. Proceedings of 16th European Conference on Software Maintenance and Reengineering (CSMR’2012), 2012.
  31. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 5-10.
  32. А.И. Аветисян. Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 11-18.
  33. А.И. Аветисян. Планирование команд и конвейеризация циклов на современных архитектурах. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 19-32.
  34. Р. Жуйков, Д. Мельник, Р. Бучацкий. Программная конвейеризация циклов на платформе ARM. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 33-48.
  35. Р. Жуйков, Д. Плотников, М. Варданян. Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 49-66.
  36. К. Батузов. Задача локального распределения регистров во время динамической двоичной трансляции. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 67-76.
  37. К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян. Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 77-94.
  38. А.И. Аветисян, А.И. Гетьман. Восстановление структуры бинарных данных по трассам программ. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 95-118.
  39. В.О. Савицкий, Д.В. Сидоров. Инкрементальный анализ исходного кода на языках C/C++. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 119-130.
  40. А.Ю.Тихонов, А.И. Аветисян. Комбинированный (статический и динамический) анализ бинарного кода. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 131-152.
  41. И.Н. Ледовских, М.Г. Бакулин. Подход к восстановлению потока управления запутанной программы. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 153-168.
  42. В.Н. Игнатьев. Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 169-188.
  43. А.О. Кудрявцев, В.К. Кошелев, А.И. Аветисян. Перспективы виртуализации высокопроизводительных систем архитектуры x64. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 189-210.
  44. А. Белеванцев, А. Меркулов, В. Платонов. Использование стандарта OpenCL для программирования ПЛИС. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 211-222.
  45. А.В. Монаков. Оптимизация расчётов в пакете OpenFOAM на GPU. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 223-232.
  46. И. Бурдонов, А. Косачев. Финальные модели спецификации. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 233-280.
  47. С. П. Вартанов, Д.В. Сидоров. Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 281-292.
  48. М.У. Мандрыкин, В.С. Мутилин, Е.М. Новиков, А.В. Хорошилов. Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 293-326.
  49. В.С. Мутилин., М.У. Мандрыкин. Интерполяция формул с кванторами в CSIsat на основе инстанцирования. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 327-348.
  50. В.С. Мутилин, Е.М. Новиков, А.В. Хорошилов. Анализ типовых ошибок в драйверах операционной системы Linux. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 349-374.
  51. А. Третьяков. Автоматизация построения расписаний для периодических систем реального времени. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 375-400.
  52. А.Г. Гомзин, А.В. Коршунов. Системы рекомендаций: обзор современных подходов. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 401-418.
  53. М.М. Берновский, Н.Н. Кузюрин. Случайные графы, модели и генераторы безмасштабных графов. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 419-434.
  54. В.А.Захаров, Т.А. Новикова. Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ. Труды Института системного программирования РАН. Том 22, 2012 г. Стр.435-455.
  55. М.А. Трушников. Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 456-462.
  56. А.В. Шокуров. Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 463-474.
  57. Я.А. Хетагуров. О построении аппроксимирующих функций характеристик малого числа систем. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 475-492.
  58. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 7-12.
  59. М.С. Акопян. Расширение модели ParJava для случая кластеров с многоядерными узлами. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 13-32.
  60. Алексей Меркулов, Андрей Белеванцев. Реализация конвейеризации циклов и встраивания присваиваний в трансляторе C-to-HDL. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 33-48.
  61. М.Г. Бакулин, С.С. Гайсарян, Ш.Ф. Курмангалеев, И.Н. Ледовских, В.А. Падарян, С.М. Щевьева. Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 49-66.
  62. Ш.Ф. Курмангалеев, В.П. Корчагин, Р.А. Матевосян. Описание подхода к разработке обфусцирующего компилятора. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 67-76.
  63. Ш.Ф. Курмангалеев, В.П. Корчагин, В.В. Савченко, С.С. Саргсян. Построение обфусцирующего компилятора на основе инфраструктуры LLVM. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 77-92.
  64. А.Г. Назаров, М.А. Климушенкова, П.М. Довгалюк, В.А. Макаров. Повышение уровня представления трасс выполнения программ. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 93-106.
  65. Н.Л. Луговской. Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 107-132.
  66. В.О. Савицкий, Д.В. Сидоров. «Ленивый» анализ исходного кода на языках С и С++. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 133-142.
  67. П.А. Клеменков, С.Д. Кузнецов. Большие данные: современные подходы к хранению и обработке. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 143-158.
  68. Андрей Посконин. Web-приложения и данные: проблемы абстракции и масштабируемости. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 159-172.
  69. С.Д. Кузнецов, А.А. Прохоров. Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 173-194.
  70. Н.А. Мендкович., С.Д. Кузнецов. Обзор развития методов лексической оптимизации запросов. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 195-214.
  71. Антон Коршунов, Андрей Гомзин. Тематическое моделирование текстов на естественном языке. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 215-244.
  72. А.В. Кошкарев, А.А. Медведев, Ю.С. Вишняков, С.А. Поликарпов, А.Н. Сотников. Виртуальная ГИС-лаборатория как инструмент анализа пространственных данных. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 245-256.
  73. А.А. Алексеев, Н.В. Лукашевич. Комбинирование признаков для извлечения тематических цепочек в новостном кластере. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 257-276.
  74. Кузнецов Константин. Система интеграции данных на основе наборов RDF-связей пространства Linked Open Data. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 277-284.
  75. А.Ю. Пигуль. Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 285-306.
  76. Е.A. Иванникова. Обнаружение периодических наборов событий во временных базах данных. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 307-322.
  77. Игорь Бурдонов, Александр Косачев. Зависимости между ошибками на класах тестируемых реализаций. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 323-358.
  78. В.В. Кулямин. Комбинаторная генерация программных конфигураций ОС. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 359-370.
  79. Е.М. Новиков, А.В. Хорошилов. Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 371-386.
  80. А.В. Никешин, Н.В. Пакулин, В.З. Шнитман. Разработка тестового набора для верификации реализаций протокола безопасности TLS. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 387-404.
  81. Д. Бейер, А.К. Петренко. Верификация драйверов операционной системы Linux. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 405-412.
  82. А.В. Цыварев, В.А. Мартиросян. Тестирование драйверов файловых систем в ОС Linux. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 413-426.
  83. А.В. Шокуров, К.В. Сергеев. Об одном методе построения схемы полного гомоморфного шифрования. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 427-432.
  84. Д.А. Грушин, Н.Н. Кузюрин. Энергоэффективные вычисления для группы кластеров. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 433-446.
  85. С.Н. Жук. О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 447-454.
  86. Т.А. Новикова, В.А.Захаров. Унификация программ. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 455-476.

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