Garanina Natal'ya Olegovna

Publications in Math-Net.Ru

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