Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. - Natalia Shabaldina; Khaled El-Fakih; Nina Yevtushenko 001 (TestCom/FATES, 2007)

Distinguing Non-deterministic Timed Finite State Machines. - Maxim Gromov; Khaled El-Fakih; Natalia Shabaldina; Nina Yevtushenko 001 (FMOODS/FORTE, 2009)

Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation. - E. Akenshina; Natalia Shabaldina; Nina Yevtushenko 001 (ICST Workshops, 2010)

On deriving test suites for nondeterministic finite state machines with time-outs. - Natalia Shabaldina; R. F. Galimullin (Program. Comput. Softw., 2012)

Distinguishing Experiments for Timed Nondeterministic Finite State Machines. - Khaled El-Fakih; Maxim Gromov; Natalia Shabaldina; Nina Yevtushenko 001 (Acta Cybern., 2013)

FSMTest-1.0: A manual for researches. - Natalia Shabaldina; Maxim Gromov (EWDTS, 2015)

Towards parallel composition of partial finite state machines: Checking safety property step-by-step. - E. Darusenkova; Natalia Shabaldina (EWDTS, 2016)

Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II. - Maxim Gromov; Natalia Shabaldina (Autom. Control. Comput. Sci., 2017)

FSM-based Sequential Circuits Optimization by Changing Initial State of Specification. - Maxim Gromov; Natalia Shabaldina; Aleksandr S. Tvardovskii; Svetlana Prokopenko (EWDTS, 2021)