Maxim Gromov

11 papers Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2021 — conf
FSM-based Sequential Circuits Optimization by Changing Initial State of Specification.
EWDTS
Maxim Gromov, Natalia Shabaldina, Aleksandr S. Tvardovskii, Svetlana Prokopenko
2017 J jnl
Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II.
Autom. Control. Comput. Sci.
Maxim Gromov, Natalia Shabaldina
2017 J jnl
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage.
Autom. Control. Comput. Sci.
Aleksandr S. Tvardovskii, Khaled El-Fakih, Maxim Gromov, Nina Yevtushenko
2016 — conf
On simplification of timed automata.
EWDTS
Maxim Gromov
2016 — conf
Testing components of interacting timed finite state machines.
EWDTS
Maxim Gromov, Aleksandr S. Tvardovskii, Nina Yevtushenko
2015 — conf
FSMTest-1.0: A manual for researches.
EWDTS
Natalia Shabaldina, Maxim Gromov
2013 J jnl
Distinguishing Experiments for Timed Nondeterministic Finite State Machines.
Acta Cybern.
Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko
2010 J jnl
Synthesis of distinguishing test cases for timed finite state machines.
Program. Comput. Softw.
Maxim Gromov, Nina Yevtushenko
2009 — conf
Distinguing Non-deterministic Timed Finite State Machines.
FMOODS/FORTE
Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko
2008 J jnl
On the synthesis of adaptive tests for nondeterministic finite state machines.
Program. Comput. Softw.
Maxim Gromov, Nina V. Evtushenko, Anton V. Kolomeets
2007 — conf
Testing and Model-Checking Techniques for Diagnosis.
TestCom/FATES
Maxim Gromov, Tim A. C. Willemse