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

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


Исследовательские группы

Биография

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

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

Ссылки

Публикации

BeBoSy: Behavior Examples meet Bounded Synthesis

February 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

July 2019

Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev

ACM

Подробнее

Smart Contract Design Meets State Machine Synthesis: Case Studies

June 2019

Dmitrii Suvorov, Vladimir Ulyantsev

arXiv preprint arXiv:1906.02906

Подробнее

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

April 2019

Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev

Springer, Cham

Подробнее

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference

March 2019

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

Springer, Cham

Подробнее

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

Подробнее

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

Подробнее

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

Подробнее

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

Подробнее

BFS Enumeration for Breaking Symmetries in Graphs

April 2018

Vyacheslav Moklev, Vladimir Ulyantsev

arXiv

Подробнее

Exact finite-state machine identification from scenarios and temporal properties

February 2018

Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto

Springer Berlin Heidelberg

Подробнее

Applying reinforcement learning and supervised learning techniques to play Hearthstone

December 2017

Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE

Подробнее

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

Подробнее

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

September 2017

Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev

Springer, Cham

Подробнее

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

July 2017

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

IEEE

Подробнее

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

Подробнее

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

Подробнее

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

Подробнее

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

Подробнее

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

Подробнее

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

Подробнее

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.

Подробнее

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.

Подробнее

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.

Подробнее

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

Подробнее