Testing and Model-Checking Techniques for Diagnosis. - Maxim Gromov; Tim A. C. Willemse (TestCom/FATES, 2007)

On the synthesis of adaptive tests for nondeterministic finite state machines. - Maxim Gromov; Nina V. Evtushenko; Anton V. Kolomeets (Program. Comput. Softw., 2008)

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

Synthesis of distinguishing test cases for timed finite state machines. - Maxim Gromov; Nina Yevtushenko 001 (Program. Comput. Softw., 2010)

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)

On simplification of timed automata. - Maxim Gromov (EWDTS, 2016)

Testing components of interacting timed finite state machines. - Maxim Gromov; Aleksandr S. Tvardovskii; Nina Yevtushenko 001 (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)

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. - Aleksandr S. Tvardovskii; Khaled El-Fakih; Maxim Gromov; Nina Yevtushenko 001 (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)