|
|
|
Publications in Math-Net.Ru |
Citations |
|
2025 |
| 1. |
A. S. Protsenko, “Functional testing of language virtual machines based on formal ISA specifications”, Proceedings of ISP RAS, 37:1 (2025), 65–86  |
|
2016 |
| 2. |
A. S. Kamkin, A. M. Kotsynyak, A. S. Protsenko, A. D. Tatarnikov, M. M. Chupilko, “MicroTESK-based test program generator for the ARMv8 architecture”, Proceedings of ISP RAS, 28:6 (2016), 87–102  |
|
2015 |
| 3. |
A. Kamkin, A. Protsenko, A. Tatarnikov, “An approach to test program generation based on formal specifications of caching and address translation mechanisms”, Proceedings of ISP RAS, 27:3 (2015), 125–138 |
1
|
|
| Organisations |
|
|
