Contents

Automatic Control and Computer Sciences


Vol. 56, No. 7, 2022


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

P. D. Borisov and Y. V. Kosolapov p. 595  abstract

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

F. Dadeau, J.-Ph. Gros and O. Kouchnarenko p. 606  abstract

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

M. G. Dmitriev, Z. N. Murzabekov and G. A. Mirzakhmedova p. 623  abstract

Autotuning Parallel Programs by Model Checking

N. O. Garanina and S. P. Gorlatch p. 634  abstract

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

A. R. Gnatenko and V. A. Zakharov p. 649  abstract

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 and I. V. Lukyanov p. 661  abstract

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

D. A. Kondratyev p. 669  abstract

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

A. V. Korostil and A. V. Nikolaev p. 688  abstract

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

E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin and V. A. Bashkin p. 701  abstract

LTL-Specification of Counter Machines

E. V. Kuzmin p. 711  abstract

Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms

E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin and V. A. Bashkin p. 723  abstract

Text Classification by Genres Based on Rhythmic Characteristics

K. V. Lagutina, N. S. Lagutina and E. I. Boychuk p. 735  abstract

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

A. M. Manakhova and N. S. Lagutina p. 744  abstract

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

A. M. Mironov p. 762  abstract

On Properties of a Regular Simplex Inscribed into a Ball

M. V. Nevskii p. 778  abstract

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

A. V. Smirnov p. 788  abstract

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

E. A. Tumanova p. 800  abstract

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

A. V. Tymoshenko, R. A. Kochkarov and A. A. Kochkarov p. 807  abstract

Transformation of Functional Dataflow Parallel Programs into Imperative Programs

V. S. Vasilev, A. I. Legalov and S. V. Zykov p. 815  abstract

Errata

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

Y. V. Kosolapov p. 828  abstract