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


Что искать

Искать в:

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

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

Диссертации

  1. Е.М. Новиков. Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы Linux. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2013 г.
  2. М.У. Мандрыкин Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей Диссертация на соискание ученой степени к.ф-м.н., Москва, 2016 г.
  3. А.Д. Татарников Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций Диссертация на соискание ученой степени к.т.н., Москва, 2017 г.

Монографии

  1. Лаврищева Е.М. Software Engineering компьютерных систем. Парадигмы, технологии, CASE-средства программирования. Наук. думка, 2013, 283 c.

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

  1. Бурдонов И.Б., Косачев А.С. Согласование конформности и композиции. Программирование. № 6.
  2. Бурдонов И.Б., Косачев А.С. Формализация тестового эксперимента –II. Программирование, 2013, №4–стр. 3-27
  3. Бурдонов И.Б., Косачев А.С. Обход неизвестного графа коллективом автоматов. Труды Международной суперкомпьютерной конференции "Научный сервис в сети Интернет: все грани параллелизма". 2013, Изд. МГУ.
  4. Zakharov I., Mutilin V., Novikov E., Khoroshilov A. Generating Environment Model for Linux Device Drivers. Proceedings of the 7th Spring/Summer Young Researchers' Colloquium on Software Engineering. Kazan. 2013.
  5. А. Камкин, С. Смолов, И. Мельниченко. Статический Анализ HDL-описаний: Извлечение Моделей для Верификации. East-West Design & Test Symposium (EWDTS), 2013, стр. 1-4.
  6. Р.А. Баратов, А.С. Камкин, В.М. Майорова, А.Н. Мешков, А.А. Сортов, М.А. Якушева. Трудности модульной верификации аппаратуры на примере буфера команд микропроцессора «Эльбрус-2S». Вопросы радиоэлектроники, серия ЭВТ, № 3, 2013. С. 84-96.
  7. А. Камкин, Т. Сергеева, А. Татарников, А. Утехин. MicroTESK: Расширяемая среда для генерации тестовых программ. Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2013
  8. М. Чупилко, А. Проценко. Распознавание и объяснение некорректного поведения при проведении динамической верификации аппаратуры. Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2013.
  9. М. Чупилко, А. Камкин. Динамическая верификация, основанная на исполнимых моделях: сравнение временных трасс времени исполнения. Model-Based Testing Workshop (MBT), 2013. Стр. 67-81.
  10. Alexander K. Petrenko, Victor Kuliamin, Andrey Maksimov. UniTESK: Component Model Based Testing. ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (ICTERI-2013), Part II, 2nd International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verifica, 2013, p.573-589.
  11. Benjamin Zeiss, Andras Kovacs, Nikolay Pakulin, Bogdan Stanca-Kaposta A conformance test suite for TTCN-3 tools. International Journal on Software Tools for Technology Transfer 01/2013.
  12. Д. Бейер, Ш. Лёве, Е. Новиков, А. Стахлбауер, Ф. Вендлер. Повторное использования уточнений для эффективной регрессионной верификации. Труды 9й объединенной Европейской конференции по программной инженерии и Симпозиума по основам программной инженерии ACM SIGSOFT, страницы 389-399. ACM, New York, 2013.
  13. Бурдонов И.Б., Косачев А.С. Обход неизвестного графа коллективом автоматов. Труды Международной суперкомпьютерной конференции Научный сервис в сети Интернет: все грани параллелизма. 2013, изд. МГУ, стр. 228-232.
  14. Е.А. Герлиц. Измерение тестового покрытия Си программ по критерию MC/DC. Университетский научный журнал. 2013. № 5, с. 203-210.
  15. Е.М. Новиков. Подход к реализации аспектно-ориентированного программирования для языка Си. Программирование, том 39, выпуск 4, страницы 47-65. Наука, Москва, 2013.
  16. Новиков Е.М., Щепетков И.В. Диагностика синтаксической совместимости правил корректности с ядром ОС Linux при статической верификации драйверов. Сборник научных трудов Научно-практической конференции «Актуальные проблемы системной и программной инженерии», 2013, стр. 192-201.
  17. Никита Комаров О реализации метода выявления состояний гонки для модулей ядра Linux на основе точек прерывания. Труды SYRCoSE 2013
  18. Астраханцев Н.А., Турдаков Д.Ю. Методы автоматического построения и обогащение неформальных онтологий. Программирование №1, 2013, с. 23-34.
  19. Недумов Я.Р., Турдаков Д.Ю., Майоров В.Д., Овчинников П.Е. Автоматизация процесса нормализации информации при внедрении систем управления основными данными. Программирование. 2013. Т. 39. № 3. С. 3-14.
  20. Коршунов А. Задачи и методы определения атрибутов пользователей социальных сетей. Труды 15-й Всероссийской научной конференции «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» - RCDL'2013.
  21. Абакумов К. JSQ: распределённое запрашивание потока данных JSON. Proceedings of SYRCoDIS'13: The Ninth Spring Researchers Colloquium on Databases and Information Systems, 2013.
  22. Кузнецов С.Д., Посконин А. SQL и NoSQL: плодотворное сотрудничество. Открытые системы, N9, 2013 г.
  23. Бурдонов И.Б., Косачев А.С. Согласование конформности и композиции. Программирование, 2013, №6–стр. 3-15.
  24. Андрианов П.С. Оценка покрытия кода при статическом анализе. Сборник тезисов десятой конференции разработчиков свободных программ, Калуга, 2013, сс. 35-38.
  25. Jens Grabowski, Victor Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric. Towards the Usage of MBT at ETSI. Proceedings of MBT 2013:30-34.
  26. А.С. Камкин, С.А. Смолов. Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода. Конференция «Методы и инструменты анализа программ», 2014.
  27. Подловченко Р.И., Захаров В.А. О двух методах распознавания эквивалентности в алгебраических моделях программ. Интеллектуальные системы, 2013, том 17, № 1-4, с. 366-370.
  28. Захаров В.А., Смелянский Р.Л., Чемерицкий Е.В. Формальная модель и задачи верификации программно-конфигурируемых сетей. Моделирование и анализ информационных систем, 2013, том 20, № 6, с. 33-48.
  29. Alexander Getman, Vartan Padaryan, Mikhail Solovyev Combined approach to solving problems in binary code analysis. Proceedings of 9th International Conference on Computer Science and Information Technologies (CSIT’2013), 2013.
  30. С.С. Гайсарян, В.А. Падарян, А.Ю. Тихонов. Комбинированный анализ бинарного кода в задачах информационной безопасности. Материалы 22-ой научно-технической конференции «Методы и технические средства обеспечения безопасности информации», 2013.
  31. Lavrischeva K., Aronov A., Dzubenko A. Program Factory – A Conception of Knowledge Representation of Scientific Artifactsm Standpoint of Software Engineering Computer and Information Science, Canadion Center of Science and Education, 2013. pp .21-28.
  32. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 7-12.
  33. А.О. Кудрявцев, В.К. Кошелев, А.О. Избышев, И.А. Дудина, Ш.Ф. Курмангалеев, А.И. Аветисян, В.П. Иванников, В.Е. Велихов, Е.А. Рябинкин. Разработка и реализация облачной системы для решения высокопроизводительных задач. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 13-34.
  34. И.А. Дудина, А.О. Кудрявцев, С.С. Гайсарян. Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 35-48.
  35. М.С. Акопян, Н.Е. Андреев. Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 49-70.
  36. И.К. Марчевский, В.В. Пузикова. Анализ эффективности итерационных методов решения систем линейных алгебраических уравнений, реализованных в пакете OpenFOAM. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 71-86.
  37. Я.В. Загуменный, Ю.Д. Чашечкин. Расчет течений непрерывно стратифицированной жидкости с использованием открытых вычислительных пакетов на базе технологической платформы UniHUB. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 87-106.
  38. Ю.А. Румянцев. Прямая передача данных между ПЛИС Virtex-7 по шине PCI Express. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 107-126.
  39. Ш.Ф. Курмангалеев. Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 127-144.
  40. Ш.Ф. Курмангалеев, К.Ю. Долгорукова, В.В. Савченко, А.Р. Нурмухаметов, Р.А. Матевосян, В.П. Корчагин. О методах деобфускации программ. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 145-160.
  41. И.Е. Бронштейн. Вывод типов для языка Python. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 161-190.
  42. В.П. Иванников, С.П. Вартанов, М.К. Ермаков. Автоматический поиск ошибок синхронизации в приложениях на платформе Android. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 191-206.
  43. В.П. Иванников, А.К. Петренко, В.В. Кулямин, А.В. Максимов. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 207-218.
  44. М.У. Мандрыкин, В.С. Мутилин, А.В. Хорошилов. Введение в метод CEGAR — уточнение абстракции по контрпримерам. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 219-292.
  45. Е.М. Новиков. Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 293-316.
  46. Владимир Федотов. Автоматизация регрессионного тестирования при помощи анализа трасс событий. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 317-326.
  47. С.Д. Кузнецов, А.В. Посконин. Распределенные горизонтально масштабируемые решения для управления данными. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 327-358.
  48. С.В. Герасимов, Р.В. Курынин, И.В. Машечкин, М.И. Петровский, Д.В. Царёв, А.А. Шестимеров. Инструментальные средства оценки качества научно-технических документов. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 359-380.
  49. В.А. Золотов, В.А. Семенов. Современные методы поиска и индексации многомерных данных в приложениях моделирования больших динамических сцен. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 381-416.
  50. И.В. Блудов. Особенности табличных выражений SQL и их соответствие с концепциями реляционной модели данных. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 417-436.
  51. Л.Е. Карпов, В.Н. Юдин. Роль предыстории при оценке сложного объекта в управлении по прецедентам. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 437-446.
  52. В.Н. Юдин, Л.Е. Карпов. Гибридный подход к построению систем поддержки решений. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 447-456.
  53. М.А. Трушников. Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 457-468.
  54. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 5-8.
  55. С.П. Вартанов, А.Ю. Герасимов. Применение динамического анализа для поиска дефектов в программах на языке Java Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 9-28.
  56. М.К. Ермаков, А.Ю. Герасимов. Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 29-38.
  57. Н.Г. Зельцер. Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 39-50.
  58. Н.Л. Луговской, С.В. Сыромятников. Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 51-66.
  59. И.Е. Бронштейн. Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 67-84.
  60. Захаров И.С., Мутилин В.С., Новиков Е.М., Хорошилов А.В. Моделирование окружения драйверов устройств операционной системы Linux. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 85-112.
  61. Мендкович Н.А., Кузнецов С.Д. Оценка эффективности минимизации ограничений запросов к СУБД. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 113-130.
  62. Золотов В.А., Семенов В.А. Исследование и развитие метода декомпозиции для анализа больших пространственных данных. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 131-166.
  63. Федоренко Д.Г., Астраханцев Н.А. Автоматическое извлечение новых концептов предметно-специфичных терминов. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 167-178.
  64. Антон Коршунов, Иван Белобородов, Андрей Гомзин, Кристина Чуприна, Никита Астраханцев, Ярослав Недумов, Денис Турдаков. Определение демографических атрибутов пользователей микроблогов. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 179-194.
  65. Шокуров А.В. Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 195-206.
  66. Воеводин А.В., Косяченко С.А. Оптимальное упорядочение конфликтующих объектов и задача коммивояжера. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 207-224.

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