|
|
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 |
|
|
|
|