Владимир Ульянцев

Владимир Ульянцев


Биография

Кандидат наук в области Computer Science, Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики (ИТМО).

Научные интересы: конечные автоматы, алгоритмы, машинное обучение, SAT, биоинформатика, искусственная нейронная сеть

Ссылки

Публикации

BeBoSy: Behavior Examples meet Bounded Synthesis

Февраль 2021

Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE Access ( Early Access )

Подробнее

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

Июль 2019

Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev

ACM

Подробнее

Smart Contract Design Meets State Machine Synthesis: Case Studies

Июнь 2019

Dmitrii Suvorov, Vladimir Ulyantsev

arXiv preprint arXiv:1906.02906

Подробнее

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

Апрель 2019

Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev

Springer, Cham

Подробнее

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference

Март 2019

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

Springer, Cham

Подробнее

Function block finite-state model identification using SAT and CSP solvers

Январь 2019

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

IEEE Transactions on Industrial Informatics

Подробнее

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

Январь 2019

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

BioRxiv

Подробнее

Counterexample-guided inference of controller logic from execution traces and temporal formulas

Сентябрь 2018

Daniil Chivilikhin, Igor Buzhinsky, Vladimir Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin

IEEE

Подробнее

Active Learning of Formal Plant Models For Cyber-Physical Systems

Июль 2018

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto

IEEE

Подробнее

BFS Enumeration for Breaking Symmetries in Graphs

Апрель 2018

Vyacheslav Moklev, Vladimir Ulyantsev

arXiv

Подробнее

Exact finite-state machine identification from scenarios and temporal properties

Февраль 2018

Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto

Springer Berlin Heidelberg

Подробнее

Applying reinforcement learning and supervised learning techniques to play Hearthstone

Декабрь 2017

Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE

Подробнее

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

Сентябрь 2017

Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev

Springer, Cham

Подробнее

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

Сентябрь 2017

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto

IEEE

Подробнее

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

Июль 2017

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

IEEE

Подробнее

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

Июль 2017

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

IEEE

Подробнее

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

Январь 2017

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

bioRxiv

Подробнее

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

Июнь 2016

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

Bioinformatics

Подробнее

Modified Ant Colony Algorithm for Constructing Finite State Machines from Execution Scenarios and Temporal Formulas

Март 2016

Chivilikhin D., Ulyantsev V., Shalyto A.

Automation and Remote Control, Vol. 77, No. 3. - P.473-484

Подробнее

Assessment of k-mer spectrum applicability for metagenomic dissimilarity analysis

Январь 2016

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

BMC Bioinformatics

Подробнее

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

Август 2015

Ulyantsev V., Melnik M.

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

Подробнее

Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications

Июль 2015

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

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

Подробнее

BFS-Based Symmetry Breaking Predicates for DFA Identification

Февраль 2015

Ulyantsev V., Zakirzyanov I., Shalyto A.

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

Подробнее

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

Январь 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.

Подробнее

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

Подробнее

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

Подробнее

Learning Finite-State Machines with Ant Colony Optimization

2012

Chivilikhin D., Ulyantsev V.

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

Подробнее

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

Подробнее