|
|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
| 1. |
V. V. Kulyamin, A. K. Petrenko, E. A. Rudina, “Software security by design”, Proceedings of ISP RAS, 36:5 (2024), 7–16  |
|
2023 |
| 2. |
V. V. Kulyamin, “Survey of software dynamic analysis methods”, Proceedings of ISP RAS, 35:4 (2023), 7–44 |
|
2021 |
| 3. |
D. V. Efremov, V. V. Kopach, V. V. Kulyamin, E. V. Kornykhin, A. K. Petrenko, A. V. Khoroshilov, I. V. Shchepetkov, “Runtime verification of operating systems based on abstract models”, Proceedings of ISP RAS, 33:6 (2021), 15–26 |
1
|
|
2020 |
| 4. |
A. K. Petrenko, D. V. Efremov, E. V. Kornykhin, V. V. Kuliamin, A. V. Khoroshilov, I. V. Shchepetkov, “Monitoring and testing based on multi-level program specifications”, Proceedings of ISP RAS, 32:6 (2020), 7–18 |
1
|
| 5. |
P. N. Devyanin, V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov, I. V. Shchepetkov, “Integrating RBAC, MIC, and MLS in verified hierarchical security model for operating system”, Proceedings of ISP RAS, 32:1 (2020), 7–26 |
4
|
|
2018 |
| 6. |
V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov, “Component-based verification of operating systems”, Proceedings of ISP RAS, 30:6 (2018), 367–382  |
| 7. |
I. B. Burdonov, A. S. Kossatchev, V. V. Kuliamin, A. N. Tomilin, V. Z. Shnitman, “Asynchronous distributed algorithms for static and dynamic directed rooted graphs”, Proceedings of ISP RAS, 30:1 (2018), 69–88 |
|
2016 |
| 8. |
V. V. Kulyamin, E. M. Lavrischeva, V. S. Mutilin, A. K. Petrenko, “Verification and analysis of variable operating systems”, Proceedings of ISP RAS, 28:3 (2016), 189–208 |
9
|
|
2015 |
| 9. |
A. K. Petrenko, V. V. Kulyamin, A. V. Khoroshilov, “Integration points of operating system verification techniques”, Proceedings of ISP RAS, 27:5 (2015), 175–190 |
|
2000 |
| 10. |
V. V. Kulyamin, “On ranges of polynomials in the ring $M_2(\mathbb Z/8\mathbb Z)$”, Fundam. Prikl. Mat., 6:1 (2000), 275–280   |
| 11. |
V. V. Kulyamin, “Images of graded polynomials in matrix rings over finite group algebras”, Uspekhi Mat. Nauk, 55:2(332) (2000), 141–142 ; Russian Math. Surveys, 55:2 (2000), 345–346   |
8
|
|
1997 |
| 12. |
V. V. Kulyamin, “On images of polynomials in finite matrix rings”, Fundam. Prikl. Mat., 3:2 (1997), 469–485 |
|
| Organisations |
|
| |
|
|
Contact us: