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


Интеллектуальная собственность

Свидетельство о государственной регистрации программы для ЭВМ

  1. Соловьев М.А., Кудрявцев А.О. «Программный комплекс, обеспечивающий декодирование машинных команд процессорных архитектур x86 и x86-64 (quix86)». Свидетельство о государственной регистрации программы для ЭВМ № 2017610624 от 16.01.2017.
  2. Пожарицкий Д.М., Рыжов А.Г., Грушин Д.А. «Интерфейс пользователя системы Unihub». Свидетельство о государственной регистрации программы для ЭВМ № 2017610521 от 12.01.2017.
  3. Грушин Д.А., Пожарицкий Д.М., Рыжов А.Г. «Система управления графическим окружением пользователей внутри виртуальных машин». Свидетельство о государственной регистрации программы для ЭВМ № 2017610513 от 12.01.2017.
  4. Рыжов А.Г., Пожарицкий Д.М., Грушин Д.А. «Интерфейс администратора системы Unihub». Свидетельство о государственной регистрации программы для ЭВМ № 2017610518 от 12.01.2017.
  5. Грушин Д.А., Рыжов А.Г., Пожарицкий Д.М. «Web-интерфейс для совместного доступа к графическому окружению внутри виртуальных машин». Свидетельство о государственной регистрации программы для ЭВМ № 2017610525 от 12.01.2017.
  6. Жуйков Р.А., Бучацкий Р.А., Мельник Д.М., Шарыгин Е.Ю. «Реализация метода предварительной компиляции путем сохранения байткода в JavaScript движкe Webkit». Свидетельство о государственной регистрации программы для ЭВМ № 2017610520 от 12.01.2017.
  7. Иванишин В.А., Бучацкий Р.А., Мельник Д.М. «Реализация метода динамической компиляции программ на языке JavaScript в статически типизированное внутреннее представление компилятора LLVM для среды исполнения JavaScript V8». Свидетельство о государственной регистрации программы для ЭВМ № 2017610522 от 12.01.2017.
  8. Шарыгин Е.Ю., Жуйков Р.А. «Реализация схемы предварительной компиляции путем сохранения промежуточного внутреннего представления для JavaScript движка V8». Свидетельство о государственной регистрации программы для ЭВМ № 2017610253 от 09.01.2017.
  9. Игнатьев В.Н., Кошелев В.К., Борзилов А.И., Белеванцев А.А., Велесевич Е.А. «Инфраструктура анализа потоков данных инструмента статического анализа «SharpChecker». Свидетельство о государственной регистрации программы для ЭВМ № 2017610519 от 12.01.2017.
  10. Игнатьев В.Н., Кошелев В.К., Борзилов А.И., Белеванцев А.А., Велесевич Е.А. «Набор детекторов ошибок в программах на языке C# инструмента статического анализа «SharpChecker». Свидетельство о государственной регистрации программы для ЭВМ № 2017610524 от 12.01.2017.
  11. Игнатьев В.Н., Кошелев В.К., Борзилов А.И., Белеванцев А.А., Велесевич Е.А. «Инфраструктура чувствительного к контексту вызова, потоку и путям исполнения анализа инструмента «SharpChecker». Свидетельство о государственной регистрации программы для ЭВМ № 2017610526 от 12.01.2017.
  12. Нурмухаметов А.Р., Курмангалеев Ш.Ф., Гайсарян С.С., Чукляев И.И. «Обфусцирующий компилятор для затруднения эксплуатации уязвимостей». Свидетельство о государственной регистрации программы для ЭВМ № 2016661393 от 07.10.2016.
  13. Круглов Л.В., Вартанов С.П., Герасимов А.Ю., Ермаков М.К. «Инструмент вычисления наборов входных данных для достижения определенной инструкции в программе». Свидетельство о государственной регистрации программы для ЭВМ № 2016660244 от 09.09.2016.
  14. Круглов Л.В., Вартанов С.П., Герасимов А.Ю., Ермаков М.К. «Инструмент итеративного динамического анализа программ». Свидетельство о государственной регистрации программы для ЭВМ № 2016660242 от 08.09.2016.
  15. Ермаков М.К., Вартанов С.П., Герасимов А.Ю. «Инструмент итеративного динамического анализа Java-программ Coffe-Machine». Свидетельство о государственной регистрации программы для ЭВМ № 2016619019 от 11.08.2016.
  16. Ермаков М.К., Вартанов С.П., Герасимов А.Ю., Чукляев И.И. «Инструментатор исполняемого кода ELF ARM на базе пакета binutils». Свидетельство о государственной регистрации программы для ЭВМ № 2016619020 от 11.08.2016.
  17. Щепетков И.В. «Программа построения контекстно-зависимого графа вызовов функций по исходным текстам на языке программирования Си». Свидетельство о государственной регистрации программы для ЭВМ № 2016618339 от 27.07.2016.
  18. Мандрыкин М.У., Хорошилов А.В. «Программа дедуктивной верификации программ на языке программирования Си, использующая модель памяти с чувствительным к контексту разделением на непересекающиеся регионы». Свидетельство о государственной регистрации программы для ЭВМ № 2016618347 от 27.07.2016.
  19. Мандрыкин М.У., Хорошилов А.В. «Система дедуктивной верификации программ с возможностью адаптивного моделирования операций над целочисленными данными». Свидетельство о государственной регистрации программы для ЭВМ № 2016618348 от 27.07.2016.
  20. Угненко А.А. «Программа генерации исходного кода текстового редактора специализированного языка для интегрированной среды разработки Eclipse на основе описания грамматики специализированного языка». Свидетельство о государственной регистрации программы для ЭВМ № 2016618340 от 27.07.2016.
  21. Сортов А.А., Хорошилов А.В. «Система статического анализа исходных текстов программ для контроля избыточности на уровне функциональных объектов». Свидетельство о государственной регистрации программы для ЭВМ № 2016618338 от 27.07.2016.
  22. Маллачиев К.А., Пакулин Н.В., Хорошилов А.В. «Операционная система реального времени с поддержкой стандарта ARINC-653». Свидетельство о государственной регистрации программы для ЭВМ № 2016616968 от 22.06.2016.
  23. Мордань В.О. «Программный компонент для проверки нескольких правил корректности за один запуск инструмента статической верификации». Свидетельство о государственной регистрации программы для ЭВМ № 2016616661 от 16.06.2016.
  24. Мордань В.О. «Программный компонент для выявления нескольких нескольких ошибок в программном обеспечении». Свидетельство о государственной регистрации программы для ЭВМ № 2016616600 от 15.06.2016.
  25. Максимов А.В., Хорошилов А.В. «Система тестирования операционных систем на соответствие стандарту ARINC-653». Свидетельство о государственной регистрации программы для ЭВМ № 2016616219 от 08.06.2016.
  26. Сортов А.А., Хорошилов А.В. «Система тестирования встроенных операционных систем на соответствие стандарту POSIX». Свидетельство о государственной регистрации программы для ЭВМ № 2016616221 от 08.06.2016.
  27. Цыварев А.В., Маллачиев К.А., Пакулин Н.В., Хорошилов А.В. «Многоуровневый планировщик операционной системы реального времени». Свидетельство о государственной регистрации программы для ЭВМ № 2016616621 от 22.04.2016.
  28. Алексиянц А.В. «Модуль, реализующий развертывание по запросу кластерных систем, предназначенных для обработки больших данных». Свидетельство о государственной регистрации программы для ЭВМ № 2016612496 от 29.02.2016.
  29. Калугин М.Д., Хашба Э.В. «Программное средство, реализующее управление большими объемами данных, возникающих при численном решении задач механики сплошной среды». Свидетельство о государственной регистрации программы для ЭВМ № 2016612201 от 19.02.2016.
  30. Игнатьев В.Н., Чукляев И.И., Белеванцев А.А. «Инструмент статического анализа «RuleChecker» для языков С и С++». Свидетельство о государственной регистрации программы для ЭВМ № 2016611555 от 04.02.2016.
  31. Игнатьев В.Н., Чукляев И.И., Белеванцев А.А. «Проверочные модули инструмента статического анализа «RuleChecker» для языков С и С++». Свидетельство о государственной регистрации программы для ЭВМ № 2016611504 от 03.02.2016.
  32. Захаров И.С. «Программный компонент решения задач верификации посредством использования инфраструктуры облачного сервиса». Свидетельство о государственной регистрации программы для ЭВМ № 2015662948 от 07.12.2015.
  33. Ефремов Д.В., Хорошилов А.В. «Программа преобразования структуры исходного кода на языке С для его последующей верификации». Свидетельство о государственной регистрации программы для ЭВМ № 2015617942 от 27.07.2015.
  34. Мандрыкин М.У., Хорошилов А.В. «Программа дедуктивной верификации программ на языке Си с возможностью интерпретации участков памяти как объектов разных типов». Свидетельство о государственной регистрации программы для ЭВМ № 2015617941 от 27.07.2015.
  35. Коршунов А.В., Андрианов И.А., Сысоев А.А., Гомзин А.Г., Ипатов С.А., Козлов И.С. «Система сбора пользовательских данных из онлайновых социальных сетей». Свидетельство о государственной регистрации программы для ЭВМ № 2015616047 от 29.05.2015.
  36. Недумов Я.Р., Варламов М.И., Пархоменко П.А. «Система автоматизированного извлечения данных с веб-страниц». Свидетельство о государственной регистрации программы для ЭВМ № 2015615886 от 26.05.2015.
  37. Акопян М.С., Аветисян А.И., Гайсарян С.С. «Среда разработки параллельных программ ParJava». Свидетельство о государственной регистрации программы для ЭВМ № 2015611515 от 30.01.2015.
  38. Пожарицкий Д.М., Самоваров О.И., Андреев О.В., Хашба Э.В. «Вычислительный кластер по запросу». Свидетельство о государственной регистрации программы для ЭВМ № 2015611511 от 29.01.2015.
  39. Акопян М.С., Аветисян А.И., Гайсарян С.С. «Оценка базовых блоков и фрагментов в параллельной MPI программе на языке Java». Свидетельство о государственной регистрации программы для ЭВМ № 2015611510 от 29.01.2015.
  40. Грушин Д.А., Самоваров О.И., Рыжов А.Г., Калугин М.Д. «Контроллер узлов в системем Unihub». Свидетельство о государственной регистрации программы для ЭВМ № 2015611509 от 29.01.2015.
  41. Крапошин М.В., Стрижак С.В. «Модуль обработки данных моделирования вихревых нестационарных турбулентных течений газа и численного моделирования акустических полей». Свидетельство о государственной регистрации программы для ЭВМ № 2013618607 от 12.09.2013.
  42. Акопян М.С., Хашба Э.В. Модуль «Автоматизированное обнаружение шаблонов неэффективности в параллельных MPI, UPC приложениях». Свидетельство о государственной регистрации программы для ЭВМ № 2013618496 от 10.09.2013.
  43. Крапошин М.В., Назаров А.Ю. «Модуль моделирования течения в центробежном копрессоре». Свидетельство о государственной регистрации программы для ЭВМ № 2013618495 от 10.09.2013.
  44. Кудрявцев А.О., Кошелев В.К., Павлович Б., Избышев А.О., Дудина И.А. «Программный комплекс «Виртуальный суперкомпьютер». Свидетельство о государственной регистрации программы для ЭВМ № 2013616331 от 03.07.2013.
  45. Мандрыкин М.У., Мутилин В.С., Хорошилов А.В. «Построитель формул с моделированием памяти для уточнения предикатной абстракции с помощью интерполяции». Свидетельство о государственной регистрации программы для ЭВМ № 2013614375 от 06.05.2013.
  46. Цыварев А.В. «Программа для анализа покрытия исходного кода модулей ядра ОС Linux». Свидетельство о государственной регистрации программы для ЭВМ № 2013610635 от 09.01.2013.
  47. Цыварев А.В., Хорошилов А.В. «Генератор отчета о тестировании, поддерживающий выявление известных проблем на основе соответствия свойств тестов». Свидетельство о государственной регистрации программы для ЭВМ № 2013614341 от 29.04.2013.
  48. Косачев А.С., Бурдонов И.Б., Яковенко П.Н. «Монитор защиты от неавторизованного доступа к локальной сети «Гипергард». Свидетельство о государственной регистрации программы для ЭВМ № 2012660258 от 14.11.2012.
  49. Платонов В.А., Белеванцев А.А. «Библиотека поддержки OpenCL для программирования FPGA». Свидетельство о государственной регистрации программы для ЭВМ № 2012619011 от 05.10.2012.
  50. Вартанов С.П., Сидоров Д.В. «Модуль динамического анализа програм на языке Си/Си++ для среды разработки Eclipse». Свидетельство о государственной регистрации программы для ЭВМ № 2012619014 от 05.10.2012.
  51. Монаков А.В. «Модуль для решения систем линейных уравнений на CUDA-акселераторах для пакета OpenFOAM». Свидетельство о государственной регистрации программы для ЭВМ № 2012619012 от 05.10.2012.
  52. Мандрыкин М.У., Мутилин В.С., Хорошилов А.В. «Интерполирующий решатель, поддерживающий формулы с кванторами в теории линейной арифметики и неинтерпретируемых функций». Свидетельство о государственной регистрации программы для ЭВМ № 2012618566 от 21.09.2012.
  53. Швед П.Е., Новиков Е.М., Мандрыкин М.У., Мутилин В.С., Хорошилов А.В. «Система проверки выполнения проблемно-ориентированных правил для Си программ». Свидетельство о государственной регистрации программы для ЭВМ № 2012615596 от 20.06.2012.
  54. Меркулов А.П. «Модуль кодогенератора C-to-HDL». Свидетельство о государственной регистрации программы для ЭВМ № 2012619013 от 05.10.2012.
  55. Новиков Е.М., Хорошилов А.В. «Программа анализа результатов проверки совместимости драйверов с операционной системой». Свидетельство о государственной регистрации программы для ЭВМ № 2012615638 от 20.06.2012.
  56. Страх А.В., Мутилин В.С. «Программа построения имитационной модели окружения драйвера». Свидетельство о государственной регистрации программы для ЭВМ № 2012615637 от 20.06.2012.
  57. Швед П.Е., Хорошилов А.В. «Система непрерывного обеспечения качества драйверов в git репозитории». Свидетельство о государственной регистрации программы для ЭВМ № 2012615636 от 20.06.2012.
  58. Новиков Е.М. «Система аспектно-ориентированного программирования для языка Си». Свидетельство о государственной регистрации программы для ЭВМ № 2012615598 от 20.06.2012.
  59. Новиков Е.М. «Программа визуализации нарушений совместимости драйверов с операционной системой». Свидетельство о государственной регистрации программы для ЭВМ № 2012615597 от 20.06.2012.
  60. Страх А.В., Швед П.Е. «Программа извлечения конфигурационных параметров сборки драйверов». Свидетельство о государственной регистрации программы для ЭВМ № 2012615595 от 20.06.2012.
  61. Демаков А.В., Щекочихин Ю.С., Власов К.А., Третьяков А.В., Гингина В.В., Федотов В.Н., Хорошилов А.В. «Requality». Свидетельство о государственной регистрации программы для ЭВМ № 2012615328 от 13.06.2012.
  62. Камкин А.С. «MicroTESK». Свидетельство о государственной регистрации программы для ЭВМ № 2012615205 от 08.06.2012.
  63. Турдаков Д.Ю., Сысоев А.А., Кийко А.С. «Blognoon». Свидетельство о государственной регистрации программы для ЭВМ № 2011612802 от 07.04.2011.
  64. Исаев И.К., Сидоров Д.В. «Инструмент для генерации входных данных, демонстрирующих критические ошибки и уязвимости в программах». Свидетельство о государственной регистрации программы для ЭВМ № 2010613170 от 14.05.2010.
  65. Турдаков Д.Ю., Сысоев А.А., Болдаков А.А. «Texterra». Свидетельство о государственной регистрации программы для ЭВМ № 2010611860 от 11.03.2010.
  66. Аветисян А.И., Белеванцев А.А., Гайсарян С.С., Журихин Д.М., Маликов О.Р., Мельник Д.М., Несов В.С., Спиридонов С.В. «Среда межпроцедурного анализа программ». Свидетельство о государственной регистрации программы для ЭВМ № 2006613032 от 31.08.2006.
  67. Марковцев Д.А., Гриневич А.И. «OLVER: открытый тестовый набор для проверки соответствия дистрибутивов OC Linux стандарту LSB Core версии 3.1». Свидетельство о государственной регистрации программы для ЭВМ № 2006613033 от 31.08.2006.
  68. Петренко А.К., Косачев А.С., Демаков А.В., Зеленов С.В., Зеленова С.А., Архипова М.В. «Генератор сложно структуированных тестовых данных на основе их формального описания и построения абстрактных синтаксических деревьев». Свидетельство о отраслевой регистрации разработки № 2006613880 от 10.11.2006.
  69. Аветисян А.И., Белеванцев А.А., Гайсарян С.С., Журихин Д.М., Маликов О.Р., Мельник Д.М., Несов В.С., Спиридонов С.В. «Программа поиска уязвимостей типа переполнения буфера в исходном коде программ на языке C». Свидетельство о государственной регистрации программы для ЭВМ № 2005613149 от 05.12.2005.
  70. Гринев М.Н., Антипин К.В., Болдаков А.А., Фомичев А.В., Кузнецов С.Д., Лизоркин Д.А., Новак Л.Г., Плешачков П.О., Рекуц Мария Павловна «XML database management system Sedna (Sedna)». Свидетельство о государственной регистрации программы для ЭВМ № 2004612606 от 01.12.2004.

Свидетельство о отраслевой регистрации разработки

  1. Петренко А.К., Косачев А.С., Демаков А.В., Зеленов С.В., Зеленова С.А., Архипова М.В. «Генератор сложно структуированных тестовых данных на основе грамматик». Свидетельство о отраслевой регистрации разработки № 7025 от 17.10.2006.

Свидетельство на товарный знак

  1. ИСП РАН. Свидетельство на товарный знак № 542508 от 19.05.2015.
  2. ISP RAS. Свидетельство на товарный знак № 542507 от 19.05.2015.

Патент на изобретение

  1. Турдаков Д.Ю., Недумов Я.Р., Сысоев А.А. «Способ построения семантической модели документа». Патент РФ на изобретение № 2487403 от 10.07.2013.
  2. Иванников В.П., Камкин А.С., Косачев А.С., Кулямин В.В., Петренко А.К. «Способ тестирования компонентов микропроцессоров, тестовый оракул для тестирования компонентов микропроцессоров, способ работы тестового оракула, способ построения тестового оракула». Патент РФ на изобретение № 2409839 от 20.01.2011.
  3. Лизоркин Д.А., Гринев М.Н., Велихов П.Е., Турдаков Д.Ю. «Итерационный способ получения функции похожести между объектами со ссылками». Патент РФ на изобретение № 2413291 от 27.02.2011.

Патент на полезную модель

  1. Федосин М.Е., Калугин М.Д., Рыжов А.Г., Грушин Д.А., Самоваров О.И. «Аппаратно-вычислительный комплекс для предоставления доступа к программному обеспечению в концепции облачных вычислений». Патент РФ на полезную модель № 122505 от 27.11.2012.

United States Patent

  1. Method to Build a Document Semantic Model. Denis Yu. Turdakov. U.S. Patent No. US 9,201,957 B2. 01 December, 2015.