Aleksandr S. Tvardovskii

According to our database, Aleksandr S. Tvardovskii authored at least 10 papers between 2016 and 2023.

Collaborative distances:

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

2023

Deriving homing sequences for Finite State Machines with timeouts.

Aleksandr S. Tvardovskii, Nina Yevtushenko

Comput. J., September, 2023

2022

Adaptive Experiments for State Identification in Finite State Machines with Timeouts.

Aleksandr S. Tvardovskii, Nina Yevtushenko

Proceedings of the Machines, Computations, and Universality - 9th International Conference, 2022

2021

Deriving Homing Sequences for Finite State Machines with Timed Guards.

Aleksandr S. Tvardovskii, Nina V. Evtushenko

Autom. Control. Comput. Sci., 2021

Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs.

Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Nina Yevtushenko

Proceedings of the IEEE East-West Design & Test Symposium, 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

2019

Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs.

Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Larisa Evtushenko, Nina Yevtushenko

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

2018

Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts.

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

Proceedings of the Testing Software and Systems, 2018

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

Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation.

Aleksandr S. Tvardovskii

Proceedings of the Testing Software and Systems, 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