Gromov Maksim Leonidovich

Publications in Math-Net.Ru

1. «Life» in tensor: implementing cellular automata on graphics adapters
   
   Proceedings of ISP RAS, 31:3 (2019),  217–228
2. Stuck-at-faults tester as a web-service
   
   Proceedings of ISP RAS, 30:1 (2018),  41–54
3. Testing timed nondeterministic finite state machines with the guaranteed fault coverage
   
   Model. Anal. Inform. Sist., 24:4 (2017),  496–507
4. Minimizing finite state machines with time guards and timeouts
   
   Proceedings of ISP RAS, 29:4 (2017),  139–154
5. Experiments on parallel composition of timed finite state machines
   
   Proceedings of ISP RAS, 29:3 (2017),  233–246
6. Using BALM-II for deriving cascade parallel composition of timed finite state machines
   
   Model. Anal. Inform. Sist., 23:6 (2016),  715–728
7. Adaptive tests derivation for nondeterministic automata
   
   Prikl. Diskr. Mat., 2009, no. 4(6),  90–101
8. On one FSM Class with a Polynomial Number of States in Observable Form
   
   J. Sib. Fed. Univ. Math. Phys., 1:3 (2008),  257–261