Aleksandr S. Tvardovskii

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 11

Top Topics

Finite State Automata

Conformant Planning

Top Venues

Autom. Control. Comput. Sci.

Publications

Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
Testing and incremental conformance testing of timed state machines. Sci. Comput. Program. 233 (2024)
Aleksandr S. Tvardovskii, Nina Yevtushenko
Deriving homing sequences for Finite State Machines with timeouts. Comput. J. 66 (9) (2023)
Aleksandr S. Tvardovskii, Nina Yevtushenko
Adaptive Experiments for State Identification in Finite State Machines with Timeouts. MCU (2022)
Aleksandr S. Tvardovskii, Nina V. Evtushenko
Deriving Homing Sequences for Finite State Machines with Timed Guards. Autom. Control. Comput. Sci. 55 (7) (2021)
Maxim Gromov, Natalia Shabaldina, Aleksandr S. Tvardovskii, Svetlana Prokopenko
FSM-based Sequential Circuits Optimization by Changing Initial State of Specification. EWDTS (2021)
Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Nina Yevtushenko
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs. EWDTS (2021)
Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Larisa Evtushenko, Nina Yevtushenko
Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs. EWDTS (2019)
Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. ICTSS (2018)
Aleksandr S. Tvardovskii
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation. ICTSS (2017)
Aleksandr S. Tvardovskii, Khaled El-Fakih, Maxim Gromov, Nina Yevtushenko
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. Autom. Control. Comput. Sci. 51 (7) (2017)
Maxim Gromov, Aleksandr S. Tvardovskii, Nina Yevtushenko
Testing components of interacting timed finite state machines. EWDTS (2016)