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 | 67 | 2017 |
Systems specification by basic protocols AA Letichevsky, YV Kapitonova, VA Volkov, AA Letichevsky, SN Baranov, ... Cybernetics and Systems Analysis 41, 479-493, 2005 | 63 | 2005 |
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 | 28 | 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 | 15 | 2020 |
Deductive tools of an algebraic programming system YV Kapitonova, AA Letichevskii, VA Volkov Cybernetics and Systems Analysis 36, 12-26, 2000 | 11 | 2000 |
Insertion modeling AA Letichevsky, YV Kapitonova, VA Volkov, VV Vyshemirsky Control Systems and Computers 6 (3), 3-14, 2012 | 10 | 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 | 10 | 2002 |
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 |
Applied Computer Support of Mathematical Training M Lvov, VA Volkov, AB Kupriienko Proc. of Internal Work Shop in Computer Algebra Applications.–Kiev, 1993.–Р …, 1993 | 7 | 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 |
Tools for Solving Problems in the Scope of Algebraic Programming. LNCS, 958 Y Kapitonova, A Letichevsky, M L’vov, V Volkov Springer, 1995 | 6 | 1995 |
Algebraic virtual machine project O Letychevskyi, V Peschanenko, V Volkov International Conference on Information and Communication Technologies in …, 2021 | 5 | 2021 |
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 |
Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems O Letychevskyi, Y Tarasich, V Peschanenko, V Volkov, H Sokolova, ... International Conference on Information and Communication Technologies in …, 2021 | 2 | 2021 |