|
|
|
Publications in Math-Net.Ru |
Citations |
|
2025 |
| 1. |
D. A. Kondrat'ev, S. M. Staroletov, I. V. Shoshmina, A. V. Krasnenkova, K. V. Ziborov, N. V. Shilov, N. O. Garanina, T. Yu. Cherganov, “VeHa-2024 formal verification contest: two years of experience and prospects”, Proceedings of ISP RAS, 37:1 (2025), 159–184  |
|
2024 |
| 2. |
N. O. Garanina, “An exact schedulability test for real-time systems with abstract scheduler on multiprocessor platforms”, Model. Anal. Inform. Sist., 31:4 (2024), 474–494 |
1
|
| 3. |
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
|
| 4. |
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 |
2
|
| 5. |
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 |
| 6. |
N. O. Garanina, S. P. Gorlatch, “Autotuning parallel programs by model checking”, Model. Anal. Inform. Sist., 28:4 (2021), 338–355 |
1
|
|
2020 |
| 7. |
N. V. Shilov, N. O. Garanina, “Knowledge-based algorithms for BDI-agents”, Model. Anal. Inform. Sist., 27:4 (2020), 442–453 |
| 8. |
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 |
| 9. |
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 |
| 10. |
N. O. Garanina, I. S. Anureev, O. I. Borovikova, “Verification oriented process ontology”, Model. Anal. Inform. Sist., 25:6 (2018), 607–622 |
|
2016 |
| 11. |
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 |
| 12. |
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 |
| 13. |
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 |
| 14. |
N. O. Garanina, “Common Knowledge in Well-structured Perfect Recall Systems”, Model. Anal. Inform. Sist., 20:6 (2013), 10–21 |
|
2011 |
| 15. |
N. O. Garanina, “Optimization procedures in affine model checking”, Model. Anal. Inform. Sist., 18:4 (2011), 56–67 |
| 16. |
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 |
| 17. |
N. O. Garanina, “Model checking of distributed systems with affine data structures”, Model. Anal. Inform. Sist., 17:4 (2010), 52–59 |
1
|
|
| Organisations |
|
| |
|
|
Contact us: