Get started
Author

Чивилихин Даниил Сергеевич

Observed names: Chivilikhin, Daniil, Chivilikhin, D., Chivilikhin, Daniil, D. S. Chivilikhin, Daniil Chivilikhin, Daniil S. Chivilikhin
Institution: ITMO University
ORCID: 0000-0002-6417-6254
Observed ORCID: 0000-0002-6417-6254
OpenAlex ID: A5062429578
MoG-VQE: Multiobjective genetic variational quantum eigensolver
2020 · Chivilikhin, D., Samarin, A., et al. · arXiv (Cornell University) · 123
PDF
MuACOsm: a new mutation-based ant colony optimization algorithm for learning finite-state machines
2013 · Daniil Chivilikhin, Vladimir Ulyantsev · Genetic and Evolutionary Computation Conference (GECCO) · 21
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver
2020 · Daniil Chivilikhin, Sandeep Patil, et al. · IEEE Transactions on Industrial Informatics · 18
Formation and evolution of nanoscroll ensembles based on layered-structure compounds
2009 · S. A. Chivilikhin, I. Yu. Popov, et al. · Doklady Physics · 13
Learning Finite-State Machines with Ant Colony Optimization
2012 · Daniil Chivilikhin, Vladimir Ulyantsev · Lecture notes in computer science · 11
On Probabilistic Generalization of Backdoors in Boolean Satisfiability
2022 · Alexander Semenov, Artem Pavlenko, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 9
Function Block Finite-State Model Identification Using SAT and CSP Solvers
2019 · Daniil Chivilikhin, Vladimir Ulyantsev, et al. · IEEE Transactions on Industrial Informatics · 9
Inducing finite state machines from training samples using ant colony optimization
2014 · I. P. Buzhinsky, V. I. Ulyantsev, et al. · Journal of Computer and Systems Sciences International · 9
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms
2021 · Semenov, Alexander, Chivilikhin, Daniil, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 8
PDF
Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties
2014 · Daniil Chivilikhin, Vladimir Ulyantsev, et al. · International Conference on Machine Learning and Applications · 7
Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization
2013 · Daniil S. Chivilikhin, Vladimir I. Ulyantsev, et al. · IFAC Proceedings Volumes · 6
fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
2022 · Konstantin Chukharev, Daniil Chivilikhin · IEEE Access · 5
Towards automatic state machine reconstruction from legacy PLC using data collection
2019 · Daniil Chivilikhin, Sandeep Patil, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 5
CSP-based inference of function block finite-state models from execution traces
2017 · Daniil Chivilikhin, Vladimir Ulyantsev, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 5
Small-Moves Based Mutation For Pick-Up And Delivery Problem
2016 · Viacheslav Shalamov, Andrey Filchenkov, et al. · Genetic and Evolutionary Computation Conference Companion (GECCO Companion) · 5
Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas
2016 · D. S. Chivilikhin, V. I. Ulyantsev, et al. · Automation and Remote Control · 5
Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks
2015 · Daniil Chivilikhin, Anatoly Shalyto, et al. · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) · 5
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations
2015 · Daniil Chivilikhin, Anatoly Shalyto, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 5
Inferring automata-based programs from specification with mutation-based ant colony optimization
2014 · Daniil Chivilikhin, Vladimir Ulyantsev · Genetic and Evolutionary Computation Conference Companion (GECCO Companion) · 5
Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability
2022 · Artem Pavlenko, Daniil Chivilikhin, et al. · IEEE Congress on Evolutionary Computation (CEC) · 4
Closed-loop verification of a compensating group drive model using synthesized formal plant model
2017 · Polina Ovsiannikova, Daniil Chivilikhin, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 4
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming
2015 · Daniil Chivilikhin, Ilya Ivanov, et al. · Genetic and Evolutionary Computation Conference Companion (GECCO Companion) · 4
Test-based extended finite-state machines induction with evolutionary algorithms and ant colony optimization
2012 · Daniil Chivilikhin, Vladimir Ulyantsev, et al. · Genetic and Evolutionary Computation Conference Companion (GECCO Companion) · 4
SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
2020 · Konstantin Chukharev, Dmitrii Suvorov, et al. · IEEE Access · 3
PDF
Improving the quality of supervised finite-state machine construction using real-valued variables
2014 · Igor Buzhinsky, Daniil Chivilikhin, et al. · Genetic and Evolutionary Computation Conference Companion (GECCO Companion) · 3
Works count: 43
Citation count: 312
H-index: 8
I10-index: 5
Year
Topic
Type