Nikiforov Victor Vikent'evich

Publications in Math-Net.Ru

1. A flat chart technique for embedded OS testing
   
   Proceedings of ISP RAS, 29:5 (2017),  75–92
2. Static verification of task access to shared resources in real-time systems
   
   Tr. SPIIRAN, 52 (2017),  137–156
3. Analysis of real-time applications feasibility through simulation
   
   Model. Anal. Inform. Sist., 23:6 (2016),  673–687
4. Transitive Priority Inheritance in Real-Time Multi-Task Applications
   
   Tr. SPIIRAN, 43 (2015),  114–134
5. Estimation of blocking factor for tasks in real-time systems with multi-core processors
   
   Tr. SPIIRAN, 27 (2013),  93–106
6. Response time estimation for task chains in destributed real-time systems.
   
   Tr. SPIIRAN, 23 (2012),  134–156
7. Checkup оf logical structure correctness for multitask software applications
   
   News of the Kabardin-Balkar scientific center of RAS, 2011, no. 1,  213–216
8. Itinarary nets – the graphical formalism for presentation of real-time sofware application strucrures
   
   Tr. SPIIRAN, 14 (2010),  7–28
9. Specification of interfaces in real-time software applications by XML forms
   
   Tr. SPIIRAN, 11 (2009),  159–175
10. Basic requirements to the SPIIRAS transactions paper format feasibility of real-time applications on multicore processors
    
    Tr. SPIIRAN, 8 (2009),  255–284
11. Модель ядра реального времени для встроенных систем
    
    Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2003, no. 1-2,  62–78
12. Task scheduling in time-triggered real-time systems
    
    Tr. SPIIRAN, 1:1 (2002),  129–144