|
|
|
Publications in Math-Net.Ru |
Citations |
|
2025 |
| 1. |
Ya. A. Churkin, R. A. Buchatskiy, K. N. Kitaev, A. G. Volokhov, E. V. Dolgodvorov, A. S. Kamkin, A. M. Kotsynyak, D. O. Samovarov, “System for static analysis of SystemVerilog HDL”, Proceedings of ISP RAS, 37:1 (2025), 7–40  |
|
2020 |
| 2. |
I. V. Gladyshev, A. S. Kamkin, A. M. Kotsynyak, P. A. Putro, A. V. Khoroshilov, “Architecture of a machine code deductive verification system”, Proceedings of ISP RAS, 32:3 (2020), 7–19 |
|
2016 |
| 3. |
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  |
| 4. |
A. S. Kamkin, A. M. Kotsynyak, “Specification-based test program generation for MIPS64 memory management units”, Proceedings of ISP RAS, 28:4 (2016), 99–114 |
1
|
|
| Organisations |
|
|
