Диссертации
- Е.М. Новиков. Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы Linux. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2013 г.
- М.У. Мандрыкин Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей Диссертация на соискание ученой степени к.ф-м.н., Москва, 2016 г.
- А.Д. Татарников Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций Диссертация на соискание ученой степени к.т.н., Москва, 2017 г.
Монографии
- Лаврищева Е.М. Software Engineering компьютерных систем. Парадигмы, технологии, CASE-средства программирования. Наук. думка, 2013, 283 c.
Другие публикации
- Бурдонов И.Б., Косачев А.С. Согласование конформности и композиции. Программирование. № 6.
- Бурдонов И.Б., Косачев А.С. Формализация тестового эксперимента –II. Программирование, 2013, №4–стр. 3-27
- Бурдонов И.Б., Косачев А.С. Обход неизвестного графа коллективом автоматов. Труды Международной суперкомпьютерной конференции "Научный сервис в сети Интернет: все грани параллелизма". 2013, Изд. МГУ.
- 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.
- А. Камкин, С. Смолов, И. Мельниченко. Статический Анализ HDL-описаний: Извлечение Моделей для Верификации. East-West Design & Test Symposium (EWDTS), 2013, стр. 1-4.
- Р.А. Баратов, А.С. Камкин, В.М. Майорова, А.Н. Мешков, А.А. Сортов, М.А. Якушева. Трудности модульной верификации аппаратуры на примере буфера команд микропроцессора «Эльбрус-2S». Вопросы радиоэлектроники, серия ЭВТ, № 3, 2013. С. 84-96.
- А. Камкин, Т. Сергеева, А. Татарников, А. Утехин. MicroTESK: Расширяемая среда для генерации тестовых программ. Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2013
- М. Чупилко, А. Проценко. Распознавание и объяснение некорректного поведения при проведении динамической верификации аппаратуры. Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2013.
- М. Чупилко, А. Камкин. Динамическая верификация, основанная на исполнимых моделях: сравнение временных трасс времени исполнения. Model-Based Testing Workshop (MBT), 2013. Стр. 67-81.
- 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.
- 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.
- Д. Бейер, Ш. Лёве, Е. Новиков, А. Стахлбауер, Ф. Вендлер. Повторное использования уточнений для эффективной регрессионной верификации. Труды 9й объединенной Европейской конференции по программной инженерии и Симпозиума по основам программной инженерии ACM SIGSOFT, страницы 389-399. ACM, New York, 2013.
- Бурдонов И.Б., Косачев А.С. Обход неизвестного графа коллективом автоматов. Труды Международной суперкомпьютерной конференции Научный сервис в сети Интернет: все грани параллелизма. 2013, изд. МГУ, стр. 228-232.
- Е.А. Герлиц. Измерение тестового покрытия Си программ по критерию MC/DC. Университетский научный журнал. 2013. № 5, с. 203-210.
- Е.М. Новиков. Подход к реализации аспектно-ориентированного программирования для языка Си. Программирование, том 39, выпуск 4, страницы 47-65. Наука, Москва, 2013.
- Новиков Е.М., Щепетков И.В. Диагностика синтаксической совместимости правил корректности с ядром ОС Linux при статической верификации драйверов. Сборник научных трудов Научно-практической конференции «Актуальные проблемы системной и программной инженерии», 2013, стр. 192-201.
- Никита Комаров О реализации метода выявления состояний гонки для модулей ядра Linux на основе точек прерывания. Труды SYRCoSE 2013
- Астраханцев Н.А., Турдаков Д.Ю. Методы автоматического построения и обогащение неформальных онтологий. Программирование №1, 2013, с. 23-34.
- Недумов Я.Р., Турдаков Д.Ю., Майоров В.Д., Овчинников П.Е. Автоматизация процесса нормализации информации при внедрении систем управления основными данными. Программирование. 2013. Т. 39. № 3. С. 3-14.
- Коршунов А. Задачи и методы определения атрибутов пользователей социальных сетей. Труды 15-й Всероссийской научной конференции «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» - RCDL'2013.
- Абакумов К. JSQ: распределённое запрашивание потока данных JSON. Proceedings of SYRCoDIS'13: The Ninth Spring Researchers Colloquium on Databases and Information Systems, 2013.
- Кузнецов С.Д., Посконин А. SQL и NoSQL: плодотворное сотрудничество. Открытые системы, N9, 2013 г.
- Бурдонов И.Б., Косачев А.С. Согласование конформности и композиции. Программирование, 2013, №6–стр. 3-15.
- Андрианов П.С. Оценка покрытия кода при статическом анализе. Сборник тезисов десятой конференции разработчиков свободных программ, Калуга, 2013, сс. 35-38.
- 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.
- А.С. Камкин, С.А. Смолов. Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода. Конференция «Методы и инструменты анализа программ», 2014.
- Подловченко Р.И., Захаров В.А. О двух методах распознавания эквивалентности в алгебраических моделях программ. Интеллектуальные системы, 2013, том 17, № 1-4, с. 366-370.
- Захаров В.А., Смелянский Р.Л., Чемерицкий Е.В. Формальная модель и задачи верификации программно-конфигурируемых сетей. Моделирование и анализ информационных систем, 2013, том 20, № 6, с. 33-48.
- 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.
- С.С. Гайсарян, В.А. Падарян, А.Ю. Тихонов. Комбинированный анализ бинарного кода в задачах информационной безопасности. Материалы 22-ой научно-технической конференции «Методы и технические средства обеспечения безопасности информации», 2013.
- 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.
- В.П. Иванников. Предисловие.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 7-12.
- А.О. Кудрявцев, В.К. Кошелев, А.О. Избышев, И.А. Дудина, Ш.Ф. Курмангалеев, А.И. Аветисян, В.П. Иванников, В.Е. Велихов, Е.А. Рябинкин. Разработка и реализация облачной системы для решения высокопроизводительных задач.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 13-34.
- И.А. Дудина, А.О. Кудрявцев, С.С. Гайсарян. Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 35-48.
- М.С. Акопян, Н.Е. Андреев. Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 49-70.
- И.К. Марчевский, В.В. Пузикова. Анализ эффективности итерационных методов решения систем линейных алгебраических уравнений, реализованных в пакете OpenFOAM.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 71-86.
- Я.В. Загуменный, Ю.Д. Чашечкин. Расчет течений непрерывно стратифицированной жидкости с использованием открытых вычислительных пакетов на базе технологической платформы UniHUB.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 87-106.
- Ю.А. Румянцев. Прямая передача данных между ПЛИС Virtex-7 по шине PCI Express.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 107-126.
- Ш.Ф. Курмангалеев. Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 127-144.
- Ш.Ф. Курмангалеев, К.Ю. Долгорукова, В.В. Савченко, А.Р. Нурмухаметов, Р.А. Матевосян, В.П. Корчагин. О методах деобфускации программ.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 145-160.
- И.Е. Бронштейн. Вывод типов для языка Python.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 161-190.
- В.П. Иванников, С.П. Вартанов, М.К. Ермаков. Автоматический поиск ошибок синхронизации в приложениях на платформе Android.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 191-206.
- В.П. Иванников, А.К. Петренко, В.В. Кулямин, А.В. Максимов. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 207-218.
- М.У. Мандрыкин, В.С. Мутилин, А.В. Хорошилов. Введение в метод CEGAR — уточнение абстракции по контрпримерам.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 219-292.
- Е.М. Новиков. Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 293-316.
- Владимир Федотов. Автоматизация регрессионного тестирования при помощи анализа трасс событий.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 317-326.
- С.Д. Кузнецов, А.В. Посконин. Распределенные горизонтально масштабируемые решения для управления данными.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 327-358.
- С.В. Герасимов, Р.В. Курынин, И.В. Машечкин, М.И. Петровский, Д.В. Царёв, А.А. Шестимеров. Инструментальные средства оценки качества научно-технических документов.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 359-380.
- В.А. Золотов, В.А. Семенов. Современные методы поиска и индексации многомерных данных в приложениях моделирования больших динамических сцен.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 381-416.
- И.В. Блудов. Особенности табличных выражений SQL и их соответствие с концепциями реляционной модели данных.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 417-436.
- Л.Е. Карпов, В.Н. Юдин. Роль предыстории при оценке сложного объекта в управлении по прецедентам.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 437-446.
- В.Н. Юдин, Л.Е. Карпов. Гибридный подход к построению систем поддержки решений.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 447-456.
- М.А. Трушников. Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу.
Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 457-468.
- В.П. Иванников. Предисловие.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 5-8.
- С.П. Вартанов, А.Ю. Герасимов. Применение динамического анализа для поиска дефектов в программах на языке Java
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 9-28.
- М.К. Ермаков, А.Ю. Герасимов. Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 29-38.
- Н.Г. Зельцер. Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 39-50.
- Н.Л. Луговской, С.В. Сыромятников. Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 51-66.
- И.Е. Бронштейн. Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 67-84.
- Захаров И.С., Мутилин В.С., Новиков Е.М., Хорошилов А.В. Моделирование окружения драйверов устройств операционной системы Linux.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 85-112.
- Мендкович Н.А., Кузнецов С.Д. Оценка эффективности минимизации ограничений запросов к СУБД.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 113-130.
- Золотов В.А., Семенов В.А. Исследование и развитие метода декомпозиции для анализа больших пространственных данных.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 131-166.
- Федоренко Д.Г., Астраханцев Н.А. Автоматическое извлечение новых концептов предметно-специфичных терминов.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 167-178.
- Антон Коршунов, Иван Белобородов, Андрей Гомзин, Кристина Чуприна, Никита Астраханцев, Ярослав Недумов, Денис Турдаков. Определение демографических атрибутов пользователей микроблогов.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 179-194.
- Шокуров А.В. Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 195-206.
- Воеводин А.В., Косяченко С.А. Оптимальное упорядочение конфликтующих объектов и задача коммивояжера.
Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 207-224.
Вернуться к списку всех публикаций