Natalia Shabaldina

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 3

Top Topics

Regular Expressions

Finite State Machines

Top Venues

Autom. Control. Comput. Sci.

Program. Comput. Softw.

Publications

Maxim Gromov, Natalia Shabaldina, Aleksandr S. Tvardovskii, Svetlana Prokopenko
FSM-based Sequential Circuits Optimization by Changing Initial State of Specification. EWDTS (2021)
Maxim Gromov, Natalia Shabaldina
Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II. Autom. Control. Comput. Sci. 51 (7) (2017)
E. Darusenkova, Natalia Shabaldina
Towards parallel composition of partial finite state machines: Checking safety property step-by-step. EWDTS (2016)
Natalia Shabaldina, Maxim Gromov
FSMTest-1.0: A manual for researches. EWDTS (2015)
Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko
Distinguishing Experiments for Timed Nondeterministic Finite State Machines. Acta Cybern. 21 (2) (2013)
Natalia Shabaldina, R. F. Galimullin
On deriving test suites for nondeterministic finite state machines with time-outs. Program. Comput. Softw. 38 (3) (2012)
E. Akenshina, Natalia Shabaldina, Nina Yevtushenko
Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation. ICST Workshops (2010)
Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko
Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE (2009)
Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES (2007)