Volodymyr Peschanenko

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 19

Top Topics

Biomedical Engineering

Formal Verification

Top Venues

ICTERI Workshops

ICTERI (Revised Selected Papers)

Autom. Control. Comput. Sci.

Publications

Oleksandr A. Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko
Algebraic Modeling System for Supporting Research in Medicine and Pharmacology. IDAACS (2023)
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster
P4Testgen: An Extensible Test Oracle For P4-16. SIGCOMM (2023)
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman
P4Testgen: An Extensible Test Oracle For P4. CoRR (2022)
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, Volodymyr Peschanenko, Maksym Poltoratskyi, Yuliia Tarasich
Platform for Modeling of Algebraic Behavior: Experience and Conclusions. ICTERI Workshops (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)
Volodymyr Peschanenko, Maksym Poltoratskiy, Karina Pryimak
Formalization and Algebraic Modeling of University Economics. ICTERI Workshops (2019)
O. Letychevsky, Volodymyr Peschanenko, Viktor Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko
Formal Verification of Token Economy Models. IEEE ICBC (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)
Volodymyr Peschanenko, Maksym Poltorackiy
Use of metods of algebraic programming for the formal verification of legal acts. UkrPROG (2018)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert
Insertion Modeling and Symbolic Verification of Large Systems. SDL Forum (2015)
Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky, Volodymyr Peschanenko
Approach to behavior scenarios debugging. Autom. Control. Comput. Sci. 49 (7) (2015)