|
|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
| 1. |
Yu. I. Brodskii, L. V. Kruglov, “Structural theory of complex systems. Model–oriented programming”, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2023, no. 4, 96–108   |
|
2017 |
| 2. |
A. Y. Gerasimov, L. V. Kruglov, M. K. Ermakov, S. P. Vartanov, “An approach of reachability determination for static analysis defects with help of dynamic symbolic execution”, Proceedings of ISP RAS, 29:5 (2017), 111–134 |
2
|
|
2016 |
| 3. |
A. Y. Gerasimov, L. V. Kruglov, “Input data generation for reaching specific function in program by iterative dynamic analysis”, Proceedings of ISP RAS, 28:5 (2016), 159–174 |
4
|
|
| Organisations |
|
|
Contact us: