Tvardovskii Aleksandr Sergeevich

Publications in Math-Net.Ru

1. Deriving homing sequences for finite state machines with timed guards
   
   Model. Anal. Inform. Sist., 27:4 (2020),  376–395
2. On reduced forms of initialized Finite State Machines with timeouts
   
   Proceedings of ISP RAS, 32:2 (2020),  125–134
3. FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts
   
   Proceedings of ISP RAS, 31:4 (2019),  175–188
4. Deriving adaptive distinguishing sequences for Finite State Machines
   
   Proceedings of ISP RAS, 30:4 (2018),  139–154
5. On the possibilities of FSM description of parallel composition of timed finite state machines
   
   Proceedings of ISP RAS, 30:1 (2018),  25–40
6. Testing timed nondeterministic finite state machines with the guaranteed fault coverage
   
   Model. Anal. Inform. Sist., 24:4 (2017),  496–507
7. Minimizing finite state machines with time guards and timeouts
   
   Proceedings of ISP RAS, 29:4 (2017),  139–154