Чивилихин Д.С., Корнеев Г.А., Сергушичев А.А., Станкевич А.С., Ульянцев В.И., Буздалов М.В., Шалыто А.А.
Программное средство для тестирования кибер-физических систем в замкнутом цикле на основе проверки моделей
// Свидетельство о регистрации программы для ЭВМ. № 2018619730. Дата регистрации - 11 июля 2018 г.
[pdf]
Авдюхин Д.А., Ульянцев В.И., Чивилихин Д.С., Станкевич А.С., Шалыто А.А. Программное средство для анализа соответствия моделей сценариям исполнения // Свидетельство о регистрации программы для ЭВМ. № 2017617357. Дата регистрации - 21 сентября 2017 г.
[pdf]
Чивилихин Д.С., Ульянцев В.И. Программное средство для построения моделей базисных функциональных блоков по сценариям работы //
Свидетельство о регистрации программы для ЭВМ. № 2017612567. Дата регистрации - 1 марта 2017 г.
[pdf]
Чивилихин Д.С., Ульянцев В.И. Библиотека параллельных муравьиных алгоритмов для построения управляющих конечных автоматов //
Свидетельство о регистрации программы для ЭВМ. № 2015610291. Дата регистрации - 12 января 2015 г.
[pdf]
Чивилихин Д.С., Ульянцев В.И. Программное средство, реализующее муравьиный алгоритм для построения конечных автоматов //
Свидетельство о регистрации программы для ЭВМ. № 2013661249. Дата регистрации - 3 декабря 2013 г.
[pdf]
Чивилихин С.А., Чивилихин Д.С. Программа расчетов процессов формирования наночастиц, нанопластин и нанотрубок "NAEN" //
Свидетельство о регистрации программы для ЭВМ. № 2009615889. Дата регистрации - 24 августа 2009 г.
[pdf]