Baranov Sergey Nikolaevich

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. Metrics for Software Development
   
   Tr. SPIIRAN, 36 (2014),  5–27
6. Conditionally reversible computations and weak universality in category theory
   
   Zap. Nauchn. Sem. POMI, 421 (2014),  19–32
7. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs
   
   Tr. SPIIRAN, 26 (2013),  349–383
8. Applications of typed $\lambda$-terms to categorical attributed graph transformations
   
   Tr. SPIIRAN, 23 (2012),  296–323
9. The State-of-the-Art and Development Trends in the Theory and Practice of the Software Industry
   
   Tr. SPIIRAN, 20 (2012),  5–26
10. A formal requirements model, used in the process of application code and test code generation
    
    Model. Anal. Inform. Sist., 18:4 (2011),  118–130