|
|
Publications in Math-Net.Ru |
Citations |
|
2020 |
1. |
V. S. Burenkov, “Formal verification of a mandatory integrity control model for the KasperskyOS operating system”, Proceedings of ISP RAS, 32:6 (2020), 31–48 |
2. |
V. S. Burenkov, D. A. Kulagin, “A mandatory integrity control model for the KasperskyOS operating system”, Proceedings of ISP RAS, 32:1 (2020), 27–56 |
1
|
|
2017 |
3. |
V. S. Burenkov, “A technique for parameterized verification of cache coherence protocols”, Proceedings of ISP RAS, 29:4 (2017), 231–246 |
|
2016 |
4. |
V. S. Burenkov, A. S. Kamkin, “Checking parameterized Promela models of cache coherence protocols”, Proceedings of ISP RAS, 28:4 (2016), 57–76 |
1
|
|
2015 |
5. |
Vladimir Burenkov, “On the implementation of a formal method for verification of scalable cache coherent systems”, Proceedings of ISP RAS, 27:3 (2015), 183–196 |
|