Vladimir S. Peschanenko

According to our database, Vladimir S. Peschanenko authored at least 32 papers between 2011 and 2023.

Collaborative distances:

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

2023

P4Testgen: An Extensible Test Oracle For P4-16.

Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster

Proceedings of the ACM SIGCOMM 2023 Conference, 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

2022

P4Testgen: An Extensible Test Oracle For P4.

Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman

CoRR, 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

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

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

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 University Economics.

Volodymyr Peschanenko, Maksym Poltoratskiy, Karina Pryimak

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

Formal Verification of Token Economy Models.

O. Letychevsky, Volodymyr Peschanenko, Viktor Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 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

2018

Use of metods of algebraic programming for the formal verification of legal acts.

Volodymyr Peschanenko, Maksym Poltorackiy

Proceedings of the 11th International Conference of Programming UkrPROG 2018, Kyiv, 2018

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

Approach to behavior scenarios debugging.

Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky, Volodymyr Peschanenko

Autom. Control. Comput. Sci., 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

2013

An approach to creating concretized test scenarios within test automation technology for industrial software projects.

Alexander Kolchin, Alexander A. Letichevsky, Vladimir S. Peschanenko, Pavel D. Drobintsev, Vsevolod Kotlyarov

Autom. Control. Comput. Sci., 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

Specializations in Symbolic Verification.

Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov

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

Specializations and Symbolic Modeling.

Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov

Proceedings of the 9th International Conference on ICT in Education, 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 and Constraint Programming.

Alexander A. Letichevsky, Vladimir S. Peschanenko, Alexander Letichevsky Jr., Igor Ol. Blinov, Dmitriy M. Klionov

Proceedings of the 7th International Conference on ICT in Education, 2011

Insertion Modeling System.

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

Proceedings of the Perspectives of Systems Informatics, 2011