|
|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
| 1. |
N. A. Shalyapina, M. L. Gromov, “«Life» in tensor: implementing cellular automata on graphics adapters”, Proceedings of ISP RAS, 31:3 (2019), 217–228   |
3
|
|
2018 |
| 2. |
N. A. Shalyapina, A. A. Zaytsev, S. V. Batratskiy, M. L. Gromov, “Stuck-at-faults tester as a web-service”, Proceedings of ISP RAS, 30:1 (2018), 41–54 |
|
2017 |
| 3. |
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 |
| 4. |
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
|
| 5. |
A. P. Sotnikov, N. V. Shabaldina, M. L. Gromov, “Experiments on parallel composition of timed finite state machines”, Proceedings of ISP RAS, 29:3 (2017), 233–246 |
2
|
|
2016 |
| 6. |
M. L. Gromov, N. V. Shabaldina, “Using BALM-II for deriving cascade parallel composition of timed finite state machines”, Model. Anal. Inform. Sist., 23:6 (2016), 715–728  |
1
|
|
2009 |
| 7. |
M. L. Gromov, N. V. Yevtushenko, “Adaptive tests derivation for nondeterministic automata”, Prikl. Diskr. Mat., 2009, no. 4(6), 90–101 |
|
2008 |
| 8. |
Maxim L. Gromov, Ol'ga V. Kondratyeva, “On one FSM Class with a Polynomial Number of States in Observable Form”, J. Sib. Fed. Univ. Math. Phys., 1:3 (2008), 257–261 |
|
| Organisations |
|
| |
|
|
Contact us: