Understanding Single-Function Reentrancy Attacks (2025)/ Rud, V., Peschanenko, V. // In: Ermolayev, V., et al. Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2024. Communications in Computer and Information Science, vol 2359. Springer, Cham. https://doi.org/10.1007/978-3-031-81372-6_18
Usage of Cognitive Networks for Cyberattack Detection and Prevention (2025)/ Letychevskyi, O., Peschanenko, V. // In: Ermolayev, V., et al. Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2024. Communications in Computer and Information Science, vol 2359. Springer, Cham. https://doi.org/10.1007/978-3-031-81372-6_6
Peschanenko, V., Poltorackiy, M., Konnova, O. (2025). Verification of Smart Contract Code Generated by Applying Artificial Intelligence. In: Ermolayev, V., et al. Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2024. Communications in Computer and Information Science, vol 2359. Springer, Cham. https://doi.org/10.1007/978-3-031-81372-6_1
A. Topalov, T. Styslo, V. Tkach, V. Peschanenko, O. Styslo and R. Skrypyuk, "Evaluation of the Energy Efficiency of Software Calculations in the Design of Microcontroller Devices," 2024 IEEE 17th International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering (TCSET), Lviv, Ukraine, 2024, pp. 478-481, doi: 10.1109/TCSET64720.2024.10755878
Overview of Vulnerabilities in Smart Contract Written in Solidity, // Journal of Information Technologies in Education (ITE), Issue 56, pp. 58-76, 2024
Algebraic Modeling System for Supporting Research in Medicine and Pharmacology / O. Letychevskyi; Y. Tarasich; V. Peschanenko // 2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), Dortmund, Germany, 2023, pp. 1093-1098, doi: 10.1109/IDAACS58523.2023.10348778
AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL / O. Letychevskyi, V. Peschanenko, M. Poltoratskyi, O. Konnova // Journal of Information Technologies in Education (ITE), Issue 54, pp. 37-51, 2023
P4Testgen: An Extensible Test Oracle For P4-16 / F. Ruffy, J. Liu, P. Kotikalapudi, V. Havel, H. Tavante, R. Sherwood, V. Dubina, V. Peschanenko, A. Sivaraman, N. Foster // ACM SIGCOMM '23: Proceedings of the ACM SIGCOMM 2023 Conference, September 2023, Pages 136–151, doi: https://doi.org/10.1145/3603269.3604834
Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems / O. Letychevskyi, Y. Tarasich, V. Peschanenko, V. Volkov, H. Sokolova, M. Poltoratskyi // Communications in Computer and Information Science, 2022, 1698 CCIS, pp. 180–202, https://doi.org/10.1007/978-3-031-20834-8_9
Algebraic Approach to the Legal Documents /O. O. Letychevskyi, V. S. Peschanenko, M. Yu. Poltorackiy // Prombles in programming 2022; 3-4: 117-127
Formal Semantics and Analysis of Tokeamics Properties / O. O. Letychevskyi, V. S. Peschanenko, M. Yu. Poltorackiy, Yu.H. Tarasich, M.O. Vinnyk // Prombles in programming 2022; 3-4: 128-138
Algebraic Virtual Machine Project / Letychevskyi, O., Peschanenko, V., Volkov, V. // Communications in Computer and Information Science, 2022, 1635 CCIS, pp. 353–364
Algebraic Modeling of Molecular Interactions / Letychevskyi, O., Tarasich, Y., Peschanenko, V., Volkov, V., Sokolova, H.// Communications in Computer and Information Science, 2022, 1635 CCIS, pp. 379–387
P4Testgen: An Extensible Test Oracle For P4 / F. Ruffy, J. Liu, P. Kotikalapudi, V. Havel, R. Sherwood, V. Dubina, V. Peschanenko, N. Foster, A. Sivaraman // arXiv:2211.15300 [cs.NI], https://doi.org/10.48550/arXiv.2211.15300
Fuzz Testing Technique and its Use in Cybersecurity Tasks / O. Letychevskyi, V. Peschanenko, Y. Hryniuk // Cybernetics and Systems Analysis, 2022, 58(1), pp. 157–163
O. Letychevskyi and V. Peschanenko, "Applying Algebraic Virtual Machine to Cybersecurity Tasks," 2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), 2022, pp. 161-169, doi: 10.1109/SETIT54465.2022.9875895.
Modern methods and software systems of molecular modeling and application of behavior algebra / O. Letychevskyi, V. Volkov, Yu. Tarasich, G. Sokolova, V. Peschanenko // Kibernetyka ta sistemnyi analiz. 2022. Vol. 58, N 3. P. 150–163.
Consensus Protocol Security Analysis Using an Algebraic Virtual Machine/ O. Letychevskyi, V.Peschanenko, S. Horbatiuk // the 3-rd International Workshop on Intelligent Information Technologies & Systems of Information Security (IntelITSIS-2022), 2022, p. 484-493
Insertion semantics of VHDL as electronic design language / O.O. Letychevskyi, O.M. Odarushchenko, V.S. Peschanenko, V.S. Kharchenko, V.V. Moskalets // Kibernetyka ta Systemnyi Analiz. 2022. Vol. 58, N 2. P. 154–165.
Fuzzing technique and its usage in cybersecurity tasks / O.O. Letychevskyi, V.S. Peschanenko, Y.V. Hryniuk // Kibernetyka ta Systemnyi Analiz. 2022. Vol. 58, N 1. P. 181–189.
Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems/ O. Letychevskyi, Y. Tarasich, V. Peschanenko, V. Volkov, H. Sokolova, M. Poltoratskyi // Communications in Computer and Information Science, Vol. 1698, 2021, p. 180-202.
Algebraic Virtual Machine and Its Applications / O. Letychevskyi, V. Peschanenko, V. Volkov // Communications in Computer and Information Science, Vol. 1698, 2021, p. 23-41.
Algebraic Modeling of Molecular Interactions. / Letychevskyi, O., Tarasich, Y., Peschanenko, V., Volkov, V., Sokolova, H. In: // et al. ICTERI 2021 Workshops. ICTERI 2021. Communications in Computer and Information Science, vol 1635. Springer, Cham. https://doi.org/10.1007/978-3-031-14841-5_25
Algebraic Virtual Machine Project / Letychevskyi, O., Peschanenko, V., Volkov, V. // In: , et al. ICTERI 2021 Workshops. ICTERI 2021. Communications in Computer and Information Science, vol 1635. Springer, Cham. https://doi.org/10.1007/978-3-031-14841-5_23
Formal Methods of FPGA Project Verification Flow / Naumenko S., Moskalets V., Odarushchenko O., Odarushchenko E., Peschanenko V., Degtyareva L., Letychevskyi O. // 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2021, pp. 1141-1146, doi: 10.1109/IDAACS53288.2021.9660906.
Platform for Modeling of Algebraic Behavior: Experience and Conclusions / Letychevskyi O., Peschanenko V., Poltoratskyi M., Tarasich Y. // Proc. In: Ermolayev, V. et al. (eds.) Proc. 16-th Int. Conf. ICTERI 2020, Kharkiv, Ukraine, October 06-10, 2020
Our approach to Formal Verification of Token Economy Models/ Letychevskyi O., Peschanenko V., Poltoratskyi M., Tarasich Y.// Communications in Computer and Information Science, Vol. 1175, 2020, p. 348-363.
Model-driven development of digital system algorithms on programmable logic integrated circuits / O.O. Letychevskyi, V.S. Peschanenko, V.S. Kharchenko, V.A. Volkov, O.M. Odarushchenko // Kibernetika i sistemnyj analiz. 2020. Vol. 56, N 5. P. 29–37.
O.A. Letychevskii, V.S. Peschanenko, Y.V. Hryniuk, V.Yu. Radchenko, V.M. Yakovlev Overview of the modern methods of protection and security of software systems. Kibernetika i sistemnyj analiz. 2019. Vol. 55, N 5. P. 156–169.
O. Letychevskyi, V. Peschanenko, V. Radchenko, M. Orlovsky, A. Sobol Algebraic Approach to Verification and Testing of Distributed Applications. Proceedings of the 2019 International Electronics Communication Conference Pages 37-43 Okinawa, Japan — July 07 - 09, 2019.
O. Letychevskyi, V. Peschanenko, V. Radchenko, Y. Hryniuk, V. Yakovlev Algebraic Patterns of Vulnerabilities in Binary Code . Proc. of 10th International Conference on Dependable Systems, Services and Technologies (DESSERT), Leeds, United Kingdom, 5-7 June 2019, 2019, online: https://ieeexplore.ieee.org/document/8770033
O. Letychevskyi, Y. Hryniuk, V. Yakovlev, V. Peschanenko, V. Radchenko Algebraic Matching of Vulnerabilities in a Low-Level Code // The ISC International Journal of Information Security, vol. 11, special issue, 2019, -pp. 1-7.
O. Letychevsky, V. Peschanenko, V. Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko Formal Verification of Token Economy Models. Proc of 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), Seoul, Korea, May 12-17, 2019, online https://ieeexplore.ieee.org/document/8751318.
V. Peschanenko, M. Poltoratskyi, K. Pryimak Formalization and Algebraic Modeling of University Economics. Proc. In: Ermolayev, V. et al. (eds.) Proc. 15-th Int. Conf. ICTERI 2019, Kherson, Ukraine, Jun 12-15, 2019, CEUR-WS.org/Vol-2393, ISSN 1613-0073, 585-594, online ceur-ws.org/Vol-2393/paper_429.pdf
O. Letychevskyi, V. Peschanenko, V. Radchenko, M. Poltoratskyi, Y. Tarasich Formalization and Algebraic Modeling of Tokenomics Projects. In: Ermolaev, V. et all. (eds.) Proc. In: Ermolayev, V. et al. (eds.) Proc. 15-th Int. Conf. ICTERI 2019, Kherson, Ukraine, Jun 12-15, 2019, CEUR-WS.org/Vol-2393, ISSN 1613-0073, 577-584, online ceur-ws.org/Vol-2393/paper_409.pdf
A. Sobol, V. G. Skobelev, J. Konchunas, V. Radchenko, S. Sachtachtinskagia, O. Letychevskyi, V., M. Orlovsky, V. Peschanenko Random Re-Ordering of the Parties in the Consensus Protocol. In: Ermolaev, V. et all. (eds.) Proc. In: Ermolayev, V. et al. (eds.) Proc. 15-th Int. Conf. ICTERI 2019, Kherson, Ukraine, Jun 12-15, 2019, CEUR-WS.org/Vol-2393, ISSN 1613-0073, 694-703, online ceur-ws.org/Vol-2393/paper_313.pdf
Lvov, M., Peschanenko, V., Letychevskyi, O., Tarasich, Y., Baiev, A. Algorithm and Tools for Constructing Canonical Forms of Linear Semi-Algebraic Formulas //Cybernetics and Systems Analysis, Vol. 54 Issue 6, 2018, -pp. 159-169
Letichevsky, A., Letychevskyi, O., Peschanenko, V., Poltorackij, M. An Algebraic Approach for Analyzing of Legal Requirements // 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)
Lvov, M., Peschanenko, V., Letychevskyi, O., Tarasich, Y. The canonical forms of logical formulae over the data types and their using in programs verification // ICTERI 2017
Godlevskyi, A., Letichevskyi, A., Peschanenko, V., (...), Skobelev, V., Poltorackiy, M. Formalization and algebraic verification of legal requirements // ICTERI 2017
Letichevsky, A., Letychevskyi, O., Peschanenko, V. Symbolic modelling in white-box model-based testing // 2015 3rd International Conference on Artificial Intelligence, Modelling and Simulation (AIMS)
Alexander Letichevsky, Oleksandr Letychevskyi, Vladimir Peschanenko Insertion Modeling and Its Applications //Computer Science Journal of Moldova, Vol. 24 Issue 3, 2016, -pp. 357-370
Alexander Letichevsky, Oleksandr Letychevskyi, Volodymyr Peschanenko, Thomas Weigert Insertion Modeling and Symbolic Verification of Large Systems //SDL 2015, Lecture Notes in Computer Science, Vol.9369, Springer, 2015.-pp. 3-18.
Alexander Letichevsky, Olexander Letychevskyi, Vladimir Peschanenko: (en) An Interleaving Reduction for Reachability Checking in Symbolic Modeling. In: Ermolayev, V. et al. (eds.) Proc. 11-th Int. Conf. ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, CEUR-WS.org/Vol-1356, ISSN 1613-0073, 338-353, online ceur-ws.org/Vol-1356/paper_74.pdf
A. Letichevsky, O. Letychevskiy, V. Peschanenko A. Guba Generation of Symbolic Traces in the Insertion Modeling System//Cybernetics and System Analyses.- 2015.- No. 1.- С. 7-19.
Drobintsev P.D., Kotlyarov V.P., Nikiforov I.V., Letichevsky A.A., Peschanenko V.S. Approach to Behavior Scenarios Debugging // Control Systems and Computers, Tom 21, Vol. 6, 2014. -pp. 44-56 (in russian).
A. Letichevsky, A. Godlevsky, A. Guba, A. Kolchin, O. Letychevskyi, V. Peschanenko Invariants in symbolic modeling and verification of requirements //Computer Science and Information Technologies (CSIT), 2013, 23-27 Sept. 2013.
A. Kolchin, A. Letichevsky, V. Peschanenko, P. Drobintsev, V. Kotlyarov An approach to creating concretized test scenarios within test automation technology for industrial software projects // Automatic Control and Computer Sciences, December 2013, Volume 47, Issue 7, pp 433-442 .
A. Letichevsky, O. Letychevskyi, V. Peschanenko The Non-Deterministic Strategy of Rewriting // Control Systems and Computers, Vol. 6, 2013. -pp. 53–58.
V. Peschanenko, A. Guba, C. Shushpanov Specializations in Symbolic Verification //Communications in Computer and Information Science, Vol. 412, 2013. -pp. 332–354.
Letichevky, A., Litichevskyi, A., Weigert, T., Peschanenko, V.: The Satisfiability for Symbolic Verification in VRS //Control Systems and Computers, Vol. 3, 2013. -pp. 81-87.
Peschanenko, V., Guba, A., Shushpanov, C.: Mixed concrete-symbolic predicate transformer //Bulletin of Taras Shevchenko University. — 2013. — No. 2, C. 89-94 (series, "Physical and Mathematical sciences).
Vladimir Peschanenko Partial Evaluations in Insertion Modeling //Problems in Programming, Vol. 1, 2013. -pp. 14-22.
Alexander Letichevsky, Olexander Letychevskyi, Vladimir Peschanenko, Anton Guba Deductive Verification of Requirements of Event-Driven Architectures //Problems in Programming, Vol. 2, 2013. -pp. 54-61.
Alexander Kolchin, Alexander Letichevsky, Vladimir Peschanenko, Pavel Drobintsev, Vsevolod Kotlyarov An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects //Control Systems and Computers, Tom 19, Vol. 6, 2012. -pp. 79-91 (in russian).
Olexander Letychevskyi, Marina Morokhovets, Vladimir Peschanenko System of Provable Programming //Control Systems and Computers, Vol. 6, 2012. -pp. 64-71 (in russian).
Alexander Kolchin, Olexander Letychevskyi, Stepan Potiyenko, Vladimir Peschanenko Survey on Modern Tools and Methods of Formal Models Verification //Problems in Programming, Vol. 4, 2012. -pp. 75-88 (in russian).
Alexander Letichevsky, Olexander Letychevskyi, Vladimir Peschanenko About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation //ICTERI 2012, Communications in Computer and Information Science, Vol. 149, 2012. -pp. 149-165.
M.S. Lvov, V.S. Peschanenko Trapezoid Method for Solving Systems of Linear Inequalities and Its Implementation by the Insertion Modeling //Cybernetics and System Analyses.- 2012.- No. 6.- С. 144-156 (in russian).
A.A. Letichevsky, O.A.Letychevskyi, V.S. Peschanenko Insertion Modeling System //PSI 2011, Lecture Notes in Computer Science, Vol.7162, Springer, 2011.-pp. 262-274.
O. Letichevsky, O. Letychevskyi, V. Peschanenko, I. Blynov, D.Klionov Constraint Programming in Insertion Modeling //Programming Problems.-2011.-No. 4.-pp. 14-22.
V. Peschanenko Modeling of Graphical Editor of Insertion Modeling System //Control's Machines and Systems.- 2011.- № 5.- pp. 80-85.
A. Letichevsky, A. Letichevsky Jr., V.Peschanenko APS and Tools //Bulletin of Kharkiv National University VN Karazin. — 2010. — No. 890, C. 145-153 (series, "Mathematical modeling. Information Technology. Automatic Control Systems)
A. Letichevsky, A. Letichevsky Jr, V.Peschanenko Translation Algorithm of APLAN code // Control's Machines and Systems.- 2010.- № 6.- С. 40-46 (in russian)
Letichevsky A.A., Godlevsky A.B., Letichevsky A.A. Jr., Potienko S.V., Peschanenko V.S. Properties of Predicate Transformer of VRS System//Cybernetics and System Analyses.- 2010.- No. 4.- С. 3-16 (in russian)
A. Letichevsky, V.Peschanenko Simple Non-Deterministic Rewriting in Verification // Programming Problems.- 2010.- No. 2-3.- С. 97-101
A. Letichevsky, A. Letichevsky jr, V. Peschanenko Optimization of Rewriting Machine of Algebraic Programming System APS // Bulletin of Kharkiv National University VN Karazin. — 2009. — No. 847, C. 213-220 (series, "Mathematical modeling. Information Technology. Automatic Control Systems)(in russian)
A. Letichevsky, A. Letichevsky jr, V. Peschanenko APS C++ User Library // Programming Problems.- 2008.- No. 2-3.- С. 299-304
V.S. Peschanenko About one approach to designing algebraic types of data // Problems of programming. - 2006.- No.2-3.-S. 626-634
V.S. Peschanenko. Using the APS algebraic programming system for the construction of algebra learning support systems at school// Control System and Machines.-2007.-No.1.- P. 86-94
V.S. Peschanenko Algorithms to support the process of solving an algebraic task in the school system of computer algebra TerM // Control System and Machines.-2007.- No.1.- P. 61-68
Peschanenko V.S. Extension of the standard modules of the APS algebraic programming system for use in educational systems // Scientific journal of the M.P. NPU. Drahomanov Series #2. Computer-oriented learning systems: Collection. of science Pr./Editor's Office - K.: NPU named after M.P. Dragomanov, - No. 3 (10), 2005. - P.206-215
A. Letichevsky, A. Letichevkyi, V. Peschanenko Algebraic Programming System APS version 4.0, 2013
A. Letichevsky, A. Letichevkyi, V. Peschanenko Insertion Modeling System IMS, 2013
A. Letichevsky, A. Letichevkyi, V. Peschanenko Efficient Algorithm for Reachability Checking in Insertion Modeling, 2013
A. Letichevsky, O. Letichevkyi, A. Guba, A. Kolchin, V. Peschanenko Double Approximation Algorithm for Invariants Computation in Insertional Modeling, 2013
Collection of computer programs "Program and Methodological Complex TerM VII for Support of Practical Educational Mathematical Activity" ("TerM VII"): A. p. 12190/ Lvov M.S., Spivakovskyi O.V., Kravtsov H.M., Kot S.M., Gerasimenko K.S., Peschanenko V.S., Grabovskyi A.Yu., Khoruzhenko A.O., Tatochenko V.I., Nagirnyak D.I., Beiko Y.V., Letychevskyi A.A., Chugayeno O.V., Lvova N.M. - Application 8.02.05, Bul. No. 7. – 706 p
Single product of the "Program and methodical complex Term VII of support for practical educational mathematical activity": S. v. WB No. 262696/ version 1.0, release 05
Software tool "Library of electronic visualizations of Algebra 7-9 for general educational institutions of Ukraine" : S. v. NB No. UA1.003.0203239-06/ version 1.5, issue 1.
Alexander Letichevsky, Oleksandr Letychevskyi, Vladimir Peschanenko, Maxsim Poltorackij An Algebraic Approach for Analyzing of Legal Requirements: Proc. of the 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW).-2017.-P.209-212
Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir Peschanenko, Oleksandr Letychevskyi, Maryna Morokhovets, Volodymyr Skobelev, Maksym Poltorackiy: (en) Formalization and Algebraic Verification of Legal Requirements . In: Ermolayev, V. et al. (eds.) Proc. 13-th Int. Conf. ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, CEUR-WS.org/Vol-1844, ISSN 1613-0073, 524-535, online ceur-ws.org/Vol-1844/10000524.pdf
Michael Lvov, Vladimir Peschanenko, Oleksandr Letychevskyi, Yuliia Tarasich: (en)he Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. In: Ermolayev, V. et al. (eds.) Proc. 13-th Int. Conf. ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, CEUR-WS.org/Vol-1844, ISSN 1613-0073, 536-554, online ceur-ws.org/Vol-1844/10000536.pdf
Alexander Letichevsky, Olexandr Letichevkyi, Vladimir Peschanenko Insertion Modeling and Its Applications: Proc. of the Conference on Mathematical Foundations of Informatics.-2016.-P.73-84
Alexander Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexandr Letichevkyi, Vladimir Peschanenko Usage of Invariants for Symbolic Verification of Requirements//Risc-Linz report series No. 13-06.-2013.-P.124-124
Alexander Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexandr Letichevkyi, Vladimir Peschanenko Usage of Invariants for Symbolic Verification of Requirements//EPiC Series No. 15.-2013.-P.124-124
Vladimir Peschanenko, Anton Guba, Constantin Shushpanov: (en) Specializations and Symbolic Modeling. In: Ermolayev, V. et al. (eds.) Proc. 9-th Int. Conf. ICTERI 2013, Kherson, Ukraine, Jun 19-22, 2013, CEUR-WS.org/Vol-1000, ISSN 1613-0073, 490-505, online ceur-ws.org/Vol-1000/ICTERI-2013-p-490-505-SMSV.pdf
Alexander Letichevsky, Olexander Letichevskiy, Marina Morokhovets, Vladimir Peschanenko. System of Programs Proving // In: Problems of Computer Intellectualization (Vitalii Velychko, Alexey Volosyn, Krassimir Markov, eds.). – Kyiv: V.M.Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, 2012. – P. 133-140.
V. Peschanenko, A. Guba, C. Shushpanov Mixed Concrete-Symbolic Predicate Transformer//Materials of International conference «Theoretical and Applied Aspects of Program System Development» (Kiev, 2012. Institute of Program Systems, Taras Shevchenko National University of Kiev).− TAAPSD, 2012.− P. 23-26
Alexander Letichevsky, Olexander Letychevskyi, Vladimir Peschanenko: (en) Efficient Algorithm for Reachability Checking in Modeling. In: Ermolayev, V. et al. (eds.) Proc. 8-th Int. Conf. ICTERI 2012, Kherson, Ukraine, Jun 6-12, 2012, CEUR-WS.org/Vol-848, ISSN 1613-0073, 71-81, online ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-paper-34-p-71-81.pdf
A.Letichevsky, O.Letichevsky Jr, V.Peschanenko, How to win interleaving in locally specified systems, CSIT Proceedings of the conference, September 26-30,2011, Yerevan, Armenia, p.9.
A.A.Letichevsky, O.A.Letichevsky, and V.S.Peschanenko, Efficient algorithm for reachability, Proceedings of the first International Seminar Specification and Verification of Hybrid Systems, 10-12 October, 2011, Kiev, Ukraine, pp. 34-39.
Alexander Letichevsky, Olexander Letichevskyi, Vladimir Peschanenko, Igor Blinov and Dmitriy Klionov: (en) Insertion Modeling System And Constraint Programming. In: Ermolayev, V. et al. (eds.) Proc. 7-th Int. Conf. ICTERI 2011, Kherson, Ukraine, May 4-7, 2011, CEUR-WS.org/Vol-716, ISSN 1613-0073, 51-64, online CEUR-WS.org/Vol-716/ICTERI-2011-CEUR-WS-paper-3-p-51-64.pdf
A. Letichevsky, A. Letichevsky Jr., V.Peschanenko Simple Non-Deterministic Strategy in Rewriting and Its Aplication for Verification // Risc-Linz report series No. 10-10.-2010.-P.97-104
A.A. Letichevsky, O. Letichevsky, V.S. Peschanenko Rewriting Machine of Insertion Modelling System//Materials of International workshop «Automata, Algorithms and Information Technologies» (Kiev,2010. Glushkov Institute of Cybernetics and other).-AAIT,2010.-P.15-15
A. Letichevsky, A. Letichevsky Jr, V. Peschanenko APS and Other//Materials of International conference «Theoretical and Applied Aspects of Program System Development» (Kiev, 2009. Institute of Program Systems, Chernigiv's State Technologies University and other).− TAAPSD, 2009.− P. 92-96
M. Lvov, V. Peschanenko The Program Environment of Practical Training Support in the Course of Mathematical Logic// Materials of International conference «New Information Technologies in Education for All:e-education»− Kiev: MNUC NAS and MUS of Ukraine, 2008. − P. 392−398
V. Peschanenko APLANC Language of Algebraic Programming System APS //Materials of International conference «Theoretical and Applied Aspects of Program System Development» (Kiev, Chernigiv, 2008. Institute of Program Systems, Chernigiv's State Technologies University and other).− TAAPSD, 2008. –Part.2.− P. 215-218 (in russian)
Lvov M.S., Gerasimenko G.S., Peschanenko V.S. Mathematical tools for support of mathematical learning // Materials of the second international scientific and practical conference "Informatization of Ukrainian education: state, problems, prospects", 2003.- P. 92-94
Lvov M.S., Peschanenko V.S. Methods of computer algebra in support systems for educational mathematical activity // "New information technologies". Theses of reports of the 10th international student school-seminar, 2 volumes.– M.: MGIEM, 2002.-Vol.2.-P. 98-100
Peschanenko V.S. Algorithms of automation of checking the correctness of the progress of solving algebraic problems // "New information technologies". Abstracts of reports of the 11th International Student School-seminar, 2 volumes.–Moscow: Moscow State University, 2003.Vol.2.-P. 442-444
V.S. Peschanenko Algorithms to support the progress of solving an algebraic task in the school system of computer algebra Term // Prev. int. conf. "Information technologies in education for all". - Kyiv: MNUC of the National Academy of Sciences and the Ministry of Education and Science of Ukraine, 2006.-P. 210-220
M.Lvov, V.Peschanenko Concept, functional requirements and methods of realization of school system of computer algebra (TerM system) // Proceedings of International conference "Computer simulation in information or/and communication engineering" (CSIC'05). - Sofia, 2005. - P. 158-162
V.S. Peschanenko Methods of designing and implementing mathematical systems for educational purposes // Materials of the Third International Conference "Theoretical and Applied Aspects of Building Program Systems" (TAAPSD, 2006), 2006, P. 30-32