Architecture of the Software System for Adaptive Protection of Network Infrastructure. - Dmitriy K. Levonevskiy; Ludmila N. Fedorchenko; Irina Afanasieva; Fedor Novikov (SIN, 2018)

Verification of internet protocol properties using cooperating automaton objects. - Dmitriy Levonevskiy; Fedor Novikov; Ludmila N. Fedorchenko; Irina Afanasieva (SIN, 2019)