Proceedings of ISP RAS

Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Corresponding Member of RAS A.I. Avetisyan

Download full volume

Table of Contents

Goloveshkin A.V., Mikhalkovich S.S. Tolerant parsing with a special kind of «Any» symbol: the algorithm and practical application pp. 7-28.

Adamovich I.A., Klimov And.V. An Interactive Specializer Based on Partial Evaluation for a Java Subset pp. 29-44.

Kirgizov G.V., Kirilenko I.A. Heterogeneous Architectures Programming Library pp. 45-62.

Gorelits N.K., Gukova A.S., Peskov E.V. Criteria for software to safety-critical complex certifiable systems development pp. 63-78.

Kulik T., Larsen P.G. Towards Formal Verification of Cyber Security Standards pp. 79-94.

Putro P.A. Combining ACSL Specifications and Machine Code pp. 95-106.

Carrasquel J.C., Morales A., Villapol M.E. Prosega/CPN: An extension of CPN Tools for Automata-based Analysis and System Verification pp. 107-128.

Chupilko M.M., Drozdova E.A. Simulation-based Verification of Hardware Bus Controllers pp. 129-138.

Tvardovskii A.S., Yevtushenko N.V. Deriving adaptive distinguishing sequences for Finite State Machines pp. 139-154.

Pisarev I.A., Babenko L.K. Registration protocol security analysis of the electronic voting system based on blinded intermediaries using the Avispa tool pp. 155-168.

Polyakov A.R., Kornilova A.V., Kirilenko I.A. Auto-calibration and synchronization of camera and MEMS-sensors pp. 169-182

Musatian S.A., Lomakin A.V., Sartasov S. Yu., Popyvanov L.K., Monakhov I.B., Chizhova A.S. Medical Images Segmentation Operations pp. 183-194

Sachkov V.E. The use of associative semantic preprocessor in the interactive dialogue systems in natural language pp. 195-208.

Lazarev D.O., Kuzjurin N.N. On on-line algorithms for Bin, Strip and Box Packing, and their worst- and average-case analysis pp. 209-230

Back to the list of all volumes