Oleksandr A. Letychevskyi

According to our database, Oleksandr A. Letychevskyi authored at least 28 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Algebraic Modeling System for Supporting Research in Medicine and Pharmacology.

Oleksandr A. Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko

Proceedings of the 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2023

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

Proceedings of the 13th International Conference on Dependable Systems, 2023

2022

Consensus protocol security analysis using an algebraic virtual machine.

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Serhii Horbatiuk

Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security, 2022

2021

Formal Methods of FPGA Project Verification Flow.

Serhii Naumenko, Viktoriia Moskalets, Oleg Odarushchenko, Elena Odarushchenko, Volodymyr Peschanenko, Larysa Degtyareva, Oleksandr A. Letychevskyi

Proceedings of the 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 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

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2021

Algebraic Virtual Machine and Its Applications.

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Vlad Volkov

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2021

2020

Algebraic Modelling of Logistical Systems Equipped by Wireless Monitoring Devices.

Oleksandr A. Letychevskyi, Serhii Horbatiuk, Viktor Horbatiuk

Proceedings of the 2020 IEEE 5th International Symposium on Smart and Wireless Systems within the Conferences on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS-SWS), 2020

Platform for Modeling of Algebraic Behavior: Experience and Conclusions.

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskiy, Yuliia Tarasich

Proceedings of the 16th International Conference on ICT in Education, 2020

Machine Learning Methods for Improving Vulnerability Detection in Low-level Code.

Oleksandr A. Letychevskyi, Yaroslav Hryniuk

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

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

Algebraic Approach to Verification and Testing of Distributed Applications.

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maxim Orlovsky, Andrey Sobol

Proceedings of the 2019 International Electronics Communication Conference, 2019

Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code.

Oleksandr A. Letychevskyi

Proceedings of the 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 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

Proceedings of the 15th International Conference on ICT in Education, 2019

Formalization and Algebraic Modeling of Tokenomics Projects.

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich

Proceedings of the 15th International Conference on ICT in Education, 2019

Our Approach to Formal Verification of Token Economy Models.

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskiy, Yulia Tarasich

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2019

Algebraic Patterns of Vulnerabilities in Binary Code.

Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Yaroslav Hryniuk, Viktor Yakovlev

Proceedings of the 10th International Conference on Dependable Systems, 2019

Detection of Fraudulent Behavior Using the Combined Algebraic and Machine Learning Approach.

Oleksandr A. Letychevskyi, Tetiana Polhul

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2017

An Algebraic Approach for Analyzing of Legal Requirements.

Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko, Maxsim Poltorackij

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 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

Proceedings of the 13th International Conference on ICT in Education, 2017

Formalization and Algebraic Verification of Legal Requirements.

Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr G. Skobelev, Maksym Poltorackiy

Proceedings of the 13th International Conference on ICT in Education, 2017

2016

Insertion Modeling and Its Applications.

Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko

Comput. Sci. J. Moldova, 2016

2015

Insertion Modeling and Symbolic Verification of Large Systems.

Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert

Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

An Interleaving Reduction for Reachability Checking in Symbolic Modeling.

Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the 11th International Conference on ICT in Education, 2015

2014

Symbolic verification of requirements in VRS system.

Oleksandr A. Letychevskyi, Thomas Weigert

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

2013

Usage of Invariants for Symbolic Verification of Requirements.

Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

2012

About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation.

Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the ICT in Education, Research, and Industrial Applications, 2012

Efficient Algorithm for Reachability Checking in Modeling.

Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the 8th International Conference on ICT in Education, 2012

2011

Insertion Modeling System.

Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the Perspectives of Systems Informatics, 2011