Oleksandr A. Letychevskyi

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