Certificates

Intellectual property: programms certificates (RU)

  1. Ульянцев В.И., Царев Ф.Н. Программное средство для построения графа совместимости вершин дерева сценариев работы программы // Свидетельство о регистрации программы для ЭВМ. № 2012616462. Дата регистрации – 18.07.2012. [is.ifmo.ru]
  2. Ульянцев В.И. Программное средство для построения КНФ-формулы по графу совместимости вершин дерева сценариев работы программы // Свидетельство о регистрации программы для ЭВМ. № 2012660438. Дата регистрации – 20.11.2012. [is.ifmo.ru]
  3. Ульянцев В.И. Программный комплекс для построения и тестирования управляющих конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2013619840. Дата регистрации – 17.10.2013. [pdf]
  4. Чивилихин Д.С., Ульянцев В.И. Программное средство, реализующее муравьиный алгоритм для построения конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2013661249. Дата регистрации – 3.12.2013. [pdf]
  5. Чивилихин Д.С., Ульянцев В.И. Библиотека параллельных муравьиных алгоритмов для построения управляющих конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2015610291. Дата регистрации – 12.01.2015. [pdf]
  6. Русин Н.С., Ульянцев В.И., Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Шалыто А.А. Программное средство преобразования полученных методами машинного обучения управляющих автоматов в формат MATLAB/Stateflow // Свидетельство о регистрации программы для ЭВМ. № 2015619224. Дата регистрации – 27.08.2015. [pdf]
  7. Закирзянов И.Т., Ульянцев В.И., Шалыто А.А. Программный комплекс методов машинного обучения DFA-Inductor для построения детерминированных конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2016660665. Дата регистрации – 20.09.2016. [pdf]
  8. Чивилихин Д.С., Ульянцев В.И. Программное средство для построения базисных функциональных блоков по сценариям работы // Свидетельство о государственной регистрации программы для ЭВМ. № 2017612567. Дата регистрации – 01.03.2017. [pdf]
  9. Авдюхин Д.А., Ульянцев В.И., Чивилихин Д.С., Станкевич А.С., Шалыто А.А. Программное средство для анализа соответствия моделей сценариям исполнения // Свидетельство о регистрации программы для ЭВМ. № 2017617357. Дата регистрации – 21.09.2017. [pdf]
  10. Чивилихин Д.С., Корнеев Г.А., Сергушичев А.А., Станкевич А.С., Ульянцев В.И., Буздалов М.В., Шалыто А.А. Программное средство для тестирования кибер-физических систем в замкнутом цикле на основе проверки моделей // Свидетельство о регистрации программы для ЭВМ. № 2018619730. Дата регистрации – 11.07.2018.
  11. Бужинский И.П., Закирзянов И.Т., Миронович В.А., Казаков С.В., Лукин М.А., Буздалова А.С., Ульянцев В.И., Шалыто А.А. Программное средство для генерации дискретной формальной модели объекта управления по примерам поведения // Свидетельство о регистрации программы для ЭВМ. № 2018619728. Дата регистрации – 11.07.2018