Proceedings of ISP RAS

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

Edited by Corresponding Member of RAS A.I. Avetisyan

Download full volume

Table of Contents

Barabanov A.V., Lavrov A.I., Markov A.S., Polotnyanschikov I.A., Tsirlov V.L. The Study into Cross-Site Request Forgery Attacks within the Framework of Analysis of Software Vulnerabilities pp. 7-18.

Semenkovich S.A., Kolekonova O.I., Degtiarev K.Y. A Modified Scrum Story Points Estimation Method Based on Fuzzy Logic Approach pp. 19-38.

Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Modified codes with weighted-transitions summation in concurrent error detection systems of combinational circuits pp. 39-60.

Matrosova A.Yu., Ostanin S.A., Nikolaeva E.A. Partially Programmable Circuit Design Oriented to masking Trojan Circuits pp. 61-74.

Nikiforov V.V., Baranov S.N. A Flat Chart Technique for Embedded OS Testing pp. 75-92.

Lavrischeva E.M., Mutilin V.S., Ryzhov A.G. Designing variability models for software, operating systems and their families pp. 93-110.

Gerasimov A.Y., Kruglov L.V., Ermakov M.K., Vartanov S.P. An approach of reachability determination for static analysis defects with help of dynamic symbolic execution pp. 111-134.

Kozachok A.V. First order logic to set requirements for secure code execution pp. 135-148.

Podkopaev A.V., Lahav O., Vafeiadis V. Promising Compilation to ARMv8.3 pp. 149-164.

Legalov A.I., Vasilyev V.S., Matkovskii I.V., Ushakova M.S. Support tools for creation and transformation of functional-dataflow parallel programs pp. 165-184.

Kazakov K.A., Semenov V.A. Object-oriented framework for motion planning in complex dynamic environments pp. 185-238.

Anichkin A.S., Morozov S.V., Semenov V.A., Tarlapan O.A. Evolutionary development of a visual planning system using object-oriented framework pp. 239-256.

Zelenova S.A., Zelenov S.V. Modeling and Risk Analysis of Hardware-Software Systems pp. 257-282.

Burdonov I., Kossatchev A., Sortov A. Distributed algorithms on rooted undirected graphs pp. 283-310.

Semakin A.N. Software for adaptive grid construction pp. 311-328.

Tsynaeva A., Razorenov S., Belaya V. Numerical modeling of heat transfer of channel with shallow curly dimples pp. 329-344.

Back to the list of all volumes