Insertion Modeling System. - Alexander A. Letichevsky; Olexander A. Letychevskyi; Vladimir S. Peschanenko (Ershov Memorial Conference, 2011)

Efficient Algorithm for Reachability Checking in Modeling. - Alexander A. Letichevsky; Olexander A. Letychevskyi; Vladimir S. Peschanenko (ICTERI, 2012)

About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation. - Alexander A. Letichevsky; Olexander A. Letychevskyi; Vladimir S. Peschanenko (ICTERI (Revised Selected Papers), 2012)

Usage of Invariants for Symbolic Verification of Requirements. - Alexander A. Letichevsky; Alexander Godlevsky; Anton Guba; Alexander Kolchin; Olexander A. Letychevskyi; Vladimir S. Peschanenko (SCSS, 2013)

Symbolic verification of requirements in VRS system. - Oleksandr A. Letychevskyi; Thomas Weigert (RE, 2014)

An Interleaving Reduction for Reachability Checking in Symbolic Modeling. - Alexander A. Letichevsky; Oleksandr A. Letychevskyi; Vladimir S. Peschanenko (ICTERI, 2015)

Insertion Modeling and Symbolic Verification of Large Systems. - Alexander A. Letichevsky; Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Thomas Weigert (SDL Forum, 2015)

Insertion Modeling and Its Applications. - Alexander A. Letichevsky; Oleksandr A. Letychevskyi; Vladimir S. Peschanenko (Comput. Sci. J. Moldova, 2016)

Formalization and Algebraic Verification of Legal Requirements. - Alexander Godlevskyi; Aleksander Letichevskyi; Vladimir S. Peschanenko; Oleksandr A. Letychevskyi; Maryna Morokhovets; Volodymyr G. Skobelev; Maksym Poltorackiy (ICTERI, 2017)

The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. - Michael Lvov; Vladimir S. Peschanenko; Oleksandr A. Letychevskyi; Yulia Tarasich (ICTERI, 2017)

An Algebraic Approach for Analyzing of Legal Requirements. - Alexander A. Letichevsky; Oleksandr A. Letychevskyi; Vladimir S. Peschanenko; Maxsim Poltorackij (RE Workshops, 2017)

Detection of Fraudulent Behavior Using the Combined Algebraic and Machine Learning Approach. - Oleksandr A. Letychevskyi; Tetiana Polhul (IEEE BigData, 2019)

Algebraic Patterns of Vulnerabilities in Binary Code. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Viktor Radchenko; Yaroslav Hryniuk; Viktor Yakovlev (DESSERT, 2019)

Our Approach to Formal Verification of Token Economy Models. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Maksym Poltoratskiy; Yulia Tarasich (ICTERI (Revised Selected Papers), 2019)

Formalization and Algebraic Modeling of Tokenomics Projects. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Viktor Radchenko; Maksym Poltoratskiy; Yulia Tarasich (ICTERI Workshops, 2019)

Random Re-Ordering of the Parties in the Consensus Protocol. - Andrey Sobol; Volodymyr G. Skobelev; Julian Konchunas; Viktor Radchenko; Sabina Sachtachtinskagia; Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Maxim Orlovsky (ICTERI Workshops, 2019)

Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code. - Oleksandr A. Letychevskyi (IDAACS, 2019)

Algebraic Approach to Verification and Testing of Distributed Applications. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Viktor Radchenko; Maxim Orlovsky; Andrey Sobol (IECC, 2019)

Algebraic Matching of Vulnerabilities in a Low-Level Code. - Oleksandr A. Letychevskyi; Yaroslav Hryniuk; Viktor Yakovlev; Volodymyr Peschanenko; Viktor Radchenko (ISC Int. J. Inf. Secur., 2019)

Machine Learning Methods for Improving Vulnerability Detection in Low-level Code. - Oleksandr A. Letychevskyi; Yaroslav Hryniuk (IEEE BigData, 2020)

Platform for Modeling of Algebraic Behavior: Experience and Conclusions. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Maksym Poltoratskiy; Yuliia Tarasich (ICTERI Workshops, 2020)

Algebraic Modelling of Logistical Systems Equipped by Wireless Monitoring Devices. - Oleksandr A. Letychevskyi; Serhii Horbatiuk; Viktor Horbatiuk (IDAACS-SWS, 2020)

Algebraic Virtual Machine and Its Applications. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Vlad Volkov (ICTERI (Revised Selected Papers), 2021)

Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems. - Oleksandr A. Letychevskyi; Yuliia Tarasich; Volodymyr Peschanenko; Vladislav Volkov; Hanna Sokolova; Maksym Poltoratskiy (ICTERI (Revised Selected Papers), 2021)

Formal Methods of FPGA Project Verification Flow. - Serhii Naumenko; Viktoriia Moskalets; Oleg Odarushchenko; Elena Odarushchenko; Volodymyr Peschanenko; Larysa Degtyareva; Oleksandr A. Letychevskyi (IDAACS, 2021)

Consensus protocol security analysis using an algebraic virtual machine. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Serhii Horbatiuk (IntelITSIS, 2022)

Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle. - Oleg Odarushchenko; Oleksiy Striuk; Viacheslav Shamanskyi; Oleksandr A. Letychevskyi; Aleksandr Ivasiuk; Elena Odarushchenko (DESSERT, 2023)

Algebraic Modeling System for Supporting Research in Medicine and Pharmacology. - Oleksandr A. Letychevskyi; Yuliia Tarasich; Volodymyr Peschanenko (IDAACS, 2023)