Даниил Чивилихин

Даниил Чивилихин


Исследовательские группы

Биография

Кандидат технических наук, Университет ИТМО.

Области научных интересов: синтез конечно-автоматных моделей, эволюционные алгоритмы, индустриальная информатика.

Публикации

BeBoSy: Behavior Examples meet Bounded Synthesis

February 2021

Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE Access ( Early Access )

Подробнее

Function block finite-state model identification using SAT and CSP solvers

January 2019

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

IEEE Transactions on Industrial Informatics

Подробнее

Counterexample-guided inference of controller logic from execution traces and temporal formulas

September 2018

Daniil Chivilikhin, Igor Buzhinsky, Vladimir Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin

IEEE

Подробнее

Active Learning of Formal Plant Models For Cyber-Physical Systems

July 2018

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto

IEEE

Подробнее

Modified Ant Colony Algorithm for Constructing Finite State Machines from Execution Scenarios and Temporal Formulas

March 2016

Chivilikhin D., Ulyantsev V., Shalyto A.

Automation and Remote Control, Vol. 77, No. 3. - P.473-484

Подробнее

Reconstruction of Function Block Logic using Metaheuristic Algorithm: Initial Explorations

2015

Chivilikhin D., Shalyto A., Patil S., Vyatkin V.

Proceedings of the 13th IEEE International Conference on Industrial Informatics (INDIN'15), pp. 1239-1242

Подробнее

Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming

2015

Chivilikhin D., Ivanov I., Shalyto A.

Proceedings of 17th Genetic and Evolutionary Computation Conference companion (GECCO'15 companion), pp. 1185-1188

Подробнее

Combining Exact And Metaheuristic Techniques For Learning Extended Finite-State Machines From Test Scenarios and Temporal Properties

2014

Chivilikhin D., Ulyantsev V., Shalyto A.

Proceedings of the 13th International Conference on Machine Learning and Applications (ICMLA'14), pp. 350-355

Подробнее

MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines

2013

Chivilikhin D., Ulyantsev V.

Proceedings of the 15th Genetic and Evolutionary Computation Conference (GECCO'13), pp. 511-518

Подробнее

Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization

2012

Chivilikhin D., Ulyantsev V., Tsarev F.

Proceedings of the 14th international conference on Genetic and Evolutionary Computation companion (GECCO'12), pp. 603-606

Подробнее

Learning Finite-State Machines with Ant Colony Optimization

2012

Chivilikhin D., Ulyantsev V.

Lecture Notes in Computer Science, Vol. 7461/2012, pp. 268-275

Подробнее