Vladimir S. Peschanenko

Orcid: 0000-0003-1013-9877

Affiliations:
  • Kherson State University, Ukraine


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
P4Testgen: An Extensible Test Oracle For P4-16.
Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Algebraic Modeling System for Supporting Research in Medicine and Pharmacology.
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.
CoRR, 2022

Consensus protocol security analysis using an algebraic virtual machine.
Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security, 2022

2021
Formal Methods of FPGA Project Verification Flow.
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.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2021

Algebraic Virtual Machine and Its Applications.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2021

2020
Platform for Modeling of Algebraic Behavior: Experience and Conclusions.
Proceedings of the 16th International Conference on ICT in Education, 2020

2019
Algebraic Matching of Vulnerabilities in a Low-Level Code.
ISC Int. J. Inf. Secur., 2019

Algebraic Approach to Verification and Testing of Distributed Applications.
Proceedings of the 2019 International Electronics Communication Conference, 2019

Random Re-Ordering of the Parties in the Consensus Protocol.
Proceedings of the 15th International Conference on ICT in Education, 2019

Formalization and Algebraic Modeling of University Economics.
Proceedings of the 15th International Conference on ICT in Education, 2019

Formalization and Algebraic Modeling of Tokenomics Projects.
Proceedings of the 15th International Conference on ICT in Education, 2019

Our Approach to Formal Verification of Token Economy Models.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2019

Formal Verification of Token Economy Models.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019

Algebraic Patterns of Vulnerabilities in Binary Code.
Proceedings of the 10th International Conference on Dependable Systems, 2019

2018
Use of metods of algebraic programming for the formal verification of legal acts.
Proceedings of the 11th International Conference of Programming UkrPROG 2018, Kyiv, 2018

2017
An Algebraic Approach for Analyzing of Legal Requirements.
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.
Proceedings of the 13th International Conference on ICT in Education, 2017

Formalization and Algebraic Verification of Legal Requirements.
Proceedings of the 13th International Conference on ICT in Education, 2017

2016
Insertion Modeling and Its Applications.
Comput. Sci. J. Moldova, 2016

2015
Approach to behavior scenarios debugging.
Autom. Control. Comput. Sci., 2015

Insertion Modeling and Symbolic Verification of Large Systems.
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

An Interleaving Reduction for Reachability Checking in Symbolic Modeling.
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.
Autom. Control. Comput. Sci., 2013

Usage of Invariants for Symbolic Verification of Requirements.
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Specializations in Symbolic Verification.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013

Specializations and Symbolic Modeling.
Proceedings of the 9th International Conference on ICT in Education, 2013

2012
About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation.
Proceedings of the ICT in Education, Research, and Industrial Applications, 2012

Efficient Algorithm for Reachability Checking in Modeling.
Proceedings of the 8th International Conference on ICT in Education, 2012

2011
Insertion Modeling System and Constraint Programming.
Proceedings of the 7th International Conference on ICT in Education, 2011

Insertion Modeling System.
Proceedings of the Perspectives of Systems Informatics, 2011


  Loading...