Your Attractive Heading

Papers

01

Cyber-physical Systems. Physics and Biology Research

Letichevsky, A. A., Letychevskyi, O. O., Skobelev, V. G., & Volkov, V. A. (2017). Cyber-physical systems. Cybernetics and Systems Analysis, 53(6), 821-834.

Letychevskyi, O., Tarasich, Y., Peschanenko, V., Volkov, V., & Sokolova, H. (2021, September). Algebraic modeling of molecular interactions. In International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications (pp. 379-387). Cham: Springer International Publishing.

Letychevskyi, O., Tarasich, Y., Peschanenko, V., Volkov, V., Sokolova, H., & Poltoratskyi, M. (2021, September). Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems. In International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications (pp. 180-202). Cham: Springer International Publishing.

Volkov, V. A., & Tarasich, Y. H. (2022). Molecular modeling in the radiation therapy. The algebraic approach. Problems in programming. 231-239.

Letychevskyi, O., Volkov, V., Tarasich, Y., Sokolova, G., & Peschanenko, V. (2022). Modern Methods and Software Systems of Molecular Modeling and Application of Behavior Algebra. Cybernetics and Systems Analysis, 58(3), 454-464.

Letychevskyi, O., Peschanenko, V., Tarasich, Y., & Volkov, V. (2022, November). Algebraic Approach in Molecular Modeling. In 2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME) (pp. 1-7). IEEE.

Gimmelberg, D., Volkov, V., Raucher, G., Zhunisbekova, A., Glowacka, M., Roitman, P., … & Sikarova, R. (2023). Artificial Intelligence for screening and assessment of autism. State of the art. Direction to further research.

Letychevskyi, O., Tarasich, Y., & Peschanenko, V. (2023, September). Algebraic Modeling System for Supporting Research in Medicine and Pharmacology. In 2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) (Vol. 1, pp. 1093-1098). IEEE.

Tarasich, Y. (2023, March). Algebraic Approach to Molecular Modelling and Its Application in Studies of the Effect of Radiation Therapy on Cancer Treatment. In Research Twinning Conference on Digitalisation and Digital Transformation (pp. 205-211). Cham: Springer Nature Switzerland.

Letychevskyi, O., Tarasich, Y., & Peschanenko, V. (2023, December). AN ALGEBRAIC APPROACH TO MOLECULAR MODELING AND ITS APPLICATION IN CELL APOPTOSIS PROCESS RESEARCH. In 2023-Sustainable Industrial Processing Summit (Vol. 11, pp. 109-116). Flogen Star Outreach.

Letychevskyi, O. O., & Tarasich, Y. H. (2024). Neuro-symbolic approach for the biological systems and processes research. PROBLEMS IN PROGRAMMING, (2-3), 271-279. (Ukrainian)

Tarasich, Y. H. (2024). Algebraic Modelling of Experiments on the Example of Proton Therapy. Control systems & computers, (4), 68-84.

02

Cybersecurity Systems

Letychevskyi, O. O., Peschanenko, V. S., & Hryniuk, Y. V. (2022). Fuzz testing technique and its use in cybersecurity tasks. Cybernetics and Systems Analysis, 58(1), 157-163.

Letychevskyi, O., & Peschanenko, V. (2022, May). Applying algebraic virtual machine to cybersecurity tasks. In 2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT) (pp. 161-169). IEEE.

Letychevskyi, O. (2023). Cognitive Networks, Their Properties and Applications in Attack Detection and Prevention Systems. Cybernetics and Systems Analysis, 59(5), 859-866.

Letychevskyi, O., & Peschanenko, V. (2024, September). Usage of Cognitive Networks for Cyberattack Detection and Prevention. In International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications (pp. 76-91). Cham: Springer Nature Switzerland.

Letychevskyi, O., Kolchyn, O., & Potiyenko, S. (2025, August). Scenario-Based Slicing and Its Use for Cyber. In Intelligent Computing: Proceedings of the 2025 Computing Conference, Volume 3 (Vol. 1425, p. 376). Springer Nature.

Letychevskyi, O., & Panchuk, B. (2025). The Problem of Accuracy in Systems for Cyberattack Resistance and the Verification of Neural Networks on the Example of Botnet Detecting Problem. Cybernetics and Systems Analysis, 1-8.

03

Software and Hardware Systems

Verification, Testing, and Re-engineering

Letichevsky, A., Letychevskyi, O., Peschanenko, V., & Weigert, T. (2015, October). Insertion modeling and symbolic verification of large systems. In International SDL Forum (pp. 3-18). Cham: Springer International Publishing.

