Даниил Чивилихин
Исследовательские группы
Биография
Кандидат технических наук, Университет ИТМО.
Области научных интересов: синтез конечно-автоматных моделей, эволюционные алгоритмы, индустриальная информатика.
Публикации
BeBoSy: Behavior Examples meet Bounded Synthesis
February 2021
Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev
Function block finite-state model identification using SAT and CSP solvers
January 2019
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
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
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
Modified Ant Colony Algorithm for Constructing Finite State Machines from Execution Scenarios and Temporal Formulas
March 2016
Chivilikhin D., Ulyantsev V., Shalyto A.
Reconstruction of Function Block Logic using Metaheuristic Algorithm: Initial Explorations
2015
Chivilikhin D., Shalyto A., Patil S., Vyatkin V.
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming
2015
Chivilikhin D., Ivanov I., Shalyto A.
Combining Exact And Metaheuristic Techniques For Learning Extended Finite-State Machines From Test Scenarios and Temporal Properties
2014
Chivilikhin D., Ulyantsev V., Shalyto A.
MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines
2013
Chivilikhin D., Ulyantsev V.
Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization
2012
Chivilikhin D., Ulyantsev V., Tsarev F.
Learning Finite-State Machines with Ant Colony Optimization
2012
Chivilikhin D., Ulyantsev V.