Daniil Chivilikhin

Author Info

Name	Affiliation	Papers
DANIIL CHIVILIKHIN	St. Petersburg National Research University of IT, Mechanics and Optics, St. Petersbuth, Russian Fed.	24
Collaborators	Citations	PageRank
24	34	9.41
Referers	Referees	References
30	144	133

Search Limit

100144

Publications (24 rows)

Collaborators (24 rows)

Referers (30 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
On Probabilistic Generalization of Backdoors in Boolean Satisfiability.	0	0.34	2022
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms.	0	0.34	2021
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver	0	0.34	2020
Function block finite-state model identification using SAT and CSP solvers	1	0.36	2019
Active Learning Of Formal Plant Models For Cyber-Physical Systems	0	0.34	2018
Csp-Based Inference Of Function Block Finite-State Models From Execution Traces	0	0.34	2017
Reconstruction of Function Block Logic Using Metaheuristic Algorithm.	1	0.36	2017
Closed-Loop Verification Of A Compensating Group Drive Model Using Synthesized Formal Plant Model	0	0.34	2017
Plant Trace Generation For Formal Plant Model Inference: Methods And Case Study	0	0.34	2017
Small-Moves Based Mutation For Pick-Up And Delivery Problem.	4	0.41	2016
Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas	0	0.34	2016
Experimental Study of Automated Parameter Tuning on the Example of irace and the Traveling Salesman Problem.	0	0.34	2016
Reconstruction Of Function Block Controllers Based On Test Scenarios And Verification	0	0.34	2016
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming	2	0.42	2015
Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks	0	0.34	2015
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations	3	0.40	2015
Improving the quality of supervised finite-state machine construction using real-valued variables	0	0.34	2014
Inferring automata-based programs from specification with mutation-based ant colony optimization	1	0.39	2014
Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties	2	0.39	2014
Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization.	0	0.34	2013
Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions	0	0.34	2013
MuACOsm: a new mutation-based ant colony optimization algorithm for learning finite-state machines	13	0.84	2013
Test-based extended finite-state machines induction with evolutionary algorithms and ant colony optimization	2	0.41	2012
Learning finite-state machines with ant colony optimization	5	0.71	2012