Attribute-based approach of defining the secure behavior of automata objects. - Fedor Novikov; Ludmila N. Fedorchenko; Vladimir I. Vorobiev; Roza R. Fatkieva; Dmitriy K. Levonevskiy (SIN, 2017)

Gamification of Problem Solving Process Based on Logical Rules. - Fedor Novikov; Viktor Katsman (ISSEP, 2018)

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)