Volodymyr Peschanenko

20 papers A* 1Journal 3Unranked 16
YearRankTypeTitle / Venue / Authors
2025 — conf
Modeling the tokenomics of the personalized MOOC platform "Edu2Work".
DigiTransfEd
Volodymyr Peschanenko, Maksym Poltorackiy, Olha Konnova, Maksym Vinnyk
2023 — conf
Algebraic Modeling System for Supporting Research in Medicine and Pharmacology.
IDAACS
Oleksandr A. Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko
2023 A* conf
P4Testgen: An Extensible Test Oracle For P4-16.
SIGCOMM
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster
2022 — conf
Consensus protocol security analysis using an algebraic virtual machine.
IntelITSIS
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Serhii Horbatiuk
2022 J jnl
P4Testgen: An Extensible Test Oracle For P4.
CoRR
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman
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
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
Formal Verification of Token Economy Models.
IEEE ICBC
O. Letychevsky, Volodymyr Peschanenko, Viktor Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko
2019 — conf
Formalization and Algebraic Modeling of Tokenomics Projects.
ICTERI Workshops
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich
2019 — conf
Formalization and Algebraic Modeling of University Economics.
ICTERI Workshops
Volodymyr Peschanenko, Maksym Poltoratskiy, Karina Pryimak
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
2018 — conf
Use of metods of algebraic programming for the formal verification of legal acts.
UkrPROG
Volodymyr Peschanenko, Maksym Poltorackiy
2015 J jnl
Approach to behavior scenarios debugging.
Autom. Control. Comput. Sci.
Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky, Volodymyr Peschanenko
2015 — conf
Insertion Modeling and Symbolic Verification of Large Systems.
SDL Forum
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert