| 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 | 32 | 2010 |
| Insertion modeling system AA Letichevsky, OA Letychevskyi, VS Peschanenko Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012 | 30 | 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 | 19 | 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 | 18 | 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 | 14 | 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 | 13 | 2019 |
| 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 | 10 | 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 | 8 | 2017 |
| Our approach to formal verification of token economy models O Letychevskyi, V Peschanenko, M Poltoratskyi, Y Tarasich International Conference on Information and Communication Technologies in …, 2019 | 7 | 2019 |
| 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 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 |
| Algebraic virtual machine project O Letychevskyi, V Peschanenko, V Volkov International Conference on Information and Communication Technologies in …, 2021 | 5 | 2021 |
| Platform for Modeling of Algebraic Behavior: Experience and Conclusions. OA Letychevskyi, V Peschanenko, M Poltoratskiy, Y Tarasich ICTERI Workshops, 42-57, 2020 | 5 | 2020 |
| Formalization and algebraic modeling of tokenomics projects O Letychevskyi, V Peschanenko, V Radchenko, M Poltoratskyi, Y Tarasich CEUR Workshop Proceedings, 577-584, 2019 | 5 | 2019 |
| An Interleaving Reduction for Reachability Checking in Symbolic Modeling. AA Letichevsky, OA Letychevskyi, VS Peschanenko ICTERI, 338-353, 2015 | 5 | 2015 |
| Invariants in symbolic modeling and verification of requirements A Letichevsky, A Godlevsky, A Guba, A Kolchin, O Letychevskyi, ... Ninth International Conference on Computer Science and Information …, 2013 | 5 | 2013 |
| Overview of modern systems and verification methods of formal models AV Kolchin, AA Letichevsky, SV Potienko, VS Peschanenko Problems of Programming 4, 75-88, 2012 | 5 | 2012 |
