Basic protocols, message sequence charts, and the verification of requirements specifications A Letichevsky, J Kapitonova, A Letichevsky Jr, V Volkov, S Baranov, ... Computer Networks 49 (5), 661-675, 2005 | 161 | 2005 |
Cyber-physical systems AA Letichevsky, OO Letychevskyi, VG Skobelev, VA Volkov Cybernetics and Systems Analysis 53, 821-834, 2017 | 55 | 2017 |
Insertion modeling in distributed system design AA Letichevsky, JV Kapitonova, AA Letichevsky Jr, VP Kotlyarov, ... Інститут програмних систем НАН України, 2008 | 53 | 2008 |
Insertion modeling and its applications A Letichevsky, O Letychevskyi, V Peschanenko Computer Science Journal of Moldova 72 (3), 357-370, 2016 | 36 | 2016 |
Insertion modeling system AA Letichevsky, OA Letychevskyi, VS Peschanenko Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012 | 32 | 2012 |
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 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 |
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 |
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 |
Two-level algebraic method for detection of vulnerabilities in binary code O Letychevskyi 2019 10th IEEE International Conference on Intelligent Data Acquisition and …, 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 | 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 |