Твардовский Александр Сергеевич

Публикации в базе данных Math-Net.Ru

1. Синтез установочных последовательностей для автоматов с временными ограничениями
   
   Модел. и анализ информ. систем, 27:4 (2020),  376–395
2. On reduced forms of initialized Finite State Machines with timeouts
   
   Труды ИСП РАН, 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
   
   Труды ИСП РАН, 31:4 (2019),  175–188
4. К синтезу адаптивных различающих последовательностей для конечных автоматов
   
   Труды ИСП РАН, 30:4 (2018),  139–154
5. О возможностях автоматного описания параллельной композиции временных автоматов
   
   Труды ИСП РАН, 30:1 (2018),  25–40
6. Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
   
   Модел. и анализ информ. систем, 24:4 (2017),  496–507
7. Минимизация автоматов с таймаутами и временными ограничениями
   
   Труды ИСП РАН, 29:4 (2017),  139–154