Vladimir S. Peschanenko

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

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

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

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

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


  Loading...