Подписаться
Volodymyr Peschanenko / Володимир Песчаненко
Volodymyr Peschanenko / Володимир Песчаненко
Подтвержден адрес электронной почты в домене ksu.ks.ua - Главная страница
Название
Процитировано
Процитировано
Год
Insertion modeling and its applications
A Letichevsky, O Letychevskyi, V Peschanenko
Computer Science Journal of Moldova 72 (3), 357-370, 2016
362016
Properties of a predicate transformer of the VRS system
AA Letichevsky, AB Godlevsky, AA Letychevsky, SV Potiyenko, ...
Cybernetics and Systems Analysis 46, 521-532, 2010
342010
Insertion modeling system
AA Letichevsky, OA Letychevskyi, VS Peschanenko
Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012
322012
Insertion modeling and symbolic verification of large systems
A Letichevsky, O Letychevskyi, V Peschanenko, T Weigert
SDL 2015: Model-Driven Engineering for Smart Cities: 17th International SDL …, 2015
232015
Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid.
L van Moergestel, E Puik, D Telgen, JJC Meyer
ICTERI, 172-187, 2015
202015
An approach to creating concretized test scenarios within test automation technology for industrial software projects
A Kolchin, A Letichevsky, V Peschanenko, P Drobintsev, V Kotlyarov
Automatic Control and Computer Sciences 47, 433-442, 2013
192013
Modeling method for development of digital system algorithms based on programmable logic devices
OO Letychevskyi, VS Peschanenko, VS Kharchenko, VA Volkov, ...
Cybernetics and Systems Analysis 56, 710-717, 2020
152020
Formal verification of token economy models
O Letychevsky, V Peschanenko, V Radchenko, M Poltoratzkyi, ...
2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC …, 2019
122019
P4Testgen: An extensible test oracle for P4
F Ruffy, J Liu, P Kotikalapudi, V Havel, H Tavante, R Sherwood, V Dubina, ...
Proceedings of the ACM SIGCOMM 2023 Conference, 136-151, 2023
112023
Algebraic approach to verification and testing of distributed applications
O Letychevskyi, V Peschanenko, V Radchenko, M Orlovsky, A Sobol
Proceedings of the 1st International Electronics Communication Conference, 37-43, 2019
92019
An algebraic approach for analyzing of legal requirements
A Letichevsky, O Letychevskyi, V Peschanenko, M Poltorackij
2017 IEEE 25th International Requirements Engineering Conference Workshops …, 2017
72017
Generating symbolic traces in the insertion modeling system
AA Letichevsky, OO Letychevskyi, VS Peschanenko, AA Huba
Cybernetics and Systems Analysis 51, 5-15, 2015
72015
Insertion Modeling System and Constraint Programming.
AA Letichevsky, VS Peschanenko, A Letichevsky Jr, IO Blinov, ...
ICTERI, 51-64, 2011
72011
Algebraic programming system APS (user manual) Glushkov Institute of Cybernetics
A Letichevsky, J Kapitonova, V Volkov, A Chugajenko, V Chomenko, ...
National Acad. of Sciences of Ukraine, Kiev, Ukraine, 1998
71998
Platform for Modeling of Algebraic Behavior: Experience and Conclusions.
OA Letychevskyi, V Peschanenko, M Poltoratskiy, Y Tarasich
ICTERI Workshops, 42-57, 2020
62020
Algebraic patterns of vulnerabilities in binary code
O Letychevskyi, V Peschanenko, V Radchenko, Y Hryniuk, V Yakovlev
2019 10th International Conference on Dependable Systems, Services and …, 2019
62019
Formalization and algebraic modeling of tokenomics projects
O Letychevskyi, V Peschanenko, V Radchenko, M Poltoratskyi, Y Tarasich
CEUR Workshop Proceedings, 577-584, 2019
62019
An Interleaving Reduction for Reachability Checking in Symbolic Modeling.
AA Letichevsky, OA Letychevskyi, VS Peschanenko
ICTERI, 338-353, 2015
62015
Fuzz Testing Technique and its Use in Cybersecurity Tasks
OO Letychevskyi, VS Peschanenko, YV Hryniuk
Cybernetics and Systems Analysis 58 (1), 157-163, 2022
52022
Algebraic virtual machine project
O Letychevskyi, V Peschanenko, V Volkov
International Conference on Information and Communication Technologies in …, 2021
52021
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20