Maxim Gromov

According to our database, Maxim Gromov authored at least 10 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

FSM-based Sequential Circuits Optimization by Changing Initial State of Specification.

Maxim Gromov, Natalia Shabaldina, Aleksandr S. Tvardovskii, Svetlana Prokopenko

Proceedings of the IEEE East-West Design & Test Symposium, 2021

2017

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage.

Aleksandr S. Tvardovskii, Khaled El-Fakih, Maxim Gromov, Nina Yevtushenko

Autom. Control. Comput. Sci., 2017

Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II.

Maxim Gromov, Natalia Shabaldina

Autom. Control. Comput. Sci., 2017

2016

Testing components of interacting timed finite state machines.

Maxim Gromov, Aleksandr S. Tvardovskii, Nina Yevtushenko

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

On simplification of timed automata.

Maxim Gromov

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

2015

FSMTest-1.0: A manual for researches.

Natalia Shabaldina, Maxim Gromov

Proceedings of the 2015 IEEE East-West Design & Test Symposium, 2015

2013

Distinguishing Experiments for Timed Nondeterministic Finite State Machines.

Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko

Acta Cybern., 2013

2010

Synthesis of distinguishing test cases for timed finite state machines.

Maxim Gromov, Nina Yevtushenko

Program. Comput. Softw., 2010

2009

Distinguing Non-deterministic Timed Finite State Machines.

Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko

Proceedings of the Formal Techniques for Distributed Systems, 2009

2007

Testing and Model-Checking Techniques for Diagnosis.

Maxim Gromov, Tim A. C. Willemse

Proceedings of the Testing of Software and Communicating Systems, 2007