|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
1. |
N. O. Garanina, S. M. Staroletov, V. E. Zyubin, I. S. Anureev, “Model checking programs in process-oriented IEC 61131-3 Structured Text”, Model. Anal. Inform. Sist., 31:1 (2024), 32–53 |
1
|
2. |
I. M. Chernenko, I. S. Anureev, N. O. Garanina, “Requirement patterns in deductive verification of poST programs”, Model. Anal. Inform. Sist., 31:1 (2024), 6–31 |
3. |
S. M. Staroletov, D. A. Kondrat'ev, N. O. Garanina, I. V. Shoshmina, “VeHa-2023 formal verification contest: the experience”, Proceedings of ISP RAS, 36:2 (2024), 141–168 |
|
2021 |
4. |
N. O. Garanina, S. P. Gorlatch, “Autotuning parallel programs by model checking”, Model. Anal. Inform. Sist., 28:4 (2021), 338–355 |
1
|
|
2020 |
5. |
N. V. Shilov, N. O. Garanina, “Knowledge-based algorithms for BDI-agents”, Model. Anal. Inform. Sist., 27:4 (2020), 442–453 |
6. |
N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, S. P. Gorlatch, “Temporal logic for programmable logic controllers”, Model. Anal. Inform. Sist., 27:4 (2020), 412–427 |
|
2019 |
7. |
N. O. Garanina, I. S. Anureev, O. I. Borovikova, V. E. Zyubin, “Methods for domain specification of verification-oriented process ontology”, Model. Anal. Inform. Sist., 26:4 (2019), 534–549 |
1
|
|
2018 |
8. |
N. O. Garanina, I. S. Anureev, O. I. Borovikova, “Verification oriented process ontology”, Model. Anal. Inform. Sist., 25:6 (2018), 607–622 |
|
2016 |
9. |
N. O. Garanina, E. A. Sidorova, “An approach to verification of a family of multiagent systems for conflict resolution”, Model. Anal. Inform. Sist., 23:6 (2016), 703–714 |
|
2014 |
10. |
N. O. Garanina, E. V. Bodin, E. A. Sidorova, “Using SPIN for verification of multi-agent data analysis”, Model. Anal. Inform. Sist., 21:6 (2014), 31–43 |
11. |
N. O. Garanina, “Eleusis: perfect recall for inductive reasoning”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 1(188), 69–75 |
|
2013 |
12. |
N. O. Garanina, “Common Knowledge in Well-structured Perfect Recall Systems”, Model. Anal. Inform. Sist., 20:6 (2013), 10–21 |
|
2011 |
13. |
N. O. Garanina, “Optimization procedures in affine model checking”, Model. Anal. Inform. Sist., 18:4 (2011), 56–67 |
14. |
E. V. Bodin, N. O. Garanina, N. V. Shilov, “Mars robot puzzle (a multiagent approach to the Dijkstra problem)”, Model. Anal. Inform. Sist., 18:2 (2011), 113–128 |
2
|
|
2010 |
15. |
N. O. Garanina, “Model checking of distributed systems with affine data structures”, Model. Anal. Inform. Sist., 17:4 (2010), 52–59 |
1
|
|
Organisations |
|
|
|
|