1. On the Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations

   • P. D. Borisov
   • Y. V. Kosolapov

   OriginalPaper 19 February 2023 Pages: 595 - 605

   

2. Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies

   • F. Dadeau
   • J.-Ph. Gros
   • O. Kouchnarenko

   OriginalPaper 19 February 2023 Pages: 606 - 622

   

3. An Algorithm for Finding Feedback in a Problem with Constraints for One Class of Nonlinear Control Systems

   • M. G. Dmitriev
   • Z. N. Murzabekov
   • G. A. Mirzakhmedova

   OriginalPaper 19 February 2023 Pages: 623 - 633

   

4. Autotuning Parallel Programs by Model Checking

   • N. O. Garanina
   • S. P. Gorlatch

   OriginalPaper 19 February 2023 Pages: 634 - 648

   

5. Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic

   • A. R. Gnatenko
   • V. A. Zakharov

   OriginalPaper 19 February 2023 Pages: 649 - 660

6. An Algorithm for Estimating the Signal Frequency at the Output of a Channel with a Controlled Information Flow under Phase Noise

   • L. N. Kazakov
   • E. P. Kubyshkin
   • I. V. Lukyanov

   OriginalPaper 19 February 2023 Pages: 661 - 668

   

7. Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System

   • D. A. Kondratyev

   OriginalPaper 19 February 2023 Pages: 669 - 687

8. Backtracking Algorithms for Constructing the Hamiltonian Decomposition of a 4-Regular Multigraph

   • A. V. Korostil
   • A. V. Nikolaev

   OriginalPaper 19 February 2023 Pages: 688 - 700

   

9. An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms

   • E. V. Kuzmin
   • O. E. Gorbunov
   • V. A. Bashkin

   OriginalPaper 19 February 2023 Pages: 701 - 710

   

10. LTL-Specification of Counter Machines

    • E. V. Kuzmin

    OriginalPaper 19 February 2023 Pages: 711 - 722

    

11. Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms

    • E. V. Kuzmin
    • O. E. Gorbunov
    • V. A. Bashkin

    OriginalPaper 19 February 2023 Pages: 723 - 734

    

12. Text Classification by Genres Based on Rhythmic Characteristics

    • K. V. Lagutina
    • N. S. Lagutina
    • E. I. Boychuk

    OriginalPaper 19 February 2023 Pages: 735 - 743

    

13. Analysis of the Influence of Mixed-Level Stylometric Characteristics on the Verification of Authors of Literary Works

    • A. M. Manakhova
    • N. S. Lagutina

    OriginalPaper 19 February 2023 Pages: 744 - 761

14. A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model

    • A. M. Mironov

    OriginalPaper 19 February 2023 Pages: 762 - 777

15. On Properties of a Regular Simplex Inscribed into a Ball

    • M. V. Nevskii

    OriginalPaper 19 February 2023 Pages: 778 - 787

16. NP-Completeness of the Minimum Spanning Tree Problem of a Multiple Graph of Multiplicity k ≥ 3

    • A. V. Smirnov

    OriginalPaper 19 February 2023 Pages: 788 - 799

    

17. Computational Analysis of Quantitative Characteristics of Some Residual Properties of Solvable Baumslag–Solitar Groups

    • E. A. Tumanova

    OriginalPaper 19 February 2023 Pages: 800 - 806

    

18. Identification Conditions for the Solvability of NP-Complete Problems for the Class of Prefractal Graphs

    • A. V. Tymoshenko
    • R. A. Kochkarov
    • A. A. Kochkarov

    OriginalPaper 19 February 2023 Pages: 807 - 814

    

19. Transformation of Functional Dataflow Parallel Programs into Imperative Programs

    • V. S. Vasilev
    • A. I. Legalov
    • S. V. Zykov

    OriginalPaper 19 February 2023 Pages: 815 - 827

    

20. Erratum to: On the Detection of Exploitation of Vulnerabilities That Leads to the Execution of a Malicious Code

    • Y. V. Kosolapov

    Erratum 19 February 2023 Pages: 828 - 828