Proceedings of ISP RAS

Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Corresponding Member of RAS A.I. Avetisyan

Download full volume

Table of Contents

A.V. Kozachok, E.V. Kochetkov Secure code execution system operation algorithm pp. 17-30.

A. Merkulov, S. Polyakov, A. Belevantsev Supporting Java programming in the Svace static analyzer pp. 57-74.

A.Y. Gerasimov Survey on static program analysis results refinement approaches pp. 75-98.

M.V. Belyaev, N.V. Shimchik, V.N. Ignatyev, A.A. Belevantsev Comparative analysis of two approaches to the static taint analysis pp. 99-116.

A.I. Get’man, Yu.V. Markin, D.O. Obidenkov, E.F. Evstropov A survey of problems and solution methods in network traffic classification pp. 117-150.

Yu.A. Solodelov, N.K. Gorelits Certifiable onboard real-time operation system JetOS for Russian aircrafts design pp. 171-178.

V.O. Mordan Combination of static verification methods for checking requirements composition pp. 151-170.

E.Y. Sharygin, R.A. Buchatskiy Survey of Just-in-Time Query Compilation Methods pp. 179-224.

N.N. Kuzyurin On the problem of finding approximation of bipatite cliques pp. 225-232.

A. Sotnikov, N. Shabaldina, M. Gromov Experiments on Parallel Composition of Timed Finite State Machines pp. 233-246.

P.N. Devyanin On the problem of representation of the formal model of security policy for operating systems pp. 7-16.

V.A. Padaryan On representation used in the binary code reverse engineering pp. 31-42.

A.V. Khoroshilov, I.V. Shchepetkov ADV_SPM — Formal security policy models in practice pp. 43-56.

A.S. Anichkin, V.A. Semenov Object-oriented framework for software development of scheduling applications pp. 247-296.

Back to the list of all volumes