Garanina Natal'ya Olegovna

Publications in Math-Net.Ru

1. VeHa-2024 formal verification contest: two years of experience and prospects
   
   Proceedings of ISP RAS, 37:1 (2025),  159–184
2. An exact schedulability test for real-time systems with abstract scheduler on multiprocessor platforms
   
   Model. Anal. Inform. Sist., 31:4 (2024),  474–494
3. Model checking programs in process-oriented IEC 61131-3 Structured Text
   
   Model. Anal. Inform. Sist., 31:1 (2024),  32–53
4. Requirement patterns in deductive verification of poST programs
   
   Model. Anal. Inform. Sist., 31:1 (2024),  6–31
5. VeHa-2023 formal verification contest: the experience
   
   Proceedings of ISP RAS, 36:2 (2024),  141–168
6. Autotuning parallel programs by model checking
   
   Model. Anal. Inform. Sist., 28:4 (2021),  338–355
7. Knowledge-based algorithms for BDI-agents
   
   Model. Anal. Inform. Sist., 27:4 (2020),  442–453
8. Temporal logic for programmable logic controllers
   
   Model. Anal. Inform. Sist., 27:4 (2020),  412–427
9. Methods for domain specification of verification-oriented process ontology
   
   Model. Anal. Inform. Sist., 26:4 (2019),  534–549
10. Verification oriented process ontology
    
    Model. Anal. Inform. Sist., 25:6 (2018),  607–622
11. An approach to verification of a family of multiagent systems for conflict resolution
    
    Model. Anal. Inform. Sist., 23:6 (2016),  703–714
12. Using SPIN for verification of multi-agent data analysis
    
    Model. Anal. Inform. Sist., 21:6 (2014),  31–43
13. Eleusis: perfect recall for inductive reasoning
    
    St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 1(188),  69–75
14. Common Knowledge in Well-structured Perfect Recall Systems
    
    Model. Anal. Inform. Sist., 20:6 (2013),  10–21
15. Optimization procedures in affine model checking
    
    Model. Anal. Inform. Sist., 18:4 (2011),  56–67
16. Mars robot puzzle (a multiagent approach to the Dijkstra problem)
    
    Model. Anal. Inform. Sist., 18:2 (2011),  113–128
17. Model checking of distributed systems with affine data structures
    
    Model. Anal. Inform. Sist., 17:4 (2010),  52–59