|
|
|
Publications in Math-Net.Ru |
Citations |
|
2020 |
| 1. |
A. S. Tvardovskii, N. V. Yevtushenko, “Deriving homing sequences for finite state machines with timed guards”, Model. Anal. Inform. Sist., 27:4 (2020), 376–395  |
1
|
| 2. |
A. S. Tvardovskii, N. V. Yevtushenko, “On reduced forms of initialized Finite State Machines with timeouts”, Proceedings of ISP RAS, 32:2 (2020), 125–134 |
1
|
|
2019 |
| 3. |
A. S. Tvardovskii, N. V. Yevtushenko, “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 |
1
|
|
2018 |
| 4. |
A. S. Tvardovskii, N. V. Yevtushenko, “Deriving adaptive distinguishing sequences for Finite State Machines”, Proceedings of ISP RAS, 30:4 (2018), 139–154  |
3
|
| 5. |
A. S. Tvardovskii, A. V. Laputenko, “On the possibilities of FSM description of parallel composition of timed finite state machines”, Proceedings of ISP RAS, 30:1 (2018), 25–40 |
3
|
|
2017 |
| 6. |
A. S. Tvardovskii, K. El-Fakih, M. L. Gromov, N. V. Yevtushenko, “Testing timed nondeterministic finite state machines with the guaranteed fault coverage”, Model. Anal. Inform. Sist., 24:4 (2017), 496–507 |
| 7. |
A. S. Tvardovskii, N. V. Yevtushenko, M. L. Gromov, “Minimizing finite state machines with time guards and timeouts”, Proceedings of ISP RAS, 29:4 (2017), 139–154 |
3
|
|
| Organisations |
|
| |
|
|
Contact us: