Pozin Boris Aronovich

Publications in Math-Net.Ru

1. Overview of hardening mechanisms in operating systems and user applications
   
   Proceedings of ISP RAS, 37:3 (2025),  325–354
2. Testing in life cycle of automated systems
   
   Proceedings of ISP RAS, 37:3 (2025),  303–310
3. Vulnerability detection methodology in software written in several programming languages
   
   Proceedings of ISP RAS, 37:1 (2025),  121–132
4. Approach to displaying data to users of telemedicine systems for early detection of diseases by ECG
   
   Proceedings of ISP RAS, 34:2 (2022),  201–208
5. Requirements traceability as the basis for designing a functional and logical architecture of a software system
   
   Proceedings of ISP RAS, 34:1 (2022),  23–34
6. Application of a new method of noninvasive aassessment of carbohydrate metabolism disorders in the population screening
   
   Proceedings of ISP RAS, 32:5 (2020),  121–130
7. The principles of life cycle supporting system for mission-critical systems
   
   Proceedings of ISP RAS, 30:1 (2018),  103–114
8. Computer-aided programming of control and micro computers in the RUZA system
   
   Avtomat. i Telemekh., 1984, no. 7,  159–168
9. Effectiveness of testing the structure of program modules
   
   Avtomat. i Telemekh., 1984, no. 4,  139–148