Oleksandr A. Letychevskyi

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 23

Top Topics

Virtual Machine

Formal Verification

Top Venues

ICTERI (Revised Selected Papers)

ICTERI Workshops

Publications

Oleksandr A. Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko
Algebraic Modeling System for Supporting Research in Medicine and Pharmacology. IDAACS (2023)
Oleg Odarushchenko, Oleksiy Striuk, Viacheslav Shamanskyi, Oleksandr A. Letychevskyi, Aleksandr Ivasiuk, Elena Odarushchenko
Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle. DESSERT (2023)
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Serhii Horbatiuk
Consensus protocol security analysis using an algebraic virtual machine. IntelITSIS (2022)
Serhii Naumenko, Viktoriia Moskalets, Oleg Odarushchenko, Elena Odarushchenko, Volodymyr Peschanenko, Larysa Degtyareva, Oleksandr A. Letychevskyi
Formal Methods of FPGA Project Verification Flow. IDAACS (2021)
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Vlad Volkov
Algebraic Virtual Machine and Its Applications. ICTERI (Revised Selected Papers) (2021)
Oleksandr A. Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko, Vladislav Volkov, Hanna Sokolova, Maksym Poltoratskiy
Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems. ICTERI (Revised Selected Papers) (2021)
Oleksandr A. Letychevskyi, Serhii Horbatiuk, Viktor Horbatiuk
Algebraic Modelling of Logistical Systems Equipped by Wireless Monitoring Devices. IDAACS-SWS (2020)
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskyi, Yuliia Tarasich
Platform for Modeling of Algebraic Behavior: Experience and Conclusions. ICTERI Workshops (2020)
Oleksandr A. Letychevskyi, Yaroslav Hryniuk
Machine Learning Methods for Improving Vulnerability Detection in Low-level Code. IEEE BigData (2020)
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Yaroslav Hryniuk, Viktor Yakovlev
Algebraic Patterns of Vulnerabilities in Binary Code. DESSERT (2019)
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maxim Orlovsky, Andrey Sobol
Algebraic Approach to Verification and Testing of Distributed Applications. IECC (2019)
Andrey Sobol, Volodymyr G. Skobelev, Julian Konchunas, Viktor Radchenko, Sabina Sachtachtinskagia, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maxim Orlovsky
Random Re-Ordering of the Parties in the Consensus Protocol. ICTERI Workshops (2019)
Oleksandr A. Letychevskyi
Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code. IDAACS (2019)
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich
Formalization and Algebraic Modeling of Tokenomics Projects. ICTERI Workshops (2019)
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskiy, Yulia Tarasich
Our Approach to Formal Verification of Token Economy Models. ICTERI (Revised Selected Papers) (2019)
Oleksandr A. Letychevskyi, Yaroslav Hryniuk, Viktor Yakovlev, Volodymyr Peschanenko, Viktor Radchenko
Algebraic Matching of Vulnerabilities in a Low-Level Code. ISC Int. J. Inf. Secur. 11 (3) (2019)
Oleksandr A. Letychevskyi, Tetiana Polhul
Detection of Fraudulent Behavior Using the Combined Algebraic and Machine Learning Approach. IEEE BigData (2019)
Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr G. Skobelev, Maksym Poltorackiy
Formalization and Algebraic Verification of Legal Requirements. ICTERI (2017)
Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich
The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. ICTERI (2017)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko, Maxsim Poltorackij
An Algebraic Approach for Analyzing of Legal Requirements. RE Workshops (2017)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko
Insertion Modeling and Its Applications. Comput. Sci. J. Moldova 24 (3) (2016)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert
Insertion Modeling and Symbolic Verification of Large Systems. SDL Forum (2015)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko
An Interleaving Reduction for Reachability Checking in Symbolic Modeling. ICTERI (2015)
Oleksandr A. Letychevskyi, Thomas Weigert
Symbolic verification of requirements in VRS system. RE (2014)