Research group

Optimization Problems in Software Engineering

Publications

BeBoSy: Behavior Examples meet Bounded Synthesis

February 2021

Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE Access ( Early Access )

Read more

Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks

July 2019

Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev

ACM

Read more

Smart Contract Design Meets State Machine Synthesis: Case Studies

June 2019

Dmitrii Suvorov, Vladimir Ulyantsev

arXiv preprint arXiv:1906.02906

Read more

Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis

April 2019

Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev

Springer, Cham

Read more

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference

March 2019

Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joao Marques-Silva

Springer, Cham

Read more

GADMA: Genetic algorithm for inferring demographic history of multiple populations from allele frequency spectrum data

January 2019

Ekaterina Noskova, Vladimir Ulyantsev, Klaus-Peter Koepfli, Stephen J O'brien, Pavel Dobrynin

BioRxiv

Read more

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

Read more

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

Read more

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

Read more

BFS Enumeration for Breaking Symmetries in Graphs

April 2018

Vyacheslav Moklev, Vladimir Ulyantsev

arXiv

Read more

Exact finite-state machine identification from scenarios and temporal properties

February 2018

Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto

Springer Berlin Heidelberg

Read more

Applying reinforcement learning and supervised learning techniques to play Hearthstone

December 2017

Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE

Read more

Closed-loop verification of a compensating group drive model using synthesized formal plant model

September 2017

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto

IEEE

Read more

Finding all minimum-size DFA consistent with given examples: SAT-based approach

September 2017

Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev

Springer, Cham

Read more

CSP-based inference of function block finite-state models from execution traces

July 2017

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

IEEE

Read more

Evaluation of Heavy-tailed Mutation Operator on Maximum Flow Test Generation Problem

July 2017

Mironovich V., Buzdalov M.

GECCO '17 Proceedings of the Genetic and Evolutionary Computation Conference Companion

Read more

Plant trace generation for formal plant model inference: methods and case study

July 2017

Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto

IEEE

Read more

MetaCherchant-an algorithm for analyzing genomic environment of antibiotic resistance gene in gut microbiota

January 2017

E. I. Olekhnovich, A. T. Vasilyev, V. I. Ulyantsev, A. V. Tyakht

bioRxiv

Read more

MetaFast: fast reference-free graph-based comparison of shotgun metagenomic data

June 2016

Ulyantsev V.I., Kazakov S.V., Dubinkina V.B., Tyakht A.V., Alexeev D.G.

Bioinformatics

Read more

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

Read more

Assessment of k-mer spectrum applicability for metagenomic dissimilarity analysis

January 2016

Dubinkina V.B., Ischenko D.S., Ulyantsev V.I., Tyakht A.V., Alexeev D.G.

BMC Bioinformatics

Read more

Constructing Parsimonous Hybridization Networks from Multiple Phylogenetic Trees using a SAT-Solver

August 2015

Ulyantsev V., Melnik M.

Proceedings of International Conference on Algorithms for Computational Biology. - 2015. - 141-153

Read more

Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications

July 2015

Buzhinsky I., Ulyantsev V., Veijalainen J., Vyatkin V.

Proceedings of International Conference on Industrial Informatics. - 2015. - P. 1213-1218.

Read more

BFS-Based Symmetry Breaking Predicates for DFA Identification

February 2015

Ulyantsev V., Zakirzyanov I., Shalyto A.

Proceedings of International Conference on Language and Automata Theory and Applications. - 2015. - P. 611-622.

Read more

Modification of the Method of Generation of Control Finite-State Machines with Continuous Actions on Training Examples

January 2015

Buzhinsky I., Kazakov S., Ulyantsev V., Tsarev F., Shalyto A.

Journal of Computer and Systems Sciences International. - 2015. - Vol. 54., No. 6. - P. 853-865.

Read more

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

Read more

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

Read more

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

Read more

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

Read more

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

Read more

Learning Finite-State Machines with Ant Colony Optimization

2012

Chivilikhin D., Ulyantsev V.

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

Read more