Application of the Theory of Functional Stability in the Problems of Covering Territories by Sensory Networks. - Oleh Mashkov; Alexey Bychkov; Ganna Kalahnik; Victor Shevchenko; Svitlana Vyshemyrska (ISDMCI, 2022)

Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems. - Oleh Mashkov; Oleh Ilyin; Viktor Mashkov; Oleh Boskin; Oksana Ohnieva (ISDMCI, 2022)

Probabilistic Algorithm for System Level Self-diagnosis. - Viktor Mashkov; Volodymyr Lytvynenko; Oleh Mashkov; Svitlana Vyshemyrska (ISDMCI (1), 2024)