| 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 |
| Systems specification by basic protocols AA Letichevsky, YV Kapitonova, VA Volkov, AA Letichevsky, SN Baranov, ... Cybernetics and Systems Analysis 41, 479-493, 2005 | 62 | 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 |
| Validation of embedded systems J Kapitonova, A Letichevsky, V Volkov, T Weigert The Embedded Systems Handbook. CRC Press, Miami, 479-493, 2005 | 33 | 2005 |
| Insertion programming AA Letichevskii, YV Kapitonova, VA Volkov, VV Vyshemirskii, ... Cybernetics and Systems Analysis 39 (1), 16-26, 2003 | 27 | 2003 |
| Semantics of message sequence charts AA Letichevsky, JV Kapitonova, VP Kotlyarov, VA Volkov, AA Letichevsky, ... SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June …, 2005 | 24 | 2005 |
| Tools for solving problems in the scope of algebraic programming YV Kapitonova, AA Letichevsky, MS L'vov, VA Volkov Integrating Symbolic Mathematical Computation and Artificial Intelligence …, 1995 | 21 | 1995 |
| 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 |
| Insertion modeling AA Letichevsky, YV Kapitonova, VA Volkov, VV Vyshemirsky Control Systems and Computers 6 (3), 3-14, 2012 | 11 | 2012 |
| Semantics of timed MSC language AA Letichevsky, JV Kapitonova, V Kotlyarov, A Letichevsky Jr, V Volkov Kibernetika and System Analysis 4, 3-13, 2002 | 11 | 2002 |
| Deductive tools of an algebraic programming system YV Kapitonova, AA Letichevskii, VA Volkov Cybernetics and Systems Analysis 36, 12-26, 2000 | 11 | 2000 |
| Applied Computer Support of Mathematical Training M Lvov, VA Volkov, AB Kupriienko Proc. of Internal Work Shop in Computer Algebra Applications, Kiev, 25-26, 1993 | 8 | 1993 |
| Semantics of timed message sequence charts AA Letichevskii, YV Kapitonova, VP Kotlyarov, AA Letichevskii, VA Volkov Cybernetics and Systems Analysis 38, 475-484, 2002 | 6 | 2002 |
| Algebraic virtual machine project O Letychevskyi, V Peschanenko, V Volkov International Conference on Information and Communication Technologies in …, 2021 | 5 | 2021 |
| 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 | 5 | 1998 |
| Tools for Solving Problems in the Scope of Algebraic Programming. LNCS, 958 Y Kapitonova, A Letichevsky, M L’vov, V Volkov Springer, 1995 | 5 | 1995 |
| System validation JV Kapitonova, AA Letichevsky, VA Volkov, T Weigert Embedded Systems: Handbook, 6-1-6-57, 2005 | 4 | 2005 |
| Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations AA Letichevskii, PN Denisenko, VI Bilenko, VA Volkov Cybernetics and Systems Analysis 33 (1), 85-88, 1997 | 4 | 1997 |
| Formal Requirements Capturing using VRS system. AA Letichevsky, A Kolchin, O Letychevskyy Jr, S Potiyenko, VA Volkov, ... WING@ ETAPS/IJCAR, 148-149, 2010 | 2 | 2010 |
