Stotland Irina Arkad'evna

Publications in Math-Net.Ru

1. Standalone verification of IOMMU with virtualization supporting
   
   Proceedings of ISP RAS, 31:3 (2019),  77–84
2. 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
3. Verification of 10 Gigabit Ethernet controllers
   
   Proceedings of ISP RAS, 29:4 (2017),  257–268
4. Approaches to stand-alone verification of multicore microprocessor caches
   
   Proceedings of ISP RAS, 28:3 (2016),  161–172