Vladimir Ulyantsev

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