Natalia Shabaldina

According to our database, Natalia Shabaldina authored at least 9 papers between 2007 and 2021.

Collaborative distances:

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

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

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

Maxim Gromov, Natalia Shabaldina

Autom. Control. Comput. Sci., 2017

2016

Towards parallel composition of partial finite state machines: Checking safety property step-by-step.

E. Darusenkova, Natalia Shabaldina

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

2012

On deriving test suites for nondeterministic finite state machines with time-outs.

Natalia Shabaldina, R. F. Galimullin

Program. Comput. Softw., 2012

2010

Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation.

E. Akenshina, Natalia Shabaldina, Nina Yevtushenko

Proceedings of the Third International Conference on Software Testing, 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 Nondeterministic Finite State Machines with Respect to the Separability Relation.

Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko

Proceedings of the Testing of Software and Communicating Systems, 2007