Checking Robustness of Web Services Based on the Parallel Composition of Partial Timed Finite State Machines. - Ekaterina Shirokova (EWDTS, 2018)

Optimizing Components of Multi-Module Systems Based on don't Care Input Sequences. - Ekaterina Shirokova; Larisa Evtushenko; Andrey Laputenko; Nina Yevtushenko 001 (EWDTS, 2020)

Optimizing Components of Finite State Machines Composition Based on Don't Care Input Sequences in Hardware Implementation. - Ekaterina Shirokova; Larisa Evtushenko; Andrey Laputenko (EWDTS, 2021)