Интеллектуальная собственность ИСП РАН


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

Единый реестр российских программ для электронных вычислительных машин и баз данных (МинКомСвязь)

  1. Система интеллектуального анализа ЭКГ на базе нейросетевой модели машинного обучения от 04.10.2023, Свидетельство № 19392.
  2. Инструмент определения поверхности атаки «Natch» включен в Реестр по Приказу Минкомсвязи России от 01.06.2022, Свидетельство № 13673.
  3. Инструмент динамического анализа помеченных данных «Блесна» включен в Реестр по Приказу Минкомсвязи России от 25.03.2022, Свидетельство № 13095.
  4. Crusher включен в Реестр по Приказу Минкомсвязи России от 06.05.2021, Свидетельство № 10468.
  5. Облачная среда «Асперитас» включена в Реестр по Приказу Минкомсвязи России от 19.11.2019, Свидетельство № 5921.
  6. Программная платформа организации проблемно-ориентированных Web-лабораторий FANLIGHT включена в Реестр по Приказу Минкомсвязи России от 19.11.2019, Свидетельство № 6066.
  7. Talisman.Поток включен в Реестр по Приказу Минкомсвязи России от 19.11.2019, Свидетельство № 6045.
  8. Talisman.Биография включена в Реестр по Приказу Минкомсвязи России от 24.06.2019, Свидетельство № 5547.
  9. Цифровой испытательный стенд DigiTEF включен в Реестр по Приказу Минкомсвязи России от 06.05.2019, Свидетельство № 5377.
  10. Среда анализа бинарного кода «ТРАЛ» включена в Реестр по Приказу Минкомсвязи России от 06.05.2019, Свидетельство № 5323.
  11. Система интеллектуального анализа текстов «Texterra» включена в Реестр по Приказу Минкомсвязи России от 11.12.2017, Свидетельство № 4048.
  12. Статический анализатор Svace включен в Реестр по Приказу Минкомсвязи России от 11.12.2017, Свидетельство № 4047.
  13. Статический анализатор языка C# включен в Реестр по Приказу Минкомсвязи России от 14.03.2017, Свидетельство № 2910.

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

  1. Коваленко А.П., Перминов А.И., Дробышевский М.Д., Лукьянов К.С. «DenseNetworkVisualizer: программное обеспечение для геометрической и вероятностной интерпретации и визуализации многослойного персептрона». Свидетельство о государственной регистрации программы для ЭВМ № 2023689161 от 26.12.2023
  2. Майоров В.Д., Кобзарев О.И., Лобастова Е.О., Перминова С.Д., Пивоваров А.В. «NERC: Сервис извлечения именованных сущностей из текста». Свидетельство о государственной регистрации программы для ЭВМ № 2023688907 от 25.12.2023
  3. Беляева О.В., Богатенкова А.О., Перминов А.И., Голодков А.О. «Keyframe extractor: сервис извлечения ключевых кадров из видеоряда». Свидетельство о государственной регистрации программы для ЭВМ № 2023688947 от 25.12.2023
  4. Иванова Н.С., Савкина В.А., Карпулевич Е.А.,Турдаков Д.Ю. «Инструмент для сбора информации о научных публикациях из открытых баз данных». Свидетельство о государственной регистрации программы для ЭВМ № 2023688841 от 25.12.2023
  5. Беляева О.В., Богатенкова А.О., Перминов А.И., Голодков А.О., Шевцов Н.С., Рахматуллаев Т.А., Михайлов А.А., Зыкин Я.И. «Puredoc: сервис обработки изображений документов». Свидетельство о государственной регистрации программы для ЭВМ № 2023688585 от 22.12.2023
  6. Маркин Ю.В., Бурсов А.И., Недумов Я.Р. «Веб-интерфейс для представления публичных больших массивов медицинских данных для обучения нейросетевых моделей». Свидетельство о государственной регистрации программы для ЭВМ № 2023688336 от 21.12.2023
  7. Карпулевич Е.А., Крылов С.А., Турдаков Д.Ю. «Инструмент формирования научной базы знаний в рамках медицинского исследования». Свидетельство о государственной регистрации программы для ЭВМ № 2023687859 от 19.12.2023
  8. Бучацкий Р.А., Маркин Ю.В., Ушаков Е.Н. «Инструмент создания шаблонов опросных листов для проведения аннотирования медицинских данных». Свидетельство о государственной регистрации программы для ЭВМ № 2023687754 от 18.12.2023
  9. Лазарев Н.А., Богомолов И.В., Зуев С.А. «Инструмент для автоматизации развертывания платформенных сервисов в облачной инфраструктуре при помощи системы оркестрации Michman». Свидетельство о государственной регистрации программы для ЭВМ № 2023687441 от 14.12.2023
  10. Виноградов М.И., Грибунин А.В., Ерошкин С.Г., Жаров А.А., Зубов А.С., Казакова Д.Г., Климов Н.Ю., Кожанов М.С., Кузьмин А.А., Лушин Е.А., Митрофанов Д.С., Черняков С.В., Шарыкин А.С., Юрель Н.В. «ISP LC». Свидетельство о государственной регистрации программы для ЭВМ № 2023685982 от 01.12.2023
  11. Рындин М.А., Турдаков Д.Ю., Кущук Д.О., Киранов Д.М., Бойко А.М., Сухановский Н.Л., Архипенко К.В., Старых Л.В., Ежов А.В., Кочетков И.А. «MLM: система управления задачами машинного обучения». Свидетельство о государственной регистрации программы для ЭВМ № 2023684212 от 14.11.2023
  12. Столяров Р.К., Швецова В.В., Борисенко О.Д. «TOMMANO — инструмент управления виртуализированными сетевыми функциями в облачной среде на основе стандарта TOSCA». Свидетельство о государственной регистрации программы для ЭВМ № 2023682112 от 23.10.2023
  13. Куц Д.О., Парыгина Д.А., Турдаков Д.Ю. «TrustFlow». Свидетельство о государственной регистрации программы для ЭВМ № 2023680774 от 04.10.2023
  14. Кобрин И.А., Куц Д.О., Турдаков Д.Ю «TrustTorch». Свидетельство о государственной регистрации программы для ЭВМ № 2023680285 от 28.09.2023
  15. Коцыняк А.М. «ReadCells: Библиотека для представления функциональных устройств и моделей технологических библиотек, описанных в формате Liberty». Свидетельство о государственной регистрации программы для ЭВМ № 2023669906 от 21.09.2023
  16. Семенов В.А., Аришин С.В., Гринченко А.И., Золотов В.А., Морозов С.В., Тарлапан О.А., Фокина Н.Ю. «Сервис верификации IFC моделей». Свидетельство о государственной регистрации программы для ЭВМ № 2023667675 от 17.08.2023
  17. Стражков Д.В., Курмангалеев Ш.Ф., Столяров М.В., Химач С.В., Горчаков В.А. «ИСП Диагностика-БТ». Свидетельство о государственной регистрации программы для ЭВМ № 2023667078 от 10.08.2023
  18. Ларин Д.В., Чеканов К.Ю. «Подсистема визуализации маршрутной информации системы «Глубина». Свидетельство о государственной регистрации программы для ЭВМ № 2023666973 от 08.08.2023
  19. Ларин Д.В., Чеканов К.Ю. «Подсистема хранения маршрутной информации системы «Глубина». Свидетельство о государственной регистрации программы для ЭВМ № 2023666560 от 02.08.2023
  20. Ларин Д.В., Чеканов К.Ю. «Подсистема сбора маршрутной информации системы «Глубина». Свидетельство о государственной регистрации программы для ЭВМ № 2023666479 от 01.08.2023
  21. Егоров И.Г., Федотов А.Н., Вишняков А.В. «Casr-ubsan». Свидетельство о государственной регистрации программы для ЭВМ № 2023666502 от 01.08.2023
  22. Хорошилов А.В., Чепцов В.Ю., Зеленова С.А., Сортов А.А., Цыварев А.В. «Базовый генератор настроек устройства управления памятью для различных платформ». Свидетельство о государственной регистрации программы для ЭВМ № 2023661938 от 05.06.2023
  23. Зеленова С.А., Чепцов В.Ю. «Генератор настроек устройства управления памятью для платформ, не использующих понятие виртуальной памяти». Свидетельство о государственной регистрации программы для ЭВМ № 2023661657 от 01.06.2023
  24. Зеленова С.А., Чепцов В.Ю. «Базовая программа проверки соответствия настроек устройства управления памятью заданным требованиям на память». Свидетельство о государственной регистрации программы для ЭВМ № 2023661752 от 01.06.2023
  25. Зеленова С.А., Чепцов В.Ю. «Программа проверки соответствия настроек устройства управления памятью заданным требованиям для платформ, не использующих понятие виртуальной памяти». Свидетельство о государственной регистрации программы для ЭВМ № 2023661753 от 01.06.2023
  26. Чепцов В.Ю., Зеленова С.А., Алейник В.В. «Генератор настроек устройства управления памятью для платформ, использующих таблицы регионов физической памяти». Свидетельство о государственной регистрации программы для ЭВМ № 2023661267 от 29.05.2023
  27. Зеленова С.А., Чепцов В.Ю. «Программа проверки соответствия настроек устройства управления памятью заданным требованиям для платформ, использующих сегментную модель памяти и таблицы одинарных отображающих записей». Свидетельство о государственной регистрации программы для ЭВМ № 2023660905 от 25.05.2023
  28. Зеленова С.А., Чепцов В.Ю. «Генератор настроек устройства управления памятью для платформ, использующих сегментную модель памяти и таблицы двойных отображающих записей». Свидетельство о государственной регистрации программы для ЭВМ № 2023660799 от 24.05.2023
  29. Зеленова С.А., Чепцов В.Ю. «Программа проверки соответствия настроек устройства управления памятью заданным требованиям для платформ, использующих сегментную модель памяти и таблицы двойных отображающих записей». Свидетельство о государственной регистрации программы для ЭВМ № 2023660800 от 24.05.2023
  30. Чепцов В.Ю., Зеленова С.А., Махов А.М., Викторов А.К., Кашапов Р.Р., Еникеев Э.Н. «Генератор настроек устройства управления памятью для платформ, использующих страничную модель памяти и иерархическую модель таблиц отображения». Свидетельство о государственной регистрации программы для ЭВМ № 2023660830 от 24.05.2023
  31. Зеленова С.А., Чепцов В.Ю. «Генератор настроек устройства управления памятью для платформ, использующих сегментную модель памяти и таблицы одинарных отображающих записей». Свидетельство о государственной регистрации программы для ЭВМ № 2023660831 от 24.05.2023
  32. Зеленова С.А., Чепцов В.Ю. «Программа проверки соответствия настроек устройства управления памятью заданным требованиям для платформ, использующих страничную модель памяти и иерархическую модель таблиц отображения». Свидетельство о государственной регистрации программы для ЭВМ № 2023660832 от 24.05.2023
  33. Зеленова С.А., Чепцов В.Ю. «Программа проверки соответствия настроек устройства управления памятью заданным требованиям для платформ, использующих таблицы регионов физической памяти». Свидетельство о государственной регистрации программы для ЭВМ № 2023660833 от 24.05.2023
  34. Егоров И.Г., Федотов А.Н., Вишняков А.В., Савидов Г.А. «Casr-python от 2023614040 от 21.02.2023
  35. Доледенок М.В., Сортов А.А., Хорошилов А.В., Цыварев А.В., Чепцов В.Ю. «Система сборки, запуска, отладки, тестирования и анализа программных проектов isp-project». Свидетельство о государственной регистрации программы для ЭВМ № 2023610946 от 16.01.2023
  36. Ельчинов Е.С., Сортов А.А., Хорошилов А.В., Цыварев А.В., Чепцов В.Ю. «Программный комплекс выявления ошибок для встраиваемых систем». Свидетельство о государственной регистрации программы для ЭВМ № 2023610563 от 11.01.2023
  37. Алейник В.В., Викторов А.К., Махов А.М., Сортов А.А., Хорошилов А.В., Цыварев А.В., Чепцов В.Ю. «Программный комплекс TestOS для модульного тестирования программного обеспечения на целевой аппаратуре». Свидетельство о государственной регистрации программы для ЭВМ № 2023610038 от 09.01.2023
  38. Алейник В.В., Маллачиев К.А., Махов А.М., Савиных Ю.С., Цыварев А.В., Чепцов В.Ю. «Программный комплекс драйверов для ОСРВ с гибкой конфигурацией на основе компонентного подхода». Свидетельство о государственной регистрации программы для ЭВМ № 2022685980 от 30.12.2022
  39. Демаков А.В., Сортов А.А., Хорошилов А.В., Чепцов В.Ю. «Система непрерывной интеграции и тестирования программно-аппаратных систем на основе распределённого тестового стенда». Свидетельство о государственной регистрации программы для ЭВМ № 2022685714 от 27.12.2022
  40. Бугеря А.Б., Гайсарян С.С., Гетьман А.И., Ефремов С.В., Ким Е.С., Кулагин И.И., Падарян В.А., Соловьев М.А. «Инструмент «Зерно»». Свидетельство о государственной регистрации программы для ЭВМ № 2022685629 от 26.12.2022
  41. Булгакова М.И., Гетьман А.И., Горюнов М.Н., Мацкевич А.Г., Перминов А.И., Рыболовлев Д.А. «Программа защиты от атаки уклонения в системе обнаружения вторжений». Свидетельство о государственной регистрации программы для ЭВМ № 2022685576 от 26.12.2022
  42. Якушев А.Ю., Маркин Ю.В., Фомин С.А., Обыденков Д.О., Фролов А.Е., Акопян М.С. «Библиотека маркирования текстовых документов на экране посредством статического наложения сгенерированных нейросетью-автокодировщиком периодичных изображений». Свидетельство о государственной регистрации программы для ЭВМ № 2022685638 от 26.12.2022
  43. Маркин Ю.В., Козачок А.В., Фомин С.А., Акопян М.С., Обыденков Д.О., Якушев А.Ю., Фролов А.Е., Козлов С.В., Копылов С.А. «Docmarking — система предотвращения утечек конфиденциальных документов». Свидетельство о государственной регистрации программы для ЭВМ № 2022685459 от 23.12.2022
  44. Федотов А.Н., Вишняков А.В., Савидов Г.А., Волков А.Е., Кобрин И.А., Кузьмин А.А., Куц Д.О., Логунова В.И., Марков С.И., Парыгина Д.А., Сорокин К.С., Сыромятников С.В. «Инфраструктура доверенных фреймворков машинного обучения». Свидетельство о государственной регистрации программы для ЭВМ № 2022685212 от 22.12.2022
  45. Смолов С.А. «Программа проверки эквивалентности потоковых вычислителей, представленных в виде графов». Свидетельство о государственной регистрации программы для ЭВМ № 2022685345 от 22.12.2022
  46. Гратинский В.А., Кукушкин К.В., Федотов В.Н., Хорошилов А.В., Чепцов В.Ю. «Программная платформа Gaia для создания расширяемых сред разработки». Свидетельство о государственной регистрации программы для ЭВМ № 2022685164 от 21.12.2022
  47. Кильдишев Д.С., Копач В.В., Хорошилов А.В. «Программная реализация серверного компонента средства управления требованиями Requality». Свидетельство о государственной регистрации программы для ЭВМ № 2022684959 от 20.12.2022
  48. Камкин А.С. «Программа проверки эквивалентности потоковых вычислителей, представленных в виде логических схем». Свидетельство о государственной регистрации программы для ЭВМ № 2022684958 от 20.12.2022
  49. Лазарев Н.А., Бирюков А.М., Борисенко О.Д. «Сценарии для масштабирования развернутых кластеров обработки данных в оркестраторе Michman». Свидетельство о государственной регистрации программы для ЭВМ № 2022683787 от 08.12.2022
  50. Кричанов М.Ю., Митрофанов С.К., Хорошилов А.В., Чепцов В.Ю. от «Программный комплекс для фаззинга EFI драйверов и приложений в минимальном UEFI окружении». Свидетельство о государственной регистрации программы для ЭВМ № 2022684509 от 14.12.2022
  51. Турдаков Д.Ю., Яцков А.К., Лагута А.В., Рындин М.А., Варламов М.И., Майоров В.Д., Пастухов Р.К., Бечкало Е.Р., Кузнецова О.Ю., Беляева О.В., Дерюгин М.А. «Talisman.Биография». Свидетельство о государственной регистрации программы для ЭВМ № 2022683259 от 02.12.2022
  52. Федотов А.Н., Вишняков А.В., Савидов Г.А. «Casr-gdb». Свидетельство о государственной регистрации программы для ЭВМ № 2022683048 от 30.11.2022
  53. Булгакова М.И., Гетьман А.И., Горюнов М.Н., Мацкевич А.Г., Перминов А.И., Рыболовлев Д.А. «Программа реализации атаки уклонения в отношении модели обнаружения вторжений». Свидетельство о государственной регистрации программы для ЭВМ № 2022682843 от 28.11.2022
  54. Зыбин Р.С., Швецова В.В., Бадалян Д.А., Богомолов И.В., Лазарев Н.А., Борисенко О.Д. «Облачная среда «Асперитас». Свидетельство о государственной регистрации программы для ЭВМ № 2022682679 от 25.11.2022
  55. Борисенко О.Д., Тулин Д.И., Лазарев Н.А., Богомолов И.В., Швецова В.В. «Графовое API для сохранения шаблонов OASIS TOSCA». Свидетельство о государственной регистрации программы для ЭВМ № 2022682610 от 24.11.2022
  56. Недумов Я.Р., Гомзин А.Г., Руденко Д.А., Иванов А.В., Мотриченко Д.О., Секачева М.И., Пирогова Ю.Н. от «Веб-интерфейс для предсказания общей и безрецидивной кривой выживаемости для рака легкого, рака почки и колоректального рака». Свидетельство о государственной регистрации программы для ЭВМ № 2022682571 от 24.11.2022
  57. Турдаков Д.Ю., Яцков А.К., Лагута А.В., Рындин М.А., Варламов М.И., Майоров В.Д., Пастухов Р.К., Бечкало Е.Р., Кузнецова О.Ю., Беляева О.В., Дерюгин М.А. «Talisman.Поток». Свидетельство о государственной регистрации программы для ЭВМ № 2022682569 от 24.11.2022
  58. Лазарев Н.А., Попов М.С., Борисенко О.Д. «Транслятор описаний образов контейнеров Containerfile в инструкции Ansible». Свидетельство о государственной регистрации программы для ЭВМ № 2022682342 от 22.11.2022
  59. Швецова В.В., Борисенко О.Д., Лазарев Н.А., Богомолов И.В. «Генератор сценариев развертывания облачной среды Asperitas с псевдографическим интерфейсом». Свидетельство о государственной регистрации программы для ЭВМ № 2022682153 от 21.11.2022
  60. Виноградов М.И., Митрофанов Д.С., Жаров А.А., Маркин Ю.В., Аветисян А.А., Карпулевич Е.А., Рыжов А.Г., Юрель Н.В. «Система интеллектуального анализа ЭКГ на базе нейросетевой модели машинного обучения». Свидетельство о государственной регистрации программы для ЭВМ № 2022681153 от 10.11.2022
  61. Федотов А.Н., Вишняков А.В., Савидов Г.А. от «Casr-cluster». Свидетельство о государственной регистрации программы для ЭВМ № 2022665976 от 23.08.2022
  62. Федотов А.Н., Вишняков А.В., Савидов Г.А. от «Casr-san». Свидетельство о государственной регистрации программы для ЭВМ № 2022665975 от 23.08.2022
  63. Жуйков Р.А., Бучацкий Р.А., Нурмухаметов А.Р., Баев Р.В., Иванишин В.А., Шарыгин Е.Ю., Скворцов Л.В. «SAFEC». Свидетельство о государственной регистрации программы для ЭВМ № 2022662467 от 04.07.2022
  64. Аветисян А.И., Афанасьев В.О., Белеванцев А.А., Беляев М.В., Бескровный А.В., Бородин А.Е., Вартанов С.П., Велесевич Е.А., Волков А.Е., Гайсарян С.С., Дворцова В.В., Дудина И.А., Журихин Д.М., Иванов Д.А., Игнатьев В.Н., Избышев А.О., Малышев Н.Е., Несов В.С., Поляков С.А., Сыромятников С.В., Шимчик Н.В «Статический анализатор Svace». Свидетельство о государственной регистрации программы для ЭВМ № 2022618173 от 05.05.2022
  65. Раенчук М.В., Чепцов В.Ю «Графический композитор для ОСРВ с поддержкой ARINC 653». Свидетельство о государственной регистрации программы для ЭВМ № 2022610699 от 13.01.2022
  66. Аветисян А.А., Ананьев В.В., Скорик С.Н., Уханов В.Д., Турдаков Д.Ю., Карпулевич Е.А., Шаклеин В.В «Инструмент для развертывания нейросетевой модели предсказания патологий по данным 12-канальных электрокардиограмм». Свидетельство о государственной регистрации программы для ЭВМ № 2021682092 от 29.12.2021
  67. Архипенко К.В., Черепнина М.С., Чистякова А.С «Guardiann». Свидетельство о государственной регистрации программы для ЭВМ № 2021681872 от 27.12.2021
  68. Иванов А.С., Карпулевич Е.А., Наумов А.Ю., Ушаков Е.Н., Фатхудинов Т.Х., Фомберг В.А., Фомина А.В «Прототип веб-интерфейса для анализа гистологических снимков во вспомогательной репродуктивной медицине». Свидетельство о государственной регистрации программы для ЭВМ № 2021681817 от 27.12.2021
  69. Стрижак С.В., Рязанов Д.А., Иванов А.В., Кошелев К.Б «Программный комплекс прогнозирования формы наросшего льда для произвольного профиля с использованием нейронных сетей iceMPLNet». Свидетельство о государственной регистрации программы для ЭВМ № 2021681715 от 24.12.2021
  70. Кричанов М.Ю., Чепцов В.Ю «Защищённая UEFI прошивка для виртуальных машин, включающая в себя набор средств, обеспечивающих безопасную загрузку гостевой ОС». Свидетельство о государственной регистрации программы для ЭВМ № 2021681714 от 24.12.2021
  71. Доледенок М.В., Чепцов В.Ю «Инструмент динамического анализа корректности раскладки памяти в ОСРВ с поддержкой ARINC 653». Свидетельство о государственной регистрации программы для ЭВМ № 2021681692 от 24.12.2021
  72. Ибрагимов А.А., Сенотрусова С.А., Иванов А.С., Карпулевич Е.А., Тыщук Е.В., Сиротская А.А., Степанова О.И., Константинова В.В., Ошколова А., Зементова М.С., Ковалева А.А., Гребенкина П.В., Маркова К.Л., Соколов Д.И., Сельков С.А., Коган И.Ю «Инструмент для семантической сегментации капилляроподобных структур с применением глубокого обучения». Свидетельство о государственной регистрации программы для ЭВМ № 2021681660 от 24.12.2021
  73. Озерова Т.А., Аксенова Е.Л., Борисенко О.Д «Инструмент для автоматизации развертывания Slurm в облачной инфраструктуре при помощи системы оркестрации Michman». Свидетельство о государственной регистрации программы для ЭВМ № 2021680517 от 10.12.2021
  74. Бадалян Д.А., Борисенко О.Д «gocotea». Свидетельство о государственной регистрации программы для ЭВМ № 2021669828 от 03.12.2021
  75. Аветисян К.И., Асатрян А.А., Гукасян Ц.Г., Ешилбашян Е.М., Маладжян А.А., Недумов Я.Р., Скорняков К.А.,Тигранян Ш.Т., Турдаков Д.Ю «Sieve». Свидетельство о государственной регистрации программы для ЭВМ № 2021668213 от 11.11.2021
  76. Захаров И.С «Программа автоматизированной декомпозиции моделей окружения фрагментов программ на языке Си». Свидетельство о государственной регистрации программы для ЭВМ № 2021667984 от 08.11.2021
  77. Рыжов А.Г., Аветисян А.А., Газашвили Т.М., Савенкова А.Б., Бурсов А.И «Серверная часть системы разметки ЭКГ ИСП РАН». Свидетельство о государственной регистрации программы для ЭВМ № 2021667983 от 08.11.2021
  78. Гайсарян С.С., Евгин А.А., Киселев А.К., Падарян В.А., Соловьев М.А «Набор библиотек для абстрактной интерпретации бинарного кода Glassfrog». Свидетельство о государственной регистрации программы для ЭВМ № 2021667936 от 08.11.2021
  79. Рыжов А.Г., Аветисян А.А., Газашвили Т.М., Савенкова А.Б., Бурсов А.И «Клиентская часть системы разметки ЭКГ ИСП РАН». Свидетельство о государственной регистрации программы для ЭВМ № 2021667842 от 03.11.2021
  80. Евгин А.А., Падарян В.А., Соловьев М.А «Транслятор спецификаций процессорных архитектур в промежуточное представление системы Glassfrog». Свидетельство о государственной регистрации программы для ЭВМ № 2021667716 от 02.11.2021
  81. Новиков Е.М., Щепетков И.В «Программа развертывания системы верификации Klever». Свидетельство о государственной регистрации программы для ЭВМ № 2021667676 от 01.11.2021
  82. Голованов Н.С., Манушин Д.В., Падарян В.А., Соловьев М.А., Цехмистер А.А «Транслятор с языка Си в промежуточное представление системы Glassfrog». Свидетельство о государственной регистрации программы для ЭВМ № 2021667664 от 01.11.2021
  83. Новиков Е.М «Программа преобразования внутреннего представления компилятора GCC в исходный код на языке программирования Си». Свидетельство о государственной регистрации программы для ЭВМ № 2021667636 от 01.11.2021
  84. Фомин С.А., Акопян М.С., Маркин Ю.В., Козачок А.В «Система получения и агрегации фактов маркирования документов, поступающих с клиентских устройств». Свидетельство о государственной регистрации программы для ЭВМ № 2021665876 от 04.10.2021
  85. Федотов А.Н., Вишняков А.В., Куц Д.О «Sydr-fuzz». Свидетельство о государственной регистрации программы для ЭВМ № 2021665874 от 04.10.2021
  86. Фомин С.А., Маркин Ю.В., Якушев А.Ю «Модуль отправки фактов маркирования документов с клиентских устройств». Свидетельство о государственной регистрации программы для ЭВМ № 2021665855 от 04.10.2021
  87. Фролов А.Е., Обыденков Д.О., Маркин Ю.В., Фомин С.А «Библиотека маркирования текстовых документов при печати посредством перечеркивания слов». Свидетельство о государственной регистрации программы для ЭВМ № 2021665854 от 04.10.2021
  88. Якушев А.Ю., Маркин Ю.В., Фомин С.А «Библиотека маркирования текстовых документов на экране посредством отображения QR-кодов в однородных областях». Свидетельство о государственной регистрации программы для ЭВМ № 2021665777 от 01.10.2021
  89. Фомин С.А., Акопян М.С., Маркин Ю.В., Козачок А.В «Система анализа фактов маркирования документов, поступающих с клиентских устройств, и проведения расследований утечек документов». Свидетельство о государственной регистрации программы для ЭВМ № 2021665761 от 01.10.2021
  90. Курмангалеев Ш.Ф., Асланян А.К., Арутюнян М.С., Оганесян Р.А., Варданян В.Г., Саргсян С.С «LibraryIdentifier». Свидетельство о государственной регистрации программы для ЭВМ № 2021665076 от 17.09.2021
  91. Бакулин М.Г., Егоров Д.И., Довгалюк П.М., Иванов А.В., Иванов А.А., Падарян В.А.., Степанов В.М., Фурсова Н.И «Инструмент анализа поверхности атаки Natch». Свидетельство о государственной регистрации программы для ЭВМ № 2021664628 от 10.09.2021
  92. Ефремов Д.В «CVEhound». Свидетельство о государственной регистрации программы для ЭВМ № 2021663474 от 17.08.2021
  93. Чан Ти Тхиен, Курмангалеев Ш.Ф «Futag». Свидетельство о государственной регистрации программы для ЭВМ № 2021663344 от 16.08.2021
  94. Федотов А.Н., Вишняков А.В., Курмангалеев Ш.Ф «Caesar: Crash Analysis Estimating Severity and Report». Свидетельство о государственной регистрации программы для ЭВМ № 2021660399 от 25.06.2021
  95. Федотов А.Н., Курмангалеев Ш.Ф «Инструмент для оценки степени критичности и формирования отчётов об аварийных завершениях CASR (Coredump Analyzer and Severity Reporter)». Свидетельство о государственной регистрации программы для ЭВМ № 2021618289 от 25.05.2021
  96. Стражков Д.В., Курмангалеев Ш.Ф., Федотов А.Н «ChipInspector». Свидетельство о государственной регистрации программы для ЭВМ № 2021617850 от 20.05.2021
  97. Бугеря А.Б., Гайсарян С.С., Ким Е.С., Падарян В.А., Соловьев М.А. «Инструмент динамического анализа помеченных данных «Блесна». Свидетельство о государственной регистрации программы для ЭВМ № 2021615661 от 12.04.2021
  98. Гайсарян С.С., Гетьман А.И., Маркин Ю.В., Иконникова М.К., Егоров В.И., Падарян В.А., Тихонов А.Ю. «Ядро системы высокоскоростного анализа сетевого трафика «Конвеер». Свидетельство о государственной регистрации программы для ЭВМ № 2021615801 от 13.04.2021
  99. Гайсарян С.С., Гетьман А.И., Маркин Ю.В., Иконникова М.К., Егоров В.И., Падарян В.А., Тихонов А.Ю. «Набор модулей обработки системы высокоскоростного анализа сетевого трафика «Конвеер». Свидетельство о государственной регистрации программы для ЭВМ № 2021616030 от 15.04.2021
  100. Гайсарян С.С., Гетьман А.И., Маркин Ю.В., Иконникова М.К., Егоров В.И., Падарян В.А., Тихонов А.Ю. «Веб-интерфейс системы высокоскоростного анализа сетевого трафика «Конвеер». Свидетельство о государственной регистрации программы для ЭВМ № 2021615802 от 13.04.2021
  101. Редникина Д.Ю., Яцков А.К., Варламов М.И., Кузнецова О.Ю., Жибоедова А.А., Жаботинский А.А. «Платформа для управления сбором данных». Свидетельство о государственной регистрации программы для ЭВМ № 2021611755 от 04.02.2021
  102. Майоров В.Д., Трифонов В.Д. «DEREK». Свидетельство о государственной регистрации программы для ЭВМ № 2021611249 от 25.01.2021
  103. Майоров В.Д., Трифонов В.Д., Кудинова С.Д., Турдаков Д.Ю. «Talisman-IE: Программный модуль извлечения информации из неструктурированных текстов». Свидетельство о государственной регистрации программы для ЭВМ № 2021611125 от 21.01.2021
  104. Варламов М.И., Яцков А.К., Кожевников Р. «Сборщик данных по картам обхода». Свидетельство о государственной регистрации программы для ЭВМ № 2021611070 от 21.01.2021
  105. Пастухов Р.К., Турдаков Д.Ю., Рындин М.А., Кузнецова О.Ю. «Система управления конвейером обогащения данных». Свидетельство о государственной регистрации программы для ЭВМ № 2020667808 от 29.12.2020
  106. Жаботинский А.А., Яцков А.К. «Система автоматического восстановления карт обхода». Свидетельство о государственной регистрации программы для ЭВМ № 2020667661 от 25.12.2020
  107. Маркин Ю.В., Фомин С.А., Козачок А.В., Якушев А.Ю., Обыденков Д.О., Падарян В.А. «Библиотека маркирования текстовых документов на экране путем изменения яркости в областях межстрочных интервалов». Свидетельство о государственной регистрации программы для ЭВМ № 2020667628 от 25.12.2020
  108. Маркин Ю.В., Козачок А.В., Фомин С.А., Обыденков Д.О., Падарян В.А. «Библиотека маркирования текстовых документов при печати за счет вертикального сдвига слов». Свидетельство о государственной регистрации программы для ЭВМ № 2020667627 от 25.12.2020
  109. Маркин Ю.В., Козачок А.В., Фомин С.А., Акопян М.С., Обыденков Д.О., Горбачев П.Н., Козлов С.В., Громей Д.Д., Копылов С.А., Падарян В.А. «Модуль маркирования текстовых документов при печати для ОС семейства Linux». Свидетельство о государственной регистрации программы для ЭВМ № 2020667580 от 24.12.2020
  110. Маркин Ю.В., Козачок А.В., Фомин С.А., Акопян М.С., Обыденков Д.О., Горбачев П.Н., Козлов С.В., Громей Д.Д., Копылов С.А., Кондратьев Б.В., Падарян В.А. «Модуль маркирования текстовых документов при печати для ОС семейства Windows». Свидетельство о государственной регистрации программы для ЭВМ № 2020667579 от 24.12.2020
  111. Маркин Ю.В., Фомин С.А., Козачок А.В., Обыденков Д.О., Горбачев П.Н., Козлов С.В., Громей Д.Д., Копылов С.А., Кондратьев Б.В., Падарян В.А. «Библиотека маркирования текстовых документов при печати за счет горизонтального смещения слов». Свидетельство о государственной регистрации программы для ЭВМ № 2020667592 от 24.12.2020
  112. Пастухов Р.К., Турдаков Д.Ю., Рындин М.А. «Система импорта данных из СУБД». Свидетельство о государственной регистрации программы для ЭВМ № 2020667496 от 23.12.2020
  113. Варламов М.И., Яцков А.К. «Модуль интеграции средства управления браузерами для фреймворка Scrapy». Свидетельство о государственной регистрации программы для ЭВМ № 2020667456 от 23.12.2020
  114. Варламов М.И., Яцков А.К. «Сервис управления браузерами для автоматизированного сбора данных на основе Puppeteer». Свидетельство о государственной регистрации программы для ЭВМ № 2020667455 от 23.12.2020
  115. Маркин Ю.В., Козачок А.В., Фомин С.А., Акопян М.С., Якушев А.Ю., Падарян В.А. «Модуль маркирования текстовых документов на экране для ОС семейства Linux». Свидетельство о государственной регистрации программы для ЭВМ № 2020667307 от 22.12.2020
  116. Маркин Ю.В., Козачок А.В., Фомин С.А., Акопян М.С., Обыденков Д.О., Якушев А.Ю., Падарян В.А. «Модуль маркирования текстовых документов на экране для ОС семейства Windows». Свидетельство о государственной регистрации программы для ЭВМ № 2020667308 от 22.12.2020
  117. Буздалов Д.В. «DepTyCheck - Генератор данных сложной структуры по описанию на языке с зависимыми типами». Свидетельство о государственной регистрации программы для ЭВМ № 2020667264 от 22.12.2020
  118. Пастухов Р.К., Скорняков К.А. «Система поддержки однонаправленной передачи данных». Свидетельство о государственной регистрации программы для ЭВМ № 2020667081 от 21.12.2020
  119. Козлов И.С., Беляева О.В., Перминов А.И., Богатенкова А.О. «Dedoс». Свидетельство о государственной регистрации программы для ЭВМ № 2020667079 от 21.12.2020
  120. Кущук Д.О., Рындин М.А. «Система атаки на публичные тесты Тьюринга». Свидетельство о государственной регистрации программы для ЭВМ № 2020667053 от 21.12.2020
  121. Турдаков Д.Ю., Рындин М.А., Козлов И.С., Дерюгин М.А., Кущук Д.О., Лагута А.В., Жаров А.А., Кузнецова О.Ю., Тапехин А.Н., Трофимович Ю.С., Байкова Е.Ю., Жибоедова А.А. «Talisman-KB: Система управления базой знаний». Свидетельство о государственной регистрации программы для ЭВМ № 2020667080 от 21.12.2020
  122. Козлов И.С., Беляева О.В., Перминов А.И., Богатенкова А.О. «Docreader». Свидетельство о государственной регистрации программы для ЭВМ № 2020666950 от 18.12.2020
  123. Швецова В.В., Борисова А.А., Борисенко О.Д. «Clouni». Свидетельство о государственной регистрации программы для ЭВМ № 2020666943 от 18.12.2020
  124. Редникина Д.Ю., Яцков А.К., Кузнецова О.Ю., Жибоедова А.А. «Интерфейс для платформы управления сбором данных». Свидетельство о государственной регистрации программы для ЭВМ № 2020666864 от 17.12.2020
  125. Дробышевский М.Д., Шайхелисламов Д.С., Айвазов Д.А. «Фреймворк для сравнения алгоритмов обхода графов». Свидетельство о государственной регистрации программы для ЭВМ № 2020666871 от 17.12.2020
  126. Андреев П.К., Карпулевич Е.А., Скорик С.Н. «Программа для сегментации сосудов». Свидетельство о государственной регистрации программы для ЭВМ № 2020666742 от 16.12.2020
  127. Гомзин А.Г., Дробышевский М.Д., Турдаков Д.Ю. «Фреймворк для сравнения методов предсказания значений атрибутов пользователей социальных сетей». Свидетельство о государственной регистрации программы для ЭВМ № 2020666741 от 16.12.2020
  128. Иванов А.В., Кошелев К.Б., Мельникова В.Г., Стрижак С.В. «iceFoam». Свидетельство о государственной регистрации программы для ЭВМ № 2020666073 от 04.12.2020
  129. Черток Н.Д. «SCE-MI Bridge. Библиотека поддержки коэмуляции цифровой аппаратуры». Свидетельство о государственной регистрации программы для ЭВМ № 2020665673 от 30.11.2020
  130. Коцыняк А.М. «MIR: Библиотека для представления и преобразования спецификаций системы команд микропроцессоров». Свидетельство о государственной регистрации программы для ЭВМ № 2020665698 от 30.11.2020
  131. Камкин А.С., Лебедев М.С, Смолов С.А. «Тестовый набор для парсеров языка Verilog на основе примеров стандарта IEEE 1364-2005». Свидетельство о государственной регистрации программы для ЭВМ № 2020665244 от 24.11.2020
  132. Камкин А.С., Чупилко М.М. «Программа-генератор тестовых программ для проведения пост-производственного тестирования микропроцессоров MicroTESK Online Test Program Generator для системы команд RISC-V». Свидетельство о государственной регистрации программы для ЭВМ № 2020664884 от 19.11.2020
  133. Камкин А.С., Лебедев М.С., Смолов С.А., Данилов А.А. «Verilog Translator. Синтаксический анализатор описаний цифровой аппаратуры». Свидетельство о государственной регистрации программы для ЭВМ № 2020664789 от 18.11.2020
  134. Курмангалеев Ш.Ф., Саргсян С.С., Варданян В. Г., Асланян А. К., Акопян Д.А., Арутюнян М.С., Меграбян М.С., Мовсисян О.М., Саргсян К.Г., Оганесян Р.А. «ISP Genes». Свидетельство о государственной регистрации программы для ЭВМ № 2020663670 от 30.10.2020
  135. Ерошкин С.Г., Юрель Н.В., Сергеева Е.А., Кузьмин А.А. «Svacer». Свидетельство о государственной регистрации программы для ЭВМ № 2020662727 от 16.10.2020
  136. Ерошкин С.Г., Юрель Н.В., Сергеева Е.А., Кузьмин А.А. «Svacer WEB UI». Свидетельство о государственной регистрации программы для ЭВМ № 2020662466 от 14.10.2020
  137. Ерошкин С.Г., Юрель Н.В., Сергеева Е.А., Кузьмин А.А. «Svacer Intermediate Store». Свидетельство о государственной регистрации программы для ЭВМ № 2020662401 от 13.10.2020
  138. Ерошкин С.Г., Юрель Н.В., Сергеева Е.А., Кузьмин А.А. «Svacer CLI». Свидетельство о государственной регистрации программы для ЭВМ № 2020662305 от 12.10.2020
  139. Вишняков А.В., Федотов А.Н., Куц Д.О., Новиков А.А., Курмангалеев Ш.Ф. «Инструмент динамической символьной интерпретации Sydr». Свидетельство о государственной регистрации программы для ЭВМ № 2020662214 от 09.10.2020
  140. Ефремов Д.В. «Программа воспроизведения системных вызовов ОС на Event-B модели». Свидетельство о государственной регистрации программы для ЭВМ № 2020661855 от 01.10.2020
  141. Путро П.А., Мандрыкин М.У. «Программа генерации монадического представления Си-программ». Свидетельство о государственной регистрации программы для ЭВМ № 2020661856 от 01.10.2020
  142. Мандрыкин М.У., Хорошилов А.В. «Программный модуль построения, оптимизации и детерминированного воспроизведения доказательств с помощью суперпозиционных решателей и решателей формул в теориях». Свидетельство о государственной регистрации программы для ЭВМ № 2020661715 от 30.09.2020
  143. Хорошилов А.В. «Программа генерации формальной автоматной модели на основе формализованной модели требований на языке Reka». Свидетельство о государственной регистрации программы для ЭВМ № 2020661669 от 29.09.2020
  144. Курмангалеев Ш.Ф., Федотов А.Н. «Crusher». Свидетельство о государственной регистрации программы для ЭВМ № 2020661417 от 23.09.2020
  145. Пастухов Р.К., Борисенко О.Д. «Эстуарий». Свидетельство о государственной регистрации программы для ЭВМ № 2020661291 от 21.09.2020
  146. Аксенова Е.Л., Лазарев Н.А., Бадалян Д. А., Приловский Р.М., Богомолов И.В., Борисенко О.Д., Карпулевич Е.А., Швецова В.В., Тапехин А.Н. «Средство развертывания распределенных сервисов в облачной среде». Свидетельство о государственной регистрации программы для ЭВМ № 2020612384 от 20.02.2020
  147. Борисенко О.Д., Пастухов Р.К., Лазарев Н.А., Борисов П.Г «Инструмент запуска кластера Apache Spark для облачной платформы Openstack». Свидетельство о государственной регистрации программы для ЭВМ № 2020610586 от 16.01.2020
  148. Гетьман А.И., Евгин А.А. «Программа идентификации веб-приложений на основе анализа сетевого трафика». Свидетельство о государственной регистрации программы для ЭВМ № 2020610616 от 17.01.2020
  149. Мордань В.О. «Benchmark Visualizer: визуализатор результатов верификации». Свидетельство о государственной регистрации программы для ЭВМ № 2020610529 от 15.01.2020
  150. Архипенко К.В., Турдаков Д.Ю. «Программное средство «Динамическое обновление словарей предметной области». Свидетельство о государственной регистрации программы для ЭВМ № 2020610528 от 15.01.2020
  151. Камкин А.С., Проценко А.С., Татарников А.Д. «Программная модель архитектуры MIPS». Свидетельство о государственной регистрации программы для ЭВМ № 2020610254 от 13.01.2020
  152. Обыденков Д.О., Фролов А.Е. «Программа анализа качества публичных прокси-серверов». Свидетельство о государственной регистрации программы для ЭВМ № 2020610209 от 10.01.2020
  153. Страх А.В., Алексашин К.В. «Программа составления точечного маршрута с обходом препятствий и группировкой для графических соединений GEF». Свидетельство о государственной регистрации программы для ЭВМ № 2020610213 от 10.01.2020
  154. Хорошилов А.В. «Программа генерации кода на Си на основе полуформальной модели требований». Свидетельство о государственной регистрации программы для ЭВМ № 2020610212 от 10.01.2020
  155. Мордань В.О. «Continuous Verification Framework: инструментарий для ведения непрерывной верификации». Свидетельство о государственной регистрации программы для ЭВМ № 2020610211 от 10.01.2020
  156. Мордань В.О. «Witness Visualizer: визуализатор трасс ошибок инструментов статической верификации». Свидетельство о государственной регистрации программы для ЭВМ № 2020610210 от 10.01.2020
  157. Путро П.А., Хорошилов А.В. «Модуль трансляции ACSL спецификаций в логические SMT-LIB утверждения». Свидетельство о государственной регистрации программы для ЭВМ № 2020610208 от 10.01.2020
  158. Захаров И.С. «Klever Environment Model Generator 3.0». Свидетельство о государственной регистрации программы для ЭВМ № 2020610094 от 09.01.2020
  159. Захаров И.С., Новиков Е.М. «Klever Program Fragment Generator 3.0». Свидетельство о государственной регистрации программы для ЭВМ № 2020610039 от 09.01.2020
  160. Обыденков Д.О., Фролов А.Е. «Программа сбора прокси-серверов из открытых источников». Свидетельство о государственной регистрации программы для ЭВМ № 2020610617 от 17.01.2020
  161. Тапехин А.Н., Великанов О.В., Богомолов И.В., Жижченко М.М,, Лагута А.В., Мельник Д.М. «Система динамического тестирования согласованности и устойчивости In Memory Data Grid Apache Ingite». Свидетельство о государственной регистрации программы для ЭВМ № 2020610093 от 09.01.2020
  162. Путро П.А., Хорошилов А.В. «Модуль слияния и верификации SMT-LIB модели машинного кода и контрактной спецификации функции». Свидетельство о государственной регистрации программы для ЭВМ № 2020610214 от 10.01.2020
  163. Гратинский В.А., Новиков Е.М. «Klever Bridge 3.0». Свидетельство о государственной регистрации программы для ЭВМ № 2019667757 от 26.12.2019
  164. Приловский Р.М., Тапехин А.Н., Дробышевский М.Д., Недумов Я.Р., Пастухов Р.К., Скорняков К.А., Турдаков Д.Ю. «Модельная банковская система, симулирующая работу со счетами и обработку транзакций денежных переводов». Свидетельство о государственной регистрации программы для ЭВМ № 2019667756 от 26.12.2019
  165. Козачок А.В., Горбачев П.Н., Турдаков Д.Ю., Акопян М.С. «Модуль обнаружения утечки электронных текстовых документов». Свидетельство о государственной регистрации программы для ЭВМ № 2019665296 от 21.11.2019
  166. Вишняков А.В., Нурмухаметов А.Р.,Курмангалеев Ш.Ф., Федотов А.Н. «Инструмент мультиархитектурной генерациицепочек возвратно-ориентированного программирования "MAJORCA». Свидетельство о государственной регистрации программы для ЭВМ № 2019664648 от 11.11.2019
  167. Борисенко О.Д., Богомолов И.В., Швецова В.В., Приловский Р.М., Тапехин А.Н., Карпулевич Е.А., Лазарев Н.А., Аксенова Е.Л., Бадалян Д. А. «Система автоматического развертывания смешанной облачной среды для представления виртуальных машин и контейнеров по запросу». Свидетельство о государственной регистрации программы для ЭВМ № 2019664441 от 07.11.2019
  168. Дробышевский М.Д., Козлов И.С., Турдаков Д.Ю. «Генератор графов, похожих на данный». Свидетельство о государственной регистрации программы для ЭВМ № 2019664280 от 02.11.2019
  169. Курмангалеев Ш.Ф., Нурмухаметов А.Р., Вишняков А.В., Федотов А.Н. «Восстановление отладочной информации в бинарном файле «BINRECOVERY». Свидетельство о государственной регистрации программы для ЭВМ № 2019661046 от 16.08.2019
  170. Курмангалеев Ш.Ф., Саргсян С.С.,  Асланян А.К., Иванов Г.С. «Инструмент поиска клонов кода для бинарных файлов «BINCCD». Свидетельство о государственной регистрации программы для ЭВМ № 2019661048 от 16.08.2019
  171. Курмангалеев Ш.Ф., Мишечкин М.В., Акользин В.В., Саргсян С.С. «Инструмент фаззинга программ «ISP-Fuzzer». Свидетельство о государственной регистрации программы для ЭВМ № 2019661047 от 16.08.2019
  172. Курмангалеев Ш.Ф., Иванов Г.С., Варданян В.Г., Асланян А.К., Федотов А.Н., Саргсян С.С. «Инструмент анализа изменений между двумя версиями программы «patchAnalysis». Свидетельство о государственной регистрации программы для ЭВМ № 2019661049 от 16.08.2019
  173. Шимчик Н.В., Корябкин Д.А., Игнатьев В.Н., Беляев М.В. «Подсистема валидации предупреждений об ошибках, сгенерированных анализатором помеченных данных, с помощью методов символьного выполнения». Свидетельство о государственной регистрации программы для ЭВМ № 2019661044 от 16.08.2019
  174. Курмангалеев Ш.Ф., Саргсян С.С.,  Варданян В.Г., Иванов Г.С. «Инструмент поиска клонов кода для C/C++ программ «CCD». Свидетельство о государственной регистрации программы для ЭВМ № 2019660800 от 13.08.2019
  175. Недумов Я.Р., Аникин Д.С., Пастухов Р.К., Варламов М.И., Дробышевский М.Д., Лагута А.В., Пеганова И.О., Реброва А.Д., Трофимович Ю.С., Турдаков Д.Ю., Яцков А.К. SCINOON. Свидетельство о государственной регистрации программы для ЭВМ № 2019660715 от 12.08.2019
  176. Курмангалеев Ш.Ф., Мишечкин М.В., Акользин В.В., Саргсян С.С. «Модуль направленного фаззинга программ для «ISP-Fuzzer». Свидетельство о государственной регистрации программы для ЭВМ № 2019660716 от 12.08.2019
  177. Бакулин М.Г., Егоров Д.И., Климушенкова М.А., Падарян В.А. «Инструмент полносистемного динамического анализа помеченных данных «Лакмус». Свидетельство о государственной регистрации программы для ЭВМ № 2019660639 от 09.08.2019
  178. Курмангалеев Ш.Ф.,Иванов Г.С., Варданян В.Г., Асланян А.К. «Инструмент для статического анализа бинарного кода «BinSide». Свидетельство о государственной регистрации программы для ЭВМ № 2019660611 от 09.08.2019
  179. Курмангалеев Ш.Ф., Нурмухаметов А.Р., Вишняков А.В., Федотов А.Н. «Инструмент классификации гаджетов возвратно-ориентированного программирования «GCF». Свидетельство о государственной регистрации программы для ЭВМ № 2019660612 от 09.08.2019
  180. Курмангалеев Ш.Ф., Нурмухаметов А.Р., Вишняков А.В., Федотов А.Н. «Инструмент восстановления семантики цепочек возвратно-ориентированного программирования «ROPDEC». Свидетельство о государственной регистрации программы для ЭВМ № 2019660637 от 09.08.2019
  181. Шимчик Н.В., Корябкин Д.А., Игнатьев В.Н., Беляев М.В. «Инфраструктура статического анализа помеченных данных для программ на языках Си и C++». Свидетельство о государственной регистрации программы для ЭВМ № 2019660638 от 09.08.2019
  182. Аветисян А.И., Гайсарян С.С., Гетьман А.И., Маркин Ю.В., Падарян В.А., Обыденков Д.О., Тихонов А.Ю. «Инструмент отложенного анализа сетевого трафика системы «ПРОТОСФЕРА». Свидетельство о государственной регистрации программы для ЭВМ № 2019614467 от 05.04.2019.
  183. Семина Н.В., Недумов Я.Р. «Система для автоматического определения степени влияния цитирования на основе контекста». Свидетельство о государственной регистрации программы для ЭВМ № 2019614419 от 04.04.2019.
  184. Аветисян А.И., Гайсарян С.С., Гетьман А.И., Маркин Ю.В., Падарян В.А., Обыденков Д.О., Тихонов А.Ю. «Набор модулей поддержки сетевых протоколов системы «ПРОТОСФЕРА». Свидетельство о государственной регистрации программы для ЭВМ № 2019614452 от 04.04.2019.
  185. Аветисян А.И., Гайсарян С.С., Гетьман А.И., Маркин Ю.В., Падарян В.А., Обыденков Д.О., Тихонов А.Ю. «Ядро системы глубокого разбора пакетов «ПРОТОСФЕРА». Свидетельство о государственной регистрации программы для ЭВМ № 2019614453 от 04.04.2019.
  186. Епихин А.С. «Программный модуль для расчета дозвуковых нестационарных турбулентных течений с использованием гибридного URANS/LES подхода». Свидетельство о государственной регистрации программы для ЭВМ № 2019611059 от 21.01.2019.
  187. Борисенко О.Д., Тапехин А.Н., Богомолов И.В. «Lingvodoc». Свидетельство о государственной регистрации программы для ЭВМ № 2018666942 25.12.2018.
  188. Борисенко О.Д., Лазарев Н.А. «Модуль поддержки формата JSON в H2 Database Engine и Apache Ignite для построения промышленной информационно-аналитической системы высокой доступности». Свидетельство о государственной регистрации программы для ЭВМ № 2018666940 от 25.12.2018.
  189. Борисенко О.Д., Бадалян Д.А. «Cистема анализа и сравнения производительности in-memory computing архитектур Apache Ignite и VoltDB с точки зрения реляционных запросов». Свидетельство о государственной регистрации программы для ЭВМ № 2018666941 от 25.12.2018.
  190. Вартанов С.П. «Модуль динамического символьного исполнения Java-программ». Свидетельство о государственной регистрации программы для ЭВМ № 2018664176 от 12.11.2018.
  191. Савченко В.В., Волков А.С. «Библиотека интеллектуального автодополнения исходного кода программ». Свидетельство о государственной регистрации программы для ЭВМ № 2018664042 от 09.11.2018.
  192. Вартанов С.П., Герасимов А.Ю., Ермаков М.К. «Инструмент профилирования оперативной памяти Java программ для операционной системы Android». Свидетельство о государственной регистрации программы для ЭВМ № 2018663949 от 07.11.2018.
  193. Вартанов С.П. «Трассировщик байт-кода языка Java». Свидетельство о государственной регистрации программы для ЭВМ № 2018663950 от 07.11.2018.
  194. Елизарова Т.Г., Крапошин М.В., Смирнова Е.В., Истомина М.А., Рязанов Д.А. «Программа численного моделирования сжимаемых течений вязкого совершенного газа с помощью регуляризованных уравнений газодинамики (квазигазодинамических уравнений)». Свидетельство о государственной регистрации программы для ЭВМ № 2018663951 от 07.11.2018.
  195. Камкин А.С., Пакулин Н.В., Проценко А.С., Сортов А.А., Чупилко М.М. «Программа динамической модульной верификации описаний цифровой аппаратуры C++TESK Testing Toolkit». Свидетельство о государственной регистрации программы для ЭВМ № 2018663567 от 31.10.2018.
  196. Камкин А.С., Проценко А.С., Татарников А.Д. «Программная модель архитектуры RISC-V». Свидетельство о государственной регистрации программы для ЭВМ № 2018663565 от 31.10.2018.
  197. Кулямин В.В. «Инструмент выполнения и анализа результатов тестов математических функций на числах с плавающей точкой». Свидетельство о государственной регистрации программы для ЭВМ № 2018663564 от 31.10.2018.
  198. Хорошилов А.В. «Программа сопоставления каталога требований Requality с полуформальной моделью требований». Свидетельство о государственной регистрации программы для ЭВМ № 2018663566 от 31.10.2018.
  199. Кулямин В.В. «Summer: Инструмент разработки и выполнения тестов, использующих обход автоматных моделей, для программ на Java». Свидетельство о государственной регистрации программы для ЭВМ № 2018663389 от 26.10.2018.
  200. Хорошилов А.В. «RekaGen: Система генерации спецификации требований к программному обеспечению на основе полуформальной модели». Свидетельство о государственной регистрации программы для ЭВМ № 2018663387 от 26.10.2018.
  201. Щепетков И.В. «Программа для извлечения и анализа информации о процессе сборки и исходном коде программ на языке Си». Свидетельство о государственной регистрации программы для ЭВМ № 2018663388 от 26.10.2018.
  202. Маллачиев К.А., Хорошилов А.В. «Система автоматизации разработки драйверов ОСРВ на основе компонентного подхода». Свидетельство о государственной регистрации программы для ЭВМ № 2018663390 от 26.10.2018.
  203. Цыварев А.В., Хорошилов А.В. «Система тестирования устойчивости ядра ОС к нештатным ситуациям». Свидетельство о государственной регистрации программы для ЭВМ № 2018663210 от 23.10.2018.
  204. Камкин А.С., Лебедев М.С., Мельниченко И.В., Проценко А.С., Смолов С.А., Чупилко М.М. «Retrascope: Программа анализа HDL-описаний цифровой аппаратуры». Свидетельство о государственной регистрации программы для ЭВМ № 2018663000 от 18.10.2018.
  205. Васильев И. А., Довгалюк П. М., Фурсова Н. И., Иванов А. В. «Система взаимосвязанных плагинов для симулятора QEMU для осуществления инструментирования и интроспекции гостевой системы». Свидетельство о государственной регистрации программы для ЭВМ № 2018615624 от 11.05.2018.
  206. Турдаков Д. Ю., Скорняков К. А., Архипенко К. В., Варламов М. И., Гилязев Р. А., Гомзин А. Г., Дробышевский М. Д., Жаботинский А. А., Лагута А. В., Рындин М. А., Трофимович Ю. С., Яцков А. К., Андрианов И. А., Борисенко О. Д. «TALISMAN». Свидетельство о государственной регистрации программы для ЭВМ № 2018615539 от 10.05.2018.
  207. Абакумов М. А., Довгалюк П. М." «Модуль для скрытой отладки программ в симуляторе QEMU с помощью отладчика WinDbg». Свидетельство о государственной регистрации программы для ЭВМ № 2018615551 от 10.05.2018.
  208. Аветисян А. И., Бакулин М. Г., Бугеря А. Б., Гайсарян С. С., Гетьман А. И., Каушан В. В., Ким Е. С., Манушин Д. В., Маркин Ю. В., Падарян В. А., Панасенко С. С., Соловьев М. А., Федотов А. Н. «Среда анализа бинарного кода «ТРАЛ». Свидетельство о государственной регистрации программы для ЭВМ № 2018615440 от 08.05.2018.
  209. Грушин Д. А., Самоваров О. И., Хашба Э. В. «SaaS платформа организации единой Web-среды исследований, разработок и образования «FANLIGHT». Свидетельство о государственной регистрации программы для ЭВМ № 2018615444 от 08.05.2018.
  210. Лаврищева Е. М. «Реализация метода онтологического моделирования домена ЖЦ стандарта ISO/IEC 12207». Свидетельство о государственной регистрации программы для ЭВМ № 2018615442 от 08.05.2018.
  211. Довгалюк П. М., Климушенкова М. А., Дмитриев Д. С. «Подсистема для записи и воспроизведения работы виртуальной машины в симуляторе QEMU». Свидетельство о государственной регистрации программы для ЭВМ № 2018615412 от 08.05.2018.
  212. Камкин А.С., Татарников А.Д., Коцыняк А.М. «MicroTESK: Инструмент автоматизации конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций их архитектуры». Свидетельство о государственной регистрации программы для ЭВМ № 2017663551 от 07.12.2017.
  213. Полушкин А.Ю., Захаров И.С. «Klever Linux Kernel Verification Objects Generator». Свидетельство о государственной регистрации программы для ЭВМ № 2017660773 от 26.09.2017.
  214. Захаров И.С., Новиков Е.М. «Klever Environment Model Generator for Linux Kernel Modules». Свидетельство о государственной регистрации программы для ЭВМ № 2017660774 от 26.09.2017.
  215. Новиков Е.М. «Klever Core». Свидетельство о государственной регистрации программы для ЭВМ № 2017660775 от 26.09.2017.
  216. Захаров И.С. «Klever Verification Scheduler». Свидетельство о государственной регистрации программы для ЭВМ № 2017660776 от 26.09.2017.
  217. Гратинский В.А., Новиков Е.М. «Klever Bridge». Свидетельство о государственной регистрации программы для ЭВМ № 2017660787 от 26.09.2017.
  218. Камкин А.С., Татарников А.Д., Коцыняк А.М., Смолов С.А. «Fortress: Набор модулей для описания и преобразования формул и разрешения ограничений». Свидетельство о государственной регистрации программы для ЭВМ № 2017660813 от 26.09.2017.
  219. Игнатьев В.Н., Кошелев В.К., Борзилов А.И., Белеванцев А.А., Шимчик Н.В., Беляев М.В. «Инфраструктура анализа помеченных данных инструмента статического анализа «SharpChecker». Свидетельство о государственной регистрации программы для ЭВМ № 2017660157 от 18.09.2017.
  220. Игнатьев В.Н., Кошелев В.К., Борзилов А.И., Белеванцев А.А., Шимчик Н.В., Беляев М.В. «Детектор недостижимого кода в программах на языке C# инструмента статического анализа «SharpChecker». Свидетельство о государственной регистрации программы для ЭВМ № 2017660156 от 18.09.2017.
  221. Крапошин М.В. «Программный комплекс моделирования сжимаемых течений в широком диапазоне чисел Маха». Свидетельство о государственной регистрации программы для ЭВМ № 2017660155 от 18.09.2017.
  222. Вартанов С.П., Герасимов А.Ю., Ермаков М.К., Круглов Л.В., Куц Д.О., Новиков А.А. «Anxiety: модуль параллельных вычислений для инструмента итеративного динамического символьного исполнения». Свидетельство о государственной регистрации программы для ЭВМ № 2017660154 от 18.09.2017.
  223. Белеванцев А.А. «Инструмент «Инструмент преобразования Java-библиотек ОС Android формата Jack в формат JAR «Llij». Свидетельство о государственной регистрации программы для ЭВМ № 2017660048 от 13.09.2017.
  224. Крапошин М.В., Стрижак С.В., Корчагова В.Н., Евдокимов И.Е. «Инструментарий численного анализа акустического шума в дальнем поле». Свидетельство о государственной регистрации программы для ЭВМ № 2017660047 от 13.09.2017.
  225. Курмангалеев Ш.Ф., Нурмухаметов А.Р. «Инструмент «Faslr» для усиления системной защиты при запуске программ в ОС Linux». Свидетельство о государственной регистрации программы для ЭВМ № 2017660041 от 13.09.2017.
  226. Игнатьев В.Н., Кошелев В.К., Борзилов А.И., Белеванцев А.А., Шимчик Н.В., Беляев М.В. «Расширение Microsoft Visual Studio 2015 для интеграции с инструментом статического анализа «SharpChecker». Свидетельство о государственной регистрации программы для ЭВМ № 2017660039 от 13.09.2017.
  227. Вартанов С.П., Герасимов А.Ю., Ермаков М.К., Круглов Л.В., Куц Д.О., Новиков А.А. «Anxiety: модуль интеграции с фаззером». Свидетельство о государственной регистрации программы для ЭВМ № 2017660038 от 13.09.2017.
  228. Вартанов С.П., Герасимов А.Ю., Ермаков М.К., Круглов Л.В. «Anxiety: модульный инструмент итеративного динамического символьного исполнения программ». Свидетельство о государственной регистрации программы для ЭВМ № 2017660037 от 13.09.2017.
  229. Бучацкий Р.А., Жуйков Р.А., Шарыгин Е.Ю., Скворцов Л.В., Баев Р.В., Мельник Д.М. «Реализация метода динамической компиляции выражений в SQL-запросах для СУБД PostgreSQL». Свидетельство о государственной регистрации программы для ЭВМ № 2017660035 от 13.09.2017.
  230. Вартанов С.П., Герасимов А.Ю., Ермаков М.К., Круглов Л.В. «Anxiety: модуль направленного анализа для инструмента итеративного динамического символьного исполнения программ». Свидетельство о государственной регистрации программы для ЭВМ № 2017660034 от 13.09.2017.
  231. Соловьев М.А., Кудрявцев А.О. «Программный комплекс, обеспечивающий декодирование машинных команд процессорных архитектур x86 и x86-64 (quix86)». Свидетельство о государственной регистрации программы для ЭВМ № 2017610624 от 16.01.2017.
  232. Пожарицкий Д.М., Рыжов А.Г., Грушин Д.А. «Интерфейс пользователя системы Unihub». Свидетельство о государственной регистрации программы для ЭВМ № 2017610521 от 12.01.2017.
  233. Грушин Д.А., Пожарицкий Д.М., Рыжов А.Г. «Система управления графическим окружением пользователей внутри виртуальных машин». Свидетельство о государственной регистрации программы для ЭВМ № 2017610513 от 12.01.2017.
  234. Рыжов А.Г., Пожарицкий Д.М., Грушин Д.А. «Интерфейс администратора системы Unihub». Свидетельство о государственной регистрации программы для ЭВМ № 2017610518 от 12.01.2017.
  235. Грушин Д.А., Рыжов А.Г., Пожарицкий Д.М. «Web-интерфейс для совместного доступа к графическому окружению внутри виртуальных машин». Свидетельство о государственной регистрации программы для ЭВМ № 2017610525 от 12.01.2017.
  236. Жуйков Р.А., Бучацкий Р.А., Мельник Д.М., Шарыгин Е.Ю. «Реализация метода предварительной компиляции путем сохранения байткода в JavaScript движкe Webkit». Свидетельство о государственной регистрации программы для ЭВМ № 2017610520 от 12.01.2017.
  237. Иванишин В.А., Бучацкий Р.А., Мельник Д.М. «Реализация метода динамической компиляции программ на языке JavaScript в статически типизированное внутреннее представление компилятора LLVM для среды исполнения JavaScript V8». Свидетельство о государственной регистрации программы для ЭВМ № 2017610522 от 12.01.2017.
  238. Шарыгин Е.Ю., Жуйков Р.А. «Реализация схемы предварительной компиляции путем сохранения промежуточного внутреннего представления для JavaScript движка V8». Свидетельство о государственной регистрации программы для ЭВМ № 2017610253 от 09.01.2017.
  239. Игнатьев В.Н., Кошелев В.К., Борзилов А.И., Белеванцев А.А., Велесевич Е.А. «Инфраструктура анализа потоков данных инструмента статического анализа «SharpChecker». Свидетельство о государственной регистрации программы для ЭВМ № 2017610519 от 12.01.2017.
  240. Игнатьев В.Н., Кошелев В.К., Борзилов А.И., Белеванцев А.А., Велесевич Е.А. «Набор детекторов ошибок в программах на языке C# инструмента статического анализа «SharpChecker». Свидетельство о государственной регистрации программы для ЭВМ № 2017610524 от 12.01.2017.
  241. Игнатьев В.Н., Кошелев В.К., Борзилов А.И., Белеванцев А.А., Велесевич Е.А. «Инфраструктура чувствительного к контексту вызова, потоку и путям исполнения анализа инструмента «SharpChecker». Свидетельство о государственной регистрации программы для ЭВМ № 2017610526 от 12.01.2017.
  242. Нурмухаметов А.Р., Курмангалеев Ш.Ф., Гайсарян С.С., Чукляев И.И. «Обфусцирующий компилятор для затруднения эксплуатации уязвимостей». Свидетельство о государственной регистрации программы для ЭВМ № 2016661393 от 07.10.2016.
  243. Круглов Л.В., Вартанов С.П., Герасимов А.Ю., Ермаков М.К. «Инструмент вычисления наборов входных данных для достижения определенной инструкции в программе». Свидетельство о государственной регистрации программы для ЭВМ № 2016660244 от 09.09.2016.
  244. Круглов Л.В., Вартанов С.П., Герасимов А.Ю., Ермаков М.К. «Инструмент итеративного динамического анализа программ». Свидетельство о государственной регистрации программы для ЭВМ № 2016660242 от 08.09.2016.
  245. Ермаков М.К., Вартанов С.П., Герасимов А.Ю. «Инструмент итеративного динамического анализа Java-программ Coffe-Machine». Свидетельство о государственной регистрации программы для ЭВМ № 2016619019 от 11.08.2016.
  246. Ермаков М.К., Вартанов С.П., Герасимов А.Ю., Чукляев И.И. «Инструментатор исполняемого кода ELF ARM на базе пакета binutils». Свидетельство о государственной регистрации программы для ЭВМ № 2016619020 от 11.08.2016.
  247. Щепетков И.В. «Программа построения контекстно-зависимого графа вызовов функций по исходным текстам на языке программирования Си». Свидетельство о государственной регистрации программы для ЭВМ № 2016618339 от 27.07.2016.
  248. Мандрыкин М.У., Хорошилов А.В. «Программа дедуктивной верификации программ на языке программирования Си, использующая модель памяти с чувствительным к контексту разделением на непересекающиеся регионы». Свидетельство о государственной регистрации программы для ЭВМ № 2016618347 от 27.07.2016.
  249. Мандрыкин М.У., Хорошилов А.В. «Система дедуктивной верификации программ с возможностью адаптивного моделирования операций над целочисленными данными». Свидетельство о государственной регистрации программы для ЭВМ № 2016618348 от 27.07.2016.
  250. Угненко А.А. «Программа генерации исходного кода текстового редактора специализированного языка для интегрированной среды разработки Eclipse на основе описания грамматики специализированного языка». Свидетельство о государственной регистрации программы для ЭВМ № 2016618340 от 27.07.2016.
  251. Сортов А.А., Хорошилов А.В. «Система статического анализа исходных текстов программ для контроля избыточности на уровне функциональных объектов». Свидетельство о государственной регистрации программы для ЭВМ № 2016618338 от 27.07.2016.
  252. Маллачиев К.А., Пакулин Н.В., Хорошилов А.В. «Операционная система реального времени с поддержкой стандарта ARINC-653». Свидетельство о государственной регистрации программы для ЭВМ № 2016616968 от 22.06.2016.
  253. Мордань В.О. «Программный компонент для проверки нескольких правил корректности за один запуск инструмента статической верификации». Свидетельство о государственной регистрации программы для ЭВМ № 2016616661 от 16.06.2016.
  254. Мордань В.О. «Программный компонент для выявления нескольких нескольких ошибок в программном обеспечении». Свидетельство о государственной регистрации программы для ЭВМ № 2016616600 от 15.06.2016.
  255. Максимов А.В., Хорошилов А.В. «Система тестирования операционных систем на соответствие стандарту ARINC-653». Свидетельство о государственной регистрации программы для ЭВМ № 2016616219 от 08.06.2016.
  256. Сортов А.А., Хорошилов А.В. «Система тестирования встроенных операционных систем на соответствие стандарту POSIX». Свидетельство о государственной регистрации программы для ЭВМ № 2016616221 от 08.06.2016.
  257. Цыварев А.В., Маллачиев К.А., Пакулин Н.В., Хорошилов А.В. «Многоуровневый планировщик операционной системы реального времени». Свидетельство о государственной регистрации программы для ЭВМ № 2016616621 от 22.04.2016.
  258. Алексиянц А.В. «Модуль, реализующий развертывание по запросу кластерных систем, предназначенных для обработки больших данных». Свидетельство о государственной регистрации программы для ЭВМ № 2016612496 от 29.02.2016.
  259. Калугин М.Д., Хашба Э.В. «Программное средство, реализующее управление большими объемами данных, возникающих при численном решении задач механики сплошной среды». Свидетельство о государственной регистрации программы для ЭВМ № 2016612201 от 19.02.2016.
  260. Игнатьев В.Н., Чукляев И.И., Белеванцев А.А. «Инструмент статического анализа «RuleChecker» для языков С и С++». Свидетельство о государственной регистрации программы для ЭВМ № 2016611555 от 04.02.2016.
  261. Игнатьев В.Н., Чукляев И.И., Белеванцев А.А. «Проверочные модули инструмента статического анализа «RuleChecker» для языков С и С++». Свидетельство о государственной регистрации программы для ЭВМ № 2016611504 от 03.02.2016.
  262. Захаров И.С. «Программный компонент решения задач верификации посредством использования инфраструктуры облачного сервиса». Свидетельство о государственной регистрации программы для ЭВМ № 2015662948 от 07.12.2015.
  263. Ефремов Д.В., Хорошилов А.В. «Программа преобразования структуры исходного кода на языке С для его последующей верификации». Свидетельство о государственной регистрации программы для ЭВМ № 2015617942 от 27.07.2015.
  264. Мандрыкин М.У., Хорошилов А.В. «Программа дедуктивной верификации программ на языке Си с возможностью интерпретации участков памяти как объектов разных типов». Свидетельство о государственной регистрации программы для ЭВМ № 2015617941 от 27.07.2015.
  265. Коршунов А.В., Андрианов И.А., Сысоев А.А., Гомзин А.Г., Ипатов С.А., Козлов И.С. «Система сбора пользовательских данных из онлайновых социальных сетей». Свидетельство о государственной регистрации программы для ЭВМ № 2015616047 от 29.05.2015.
  266. Недумов Я.Р., Варламов М.И., Пархоменко П.А. «Система автоматизированного извлечения данных с веб-страниц». Свидетельство о государственной регистрации программы для ЭВМ № 2015615886 от 26.05.2015.
  267. Акопян М.С., Аветисян А.И., Гайсарян С.С. «Среда разработки параллельных программ ParJava». Свидетельство о государственной регистрации программы для ЭВМ № 2015611515 от 30.01.2015.
  268. Пожарицкий Д.М., Самоваров О.И., Андреев О.В., Хашба Э.В. «Вычислительный кластер по запросу». Свидетельство о государственной регистрации программы для ЭВМ № 2015611511 от 29.01.2015.
  269. Акопян М.С., Аветисян А.И., Гайсарян С.С. «Оценка базовых блоков и фрагментов в параллельной MPI программе на языке Java». Свидетельство о государственной регистрации программы для ЭВМ № 2015611510 от 29.01.2015.
  270. Грушин Д.А., Самоваров О.И., Рыжов А.Г., Калугин М.Д. «Контроллер узлов в системем Unihub». Свидетельство о государственной регистрации программы для ЭВМ № 2015611509 от 29.01.2015.
  271. Крапошин М.В., Стрижак С.В. «Модуль обработки данных моделирования вихревых нестационарных турбулентных течений газа и численного моделирования акустических полей». Свидетельство о государственной регистрации программы для ЭВМ № 2013618607 от 12.09.2013.
  272. Акопян М.С., Хашба Э.В. Модуль «Автоматизированное обнаружение шаблонов неэффективности в параллельных MPI, UPC приложениях». Свидетельство о государственной регистрации программы для ЭВМ № 2013618496 от 10.09.2013.
  273. Крапошин М.В., Назаров А.Ю. «Модуль моделирования течения в центробежном копрессоре». Свидетельство о государственной регистрации программы для ЭВМ № 2013618495 от 10.09.2013.
  274. Кудрявцев А.О., Кошелев В.К., Павлович Б., Избышев А.О., Дудина И.А. «Программный комплекс «Виртуальный суперкомпьютер». Свидетельство о государственной регистрации программы для ЭВМ № 2013616331 от 03.07.2013.
  275. Мандрыкин М.У., Мутилин В.С., Хорошилов А.В. «Построитель формул с моделированием памяти для уточнения предикатной абстракции с помощью интерполяции». Свидетельство о государственной регистрации программы для ЭВМ № 2013614375 от 06.05.2013.
  276. Цыварев А.В. «Программа для анализа покрытия исходного кода модулей ядра ОС Linux». Свидетельство о государственной регистрации программы для ЭВМ № 2013610635 от 09.01.2013.
  277. Цыварев А.В., Хорошилов А.В. «Генератор отчета о тестировании, поддерживающий выявление известных проблем на основе соответствия свойств тестов». Свидетельство о государственной регистрации программы для ЭВМ № 2013614341 от 29.04.2013.
  278. Косачев А.С., Бурдонов И.Б., Яковенко П.Н. «Монитор защиты от неавторизованного доступа к локальной сети «Гипергард». Свидетельство о государственной регистрации программы для ЭВМ № 2012660258 от 14.11.2012.
  279. Платонов В.А., Белеванцев А.А. «Библиотека поддержки OpenCL для программирования FPGA». Свидетельство о государственной регистрации программы для ЭВМ № 2012619011 от 05.10.2012.
  280. Вартанов С.П., Сидоров Д.В. «Модуль динамического анализа програм на языке Си/Си++ для среды разработки Eclipse». Свидетельство о государственной регистрации программы для ЭВМ № 2012619014 от 05.10.2012.
  281. Монаков А.В. «Модуль для решения систем линейных уравнений на CUDA-акселераторах для пакета OpenFOAM». Свидетельство о государственной регистрации программы для ЭВМ № 2012619012 от 05.10.2012.
  282. Мандрыкин М.У., Мутилин В.С., Хорошилов А.В. «Интерполирующий решатель, поддерживающий формулы с кванторами в теории линейной арифметики и неинтерпретируемых функций». Свидетельство о государственной регистрации программы для ЭВМ № 2012618566 от 21.09.2012.
  283. Швед П.Е., Новиков Е.М., Мандрыкин М.У., Мутилин В.С., Хорошилов А.В. «Система проверки выполнения проблемно-ориентированных правил для Си программ». Свидетельство о государственной регистрации программы для ЭВМ № 2012615596 от 20.06.2012.
  284. Меркулов А.П. «Модуль кодогенератора C-to-HDL». Свидетельство о государственной регистрации программы для ЭВМ № 2012619013 от 05.10.2012.
  285. Новиков Е.М., Хорошилов А.В. «Программа анализа результатов проверки совместимости драйверов с операционной системой». Свидетельство о государственной регистрации программы для ЭВМ № 2012615638 от 20.06.2012.
  286. Страх А.В., Мутилин В.С. «Программа построения имитационной модели окружения драйвера». Свидетельство о государственной регистрации программы для ЭВМ № 2012615637 от 20.06.2012.
  287. Швед П.Е., Хорошилов А.В. «Система непрерывного обеспечения качества драйверов в git репозитории». Свидетельство о государственной регистрации программы для ЭВМ № 2012615636 от 20.06.2012.
  288. Новиков Е.М. «Система аспектно-ориентированного программирования для языка Си». Свидетельство о государственной регистрации программы для ЭВМ № 2012615598 от 20.06.2012.
  289. Новиков Е.М. «Программа визуализации нарушений совместимости драйверов с операционной системой». Свидетельство о государственной регистрации программы для ЭВМ № 2012615597 от 20.06.2012.
  290. Страх А.В., Швед П.Е. «Программа извлечения конфигурационных параметров сборки драйверов». Свидетельство о государственной регистрации программы для ЭВМ № 2012615595 от 20.06.2012.
  291. Демаков А.В., Щекочихин Ю.С., Власов К.А., Третьяков А.В., Гингина В.В., Федотов В.Н., Хорошилов А.В. «Requality». Свидетельство о государственной регистрации программы для ЭВМ № 2012615328 от 13.06.2012.
  292. Камкин А.С. «MicroTESK». Свидетельство о государственной регистрации программы для ЭВМ № 2012615205 от 08.06.2012.
  293. Турдаков Д.Ю., Сысоев А.А., Кийко А.С. «Blognoon». Свидетельство о государственной регистрации программы для ЭВМ № 2011612802 от 07.04.2011.
  294. Исаев И.К., Сидоров Д.В. «Инструмент для генерации входных данных, демонстрирующих критические ошибки и уязвимости в программах». Свидетельство о государственной регистрации программы для ЭВМ № 2010613170 от 14.05.2010.
  295. Турдаков Д.Ю., Сысоев А.А., Болдаков А.А. «Texterra». Свидетельство о государственной регистрации программы для ЭВМ № 2010611860 от 11.03.2010.
  296. Аветисян А.И., Белеванцев А.А., Гайсарян С.С., Журихин Д.М., Маликов О.Р., Мельник Д.М., Несов В.С., Спиридонов С.В. «Среда межпроцедурного анализа программ». Свидетельство о государственной регистрации программы для ЭВМ № 2006613032 от 31.08.2006.
  297. Марковцев Д.А., Гриневич А.И. «OLVER: открытый тестовый набор для проверки соответствия дистрибутивов OC Linux стандарту LSB Core версии 3.1». Свидетельство о государственной регистрации программы для ЭВМ № 2006613033 от 31.08.2006.
  298. Петренко А.К., Косачев А.С., Демаков А.В., Зеленов С.В., Зеленова С.А., Архипова М.В. «Генератор сложно структуированных тестовых данных на основе их формального описания и построения абстрактных синтаксических деревьев». Свидетельство о отраслевой регистрации разработки № 2006613880 от 10.11.2006.
  299. Аветисян А.И., Белеванцев А.А., Гайсарян С.С., Журихин Д.М., Маликов О.Р., Мельник Д.М., Несов В.С., Спиридонов С.В. «Программа поиска уязвимостей типа переполнения буфера в исходном коде программ на языке C». Свидетельство о государственной регистрации программы для ЭВМ № 2005613149 от 05.12.2005.
  300. Гринев М.Н., Антипин К.В., Болдаков А.А., Фомичев А.В., Кузнецов С.Д., Лизоркин Д.А., Новак Л.Г., Плешачков П.О., Рекуц Мария Павловна «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. Гетьман А.И., Перминов А.И., Рыболовлев Д.А., Мацкевич А.Г., Горюнов М.Н., Булгакова М.И. «Способ генерации состязательных примеров для системы обнаружения вторжений промышленной системы управления». Патент РФ на изобретение № 2805014 от 10.10.2023.
  2. Хорошилов А.В., Девянин П.Н., Кулямин В.В., Оружейников А.Л., Петренко А.К., Щепетков И.В. «Способ верификации формальной автоматной модели поведения программной системы». Патент РФ на изобретение № 2682003 от 14.03.2019.
  3. Турдаков Д.Ю., Недумов Я.Р., Сысоев А.А. «Способ построения семантической модели документа». Патент РФ на изобретение № 2487403 от 10.07.2013.
  4. Иванников В.П., Камкин А.С., Косачев А.С., Кулямин В.В., Петренко А.К. «Способ тестирования компонентов микропроцессоров, тестовый оракул для тестирования компонентов микропроцессоров, способ работы тестового оракула, способ построения тестового оракула». Патент РФ на изобретение № 2409839 от 20.01.2011.
  5. Лизоркин Д.А., Гринев М.Н., Велихов П.Е., Турдаков Д.Ю. «Итерационный способ получения функции похожести между объектами со ссылками». Патент РФ на изобретение № 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.