default search action

combined dblp search
author search
venue search
publication search

ask others

Vladimir S. Peschanenko

Volodymyr Peschanenko

> Home > Persons

Person information

affiliation: Kherson State University, Ukraine

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/idaacs/LetychevskyiTP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idaacs/LetychevskyiTP23
Oleksandr A. Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko:
Algebraic Modeling System for Supporting Research in Medicine and Pharmacology. IDAACS 2023: 1093-1098
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/RuffyLKHTSDPSF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/RuffyLKHTSDPSF23
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: 136-151
2022
[c25]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/intelitsis/LetychevskyiPH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/intelitsis/LetychevskyiPH22
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Serhii Horbatiuk:
Consensus protocol security analysis using an algebraic virtual machine. IntelITSIS 2022: 484-493
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-15300
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-15300
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 abs/2211.15300 (2022)
2021
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/LetychevskyiPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetychevskyiPV21
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Vlad Volkov:
Algebraic Virtual Machine and Its Applications. ICTERI (Revised Selected Papers) 2021: 23-41
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/LetychevskyiTPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetychevskyiTPV21
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: 180-202
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/idaacs/NaumenkoMOOPDL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idaacs/NaumenkoMOOPDL21
Serhii Naumenko, Viktoriia Moskalets, Oleg Odarushchenko, Elena Odarushchenko, Volodymyr Peschanenko, Larysa Degtyareva, Oleksandr A. Letychevskyi:
Formal Methods of FPGA Project Verification Flow. IDAACS 2021: 1141-1146
2020
[c21]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/LetychevskyiPPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetychevskyiPPT20
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskiy, Yuliia Tarasich:
Platform for Modeling of Algebraic Behavior: Experience and Conclusions. ICTERI Workshops 2020: 42-57

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/isecure/LetychevskyiHYP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isecure/LetychevskyiHYP19
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): 1-7 (2019)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/dessert/LetychevskyiPRH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dessert/LetychevskyiPRH19
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Yaroslav Hryniuk, Viktor Yakovlev:
Algebraic Patterns of Vulnerabilities in Binary Code. DESSERT 2019: 70-73
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icbc2/LetychevskyPRPK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icbc2/LetychevskyPRPK19
O. Letychevsky, Volodymyr Peschanenko, Viktor Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko:
Formal Verification of Token Economy Models. IEEE ICBC 2019: 201-204
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/LetychevskyiPPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetychevskyiPPT19
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskiy, Yulia Tarasich:
Our Approach to Formal Verification of Token Economy Models. ICTERI (Revised Selected Papers) 2019: 348-363
[c17]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/LetychevskyiPRP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetychevskyiPRP19
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich:
Formalization and Algebraic Modeling of Tokenomics Projects. ICTERI Workshops 2019: 577-584
[c16]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/PeschanenkoPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/PeschanenkoPP19
Volodymyr Peschanenko, Maksym Poltoratskiy, Karina Pryimak:
Formalization and Algebraic Modeling of University Economics. ICTERI Workshops 2019: 585-594
[c15]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/SobolSKRSLPO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/SobolSKRSLPO19
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: 694-703
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iecc/LetychevskyiPRO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecc/LetychevskyiPRO19
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maxim Orlovsky, Andrey Sobol:
Algebraic Approach to Verification and Testing of Distributed Applications. IECC 2019: 37-43
2018
[c13]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ukrprog/PeschanenkoP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ukrprog/PeschanenkoP18
Volodymyr Peschanenko, Maksym Poltorackiy:
Use of metods of algebraic programming for the formal verification of legal acts. UkrPROG 2018: 109-114
2017
[c12]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/GodlevskyiLPLMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/GodlevskyiLPLMS17
Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr G. Skobelev, Maksym Poltorackiy:
Formalization and Algebraic Verification of Legal Requirements. ICTERI 2017: 524-535
[c11]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/LvovPLT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LvovPLT17
Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich:
The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. ICTERI 2017: 536-554
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/re/LetichevskyLPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/LetichevskyLPP17
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko, Maxsim Poltorackij:
An Algebraic Approach for Analyzing of Legal Requirements. RE Workshops 2017: 209-212
[e4]
- view
- export record
  dblp key:
  - conf/icteri/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/2017
Vadim Ermolayev, Nick Bassiliades, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Vyacheslav S. Kharchenko, Vladimir S. Peschanenko, Mariya Shyshkina, Mykola S. Nikitchenko, Aleksander Spivakovsky:
Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017. CEUR Workshop Proceedings 1844, CEUR-WS.org 2017 [contents]
[e3]
- view
- export record
  dblp key:
  - conf/icteri/2018w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/2018w
Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Vitaliy Yakovyna, Vyacheslav S. Kharchenko, Vitaliy Kobets, Hennadiy Kravtsov, Vladimir S. Peschanenko, Yaroslav Prytula, Mykola S. Nikitchenko, Aleksander Spivakovsky:
Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, May 14-17, 2018. CEUR Workshop Proceedings 2104, CEUR-WS.org 2017 [contents]
2016
[j3]
- view
  - electronic edition @ math.md (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/csjm/LetichevskyLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csjm/LetichevskyLP16
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko:
Insertion Modeling and Its Applications. Comput. Sci. J. Moldova 24(3): 357-370 (2016)
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/DrobintsevKNLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/DrobintsevKNLP15
Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky, Volodymyr Peschanenko:
Approach to behavior scenarios debugging. Autom. Control. Comput. Sci. 49(7): 430-436 (2015)
[c9]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/LetichevskyLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetichevskyLP15
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko:
An Interleaving Reduction for Reachability Checking in Symbolic Modeling. ICTERI 2015: 338-353
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/LetichevskyLPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/LetichevskyLPW15
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert:
Insertion Modeling and Symbolic Verification of Large Systems. SDL Forum 2015: 3-18
[e2]
- view
- export record
  dblp key:
  - conf/icteri/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/2015
Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Vyacheslav S. Kharchenko, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, Vadim Ermolayev, Yuriy Bobalo, Aleksander Spivakovsky:
Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015. CEUR Workshop Proceedings 1356, CEUR-WS.org 2015 [contents]
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/KolchinLPDK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/KolchinLPDK13
Alexander Kolchin, Alexander A. Letichevsky, Vladimir S. Peschanenko, Pavel D. Drobintsev, Vsevolod Kotlyarov:
An approach to creating concretized test scenarios within test automation technology for industrial software projects. Autom. Control. Comput. Sci. 47(7): 433-442 (2013)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/PeschanenkoGS13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/PeschanenkoGS13a
Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov:
Specializations in Symbolic Verification. ICTERI (Revised Selected Papers) 2013: 332-354
[c6]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/PeschanenkoGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/PeschanenkoGS13
Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov:
Specializations and Symbolic Modeling. ICTERI 2013: 490-505
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sycss/LetichevskyGGKLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sycss/LetichevskyGGKLP13
Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko:
Usage of Invariants for Symbolic Verification of Requirements. SCSS 2013: 124
[e1]
- view
- export record
  dblp key:
  - conf/icteri/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/2013
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko:
Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013. CEUR Workshop Proceedings 1000, CEUR-WS.org 2013 [contents]
2012
[c4]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/LetichevskyLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetichevskyLP12
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko:
Efficient Algorithm for Reachability Checking in Modeling. ICTERI 2012: 71-81
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/LetichevskyLP12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetichevskyLP12a
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko:
About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation. ICTERI (Revised Selected Papers) 2012: 149-164
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/LetichevskyLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/LetichevskyLP11
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko:
Insertion Modeling System. Ershov Memorial Conference 2011: 262-273
[c1]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icteri/LetichevskyPLBK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetichevskyPLBK11
Alexander A. Letichevsky, Vladimir S. Peschanenko, Alexander Letichevsky Jr., Igor Ol. Blinov, Dmitriy M. Klionov:
Insertion Modeling System and Constraint Programming. ICTERI 2011: 51-64

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.