Vladimir Ulyantsev

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 24

Top Topics

Boolean Satisfiability

Ant Colony Optimization

Evolutionary Optimization

Top Venues

GECCO (Companion)

Publications

Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev
BeBoSy: Behavior Examples Meet Bounded Synthesis. IEEE Access 9 (2021)
Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. CP (2021)
Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. LATA (2019)
Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev
Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks. GECCO (2019)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
Function Block Finite-State Model Identification Using SAT and CSP Solvers. IEEE Trans. Ind. Informatics 15 (8) (2019)
Dmitrii Suvorov, Vladimir Ulyantsev
Smart Contract Design Meets State Machine Synthesis: Case Studies. CoRR (2019)
Artem Pavlenko, Alexander A. Semenov, Vladimir Ulyantsev, Oleg Zaikin
Parallel Framework for Evolutionary Black-box optimization with Application to Algebraic Cryptanalysis. MIPRO (2019)
Artem Pavlenko, Alexander A. Semenov, Vladimir Ulyantsev
Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis. EvoApplications (2019)
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Exact finite-state machine identification from scenarios and temporal properties. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
Evgenii I Olekhnovich, Artem T. Vasilyev, Vladimir Ulyantsev, Elena S. Kostryukova, Alexander V. Tyakht
MetaCherchant: analyzing genomic context of antibiotic resistance genes in gut microbiota. Bioinform. 34 (3) (2018)
Vyacheslav Moklev, Vladimir Ulyantsev
BFS Enumeration for Breaking Symmetries in Graphs. CoRR (2018)
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto
Active Learning of Formal Plant Models For Cyber-Physical Systems. INDIN (2018)
Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto
Plant trace generation for formal plant model inference: Methods and case study. INDIN (2017)
Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. SEFM Workshops (2017)
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Closed-loop verification of a compensating group drive model using synthesized formal plant model. ETFA (2017)
Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev
Applying Reinforcement Learning and Supervised Learning Techniques to Play Hearthstone. ICMLA (2017)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
CSP-based inference of function block finite-state models from execution traces. INDIN (2017)
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
Symmetry Breaking Predicates for SAT-based DFA Identification. CoRR (2016)
Veronika B. Dubinkina, Dmitry S. Ischenko, Vladimir Ulyantsev, Alexander V. Tyakht, Dmitry G. Alexeev
-mer spectrum applicability for metagenomic dissimilarity analysis. BMC Bioinform. 17 (2016)
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Exact Finite-State Machine Identification from Scenarios and Temporal Properties. CoRR (2016)
Vladimir Ulyantsev, Sergey Kazakov, Veronika B. Dubinkina, Alexander V. Tyakht, Dmitry G. Alexeev
MetaFast: fast reference-free graph-based comparison of shotgun metagenomic data. Bioinform. 32 (18) (2016)
Igor Buzhinsky, Vladimir Ulyantsev, Jari Veijalainen, Valeriy Vyatkin
Evolutionary approach to coverage testing of IEC 61499 function block applications. INDIN (2015)
Vladimir Ulyantsev, Mikhail Melnik
Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver. AlCoB (2015)
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
BFS-Based Symmetry Breaking Predicates for DFA Identification. LATA (2015)
Igor Buzhinsky, Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev
Improving the quality of supervised finite-state machine construction using real-valued variables. GECCO (Companion) (2014)
Daniil Chivilikhin, Vladimir Ulyantsev
Inferring automata-based programs from specification with mutation-based ant colony optimization. GECCO (Companion) (2014)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties. ICMLA (2014)
Igor Buzhinsky, Vladimir Ulyantsev, Anatoly Shalyto
Test-Based Induction of Finite-State Machines with Continuous Output Actions. MIM (2013)
Daniil Chivilikhin, Vladimir Ulyantsev
MuACOsm: a new mutation-based ant colony optimization algorithm for learning finite-state machines. GECCO (2013)
Daniil Chivilikhin, Vladimir Ulyantsev
Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions. ICMLA (2) (2013)
Igor Buzhinsky, Vladimir Ulyantsev, Fedor Tsarev, Anatoly Shalyto
Search-based construction of finite-state machines with real-valued actions: new representation model. GECCO (Companion) (2013)
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization. MIM (2013)
Daniil Chivilikhin, Vladimir Ulyantsev
Learning Finite-State Machines with Ant Colony Optimization. ANTS (2012)
Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev
Test-based extended finite-state machines induction with evolutionary algorithms and ant colony optimization. GECCO (Companion) (2012)
Vladimir Ulyantsev, Fedor Tsarev
Extended Finite-State Machine Induction Using SAT-Solver. ICMLA (2) (2011)