Optimization Problems in Software Engineering
Publications
BeBoSy: Behavior Examples meet Bounded Synthesis
February 2021
Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev
Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks
July 2019
Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev
Smart Contract Design Meets State Machine Synthesis: Case Studies
June 2019
Dmitrii Suvorov, Vladimir Ulyantsev
Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis
April 2019
Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
March 2019
Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joao Marques-Silva
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
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
BFS Enumeration for Breaking Symmetries in Graphs
April 2018
Vyacheslav Moklev, Vladimir Ulyantsev
Exact finite-state machine identification from scenarios and temporal properties
February 2018
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Applying reinforcement learning and supervised learning techniques to play Hearthstone
December 2017
Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev
Closed-loop verification of a compensating group drive model using synthesized formal plant model
September 2017
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Finding all minimum-size DFA consistent with given examples: SAT-based approach
September 2017
Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
CSP-based inference of function block finite-state models from execution traces
July 2017
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
Evaluation of Heavy-tailed Mutation Operator on Maximum Flow Test Generation Problem
July 2017
Mironovich V., Buzdalov M.
Plant trace generation for formal plant model inference: methods and case study
July 2017
Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto
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
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.
Modified Ant Colony Algorithm for Constructing Finite State Machines from Execution Scenarios and Temporal Formulas
March 2016
Chivilikhin D., Ulyantsev V., Shalyto A.
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.
Constructing Parsimonous Hybridization Networks from Multiple Phylogenetic Trees using a SAT-Solver
August 2015
Ulyantsev V., Melnik M.
Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications
July 2015
Buzhinsky I., Ulyantsev V., Veijalainen J., Vyatkin V.
BFS-Based Symmetry Breaking Predicates for DFA Identification
February 2015
Ulyantsev V., Zakirzyanov I., Shalyto A.
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.
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.