|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
1. |
A. A. Petrykin, I. A. Stotland, A. N. Meshkov, “Standalone verification of IOMMU with virtualization supporting”, Proceedings of ISP RAS, 31:3 (2019), 77–84 |
|
2018 |
2. |
D. A. Lebedev, I. A. Stotland, “Construction of validation modules based on reference functional models in a standalone verification of communication subsystem”, Proceedings of ISP RAS, 30:3 (2018), 183–194 |
|
2017 |
3. |
M. V. Petrochenkov, R. E. Mushtakov, I. A. Stotland, “Verification of 10 Gigabit Ethernet controllers”, Proceedings of ISP RAS, 29:4 (2017), 257–268 |
|
2016 |
4. |
Mikhail Petrochenkov, Irina Stotland, Ruslan Mushtakov, “Approaches to stand-alone verification of multicore microprocessor caches”, Proceedings of ISP RAS, 28:3 (2016), 161–172 |
1
|
|