Insertion modeling and its applications A Letichevsky, O Letychevskyi, V Peschanenko Computer Science Journal of Moldova 72 (3), 357-370, 2016 | 36 | 2016 |
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 | 34 | 2010 |
Insertion modeling system AA Letichevsky, OA Letychevskyi, VS Peschanenko Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012 | 32 | 2012 |
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 | 23 | 2015 |
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 | 20 | 2015 |
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 | 19 | 2013 |
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 | 15 | 2020 |
Formal verification of token economy models O Letychevsky, V Peschanenko, V Radchenko, M Poltoratzkyi, ... 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC …, 2019 | 12 | 2019 |
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 | 11 | 2023 |
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 | 9 | 2019 |
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 | 7 | 2017 |
Generating symbolic traces in the insertion modeling system AA Letichevsky, OO Letychevskyi, VS Peschanenko, AA Huba Cybernetics and Systems Analysis 51, 5-15, 2015 | 7 | 2015 |
Insertion Modeling System and Constraint Programming. AA Letichevsky, VS Peschanenko, A Letichevsky Jr, IO Blinov, ... ICTERI, 51-64, 2011 | 7 | 2011 |
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 | 7 | 1998 |
Platform for Modeling of Algebraic Behavior: Experience and Conclusions. OA Letychevskyi, V Peschanenko, M Poltoratskiy, Y Tarasich ICTERI Workshops, 42-57, 2020 | 6 | 2020 |
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 | 6 | 2019 |
Formalization and algebraic modeling of tokenomics projects O Letychevskyi, V Peschanenko, V Radchenko, M Poltoratskyi, Y Tarasich CEUR Workshop Proceedings, 577-584, 2019 | 6 | 2019 |
An Interleaving Reduction for Reachability Checking in Symbolic Modeling. AA Letichevsky, OA Letychevskyi, VS Peschanenko ICTERI, 338-353, 2015 | 6 | 2015 |
Fuzz Testing Technique and its Use in Cybersecurity Tasks OO Letychevskyi, VS Peschanenko, YV Hryniuk Cybernetics and Systems Analysis 58 (1), 157-163, 2022 | 5 | 2022 |
Algebraic virtual machine project O Letychevskyi, V Peschanenko, V Volkov International Conference on Information and Communication Technologies in …, 2021 | 5 | 2021 |