Letychevskyi, O. (2018, May). Algebraic methods for detection of vulnerabilities in software systems. In 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT) (pp. 198-201). IEEE.

Letychevskyi, O. O., Peschanenko, V. S., Hryniuk, Y. V., Radchenko, V. Y., & Yakovlev, V. M. (2019). An overview of the modern methods of security and protection of software systems. Cybernetics and Systems Analysis, 55(5), 840-850.

Letychevskyi, O. (2019, September). Two-level algebraic method for detection of vulnerabilities in binary code. In 2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) (Vol. 2, pp. 1074-1077). IEEE.

Letychevskyi, O., Horbatiuk, S., & Horbatiuk, V. (2020, September). Algebraic Modelling of Logistical Systems Equipped by Wireless Monitoring Devices. In 2020 IEEE 5th International Symposium on Smart and Wireless Systems within the Conferences on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS-SWS) (pp. 1-6). IEEE.

Letychevskyi, O., & Hryniuk, Y. (2020, December). Machine Learning Methods for Improving Vulnerability Detection in Low-level Code. In 2020 IEEE International Conference on Big Data (Big Data) (pp. 5750-5752). IEEE.

Naumenko, S., Moskalets, V., Odarushchenko, O., Odarushchenko, E., Peschanenko, V., Degtyareva, L., & Letychevskyi, O. (2021, September). Formal Methods of FPGA Project Verification Flow. In 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) (Vol. 2, pp. 1141-1146). IEEE.

Letychevskyi, O., Peschanenko, V., & Volkov, V. (2021, September). Algebraic virtual machine project. In International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications (pp. 353-364). Cham: Springer International Publishing.

Letychevskyi, O., Peschanenko, V., & Volkov, V. (2021, September). Algebraic virtual machine and its applications. In International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications (pp. 23-41). Cham: Springer International Publishing.

Letychevskyi, O. O., Odarushchenko, O. M., Peschanenko, V. S., Kharchenko, V. S., & Moskalets, V. V. (2022). Insertion Semantics of VHDL as Electronic Design Languge. Cybernetics and Systems Analysis, 58(2), 289-298.

Odarushchenko, O., Striuk, O., Shamanskyi, V., Letychevskyi, O., Ivasiuk, A., & Odarushchenko, E. (2023, October). Application of formal verification methods in a safety-oriented software development life cycle. In 2023 13th International Conference on Dependable Systems, Services and Technologies (DESSERT) (pp. 1-6). IEEE.

Odarushchenko, O., Letychevskyi, O., Shamanskyi, V., Babeshko, I., Peschanenko, V., & Striuk, O. (2024, October). Information Technology of Formal Verification and Design of FPGA Electronic Projects. In 2024 14th International Conference on Dependable Systems, Services and Technologies (DESSERT) (pp. 1-6). IEEE.

Letychevskyi, O. (2025). Neuro-Symbolic Twins of Software Systems and Their Use in Solving Cybersecurity Problems. Cybernetics and Systems Analysis, 1-7.

04

Blockchain Technology

Sobol, A., Skobelev, V. G., Konchunas, J., Radchenko, V., Sachtachtinskagia, S., Letychevskyi, O. A., … & Orlovsky, M. (2019). Random Re-Ordering of the Parties in the Consensus Protocol. In ICTERI Workshops (pp. 694-703).

Letychevskyi, O., Peschanenko, V., Radchenko, V., Poltoratskyi, M., & Tarasich, Y. (2019). Formalization and algebraic modeling of tokenomics projects. In CEUR Workshop Proceedings (pp. 577-584).

Letychevskyi, O., Peschanenko, V., Poltoratskyi, M., & Tarasich, Y. (2019, June). Our approach to formal verification of token economy models. In International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications (pp. 348-363). Cham: Springer International Publishing.

Letychevskyi, O. (2022). Creation of a self-sustaining token economy. The Journal of The British Blockchain Association.

Letychevskyi, O. O., Peschanenko, V. S., Poltorackiy, M. Y., Tarasich, Y. H., & Vinnyk, M. O. (2022). Formal semantics and analysis of tokenomics properties. PROBLEMS IN PROGRAMMING, (3-4), 128-138.

Letychevskyi, O., Peschanenko, V., Poltoratskyi, M., & Tarasich, Y. (2022). How to Build Self-Sustaining Tokenomics. Edited by Sergey Y. Yurish, Blockchain and Cryptocurrency Congress (B2C’ 2022), 9-11 November 2022, Barcelona, Spain, 89.