3 т.30, 2018 - Труды Института системного программирования РАН

3 т.30, 2018 - Труды Института системного программирования РАН

Журнал: Труды Института системного программирования РАН @trudy-isp-ran

Бесплатный доступ

ID: 14915800 Короткий адрес: https://sciup.org/14915800

Содержание выпуска 3 т.30, 2018 Труды Института системного программирования РАН

Асрян С.А., Гайсарян С.С., Курмангалеев Ш.Ф., Агабалян А.М., Овсепян Н.Г., Саргсян С.С. Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения 7

Dudina I.A. Buffer overflow detection via static analysis: expectations vs. reality 21

Lesovoy S.L. Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach 31

Трифанов В.Ю. Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах 47

Chebykin A.E., Kirilenko I.A. Applying deep learning to C# call sequence synthesis 63

Abakumov M.A., Dovgalyuk P.M. Stealth debugging of programs in QEMU emulator with WinDbg debugger 87

Ivanov A.V., Dovgaluk P.M., Makarov V.A. Configurable system call tracer in QEMU emulator 93

Пакулин Н.В., Лаврищева Е.М., Рыжов А.Г., Зеленов С.В. Анализ методов оценки надежности оборудования и систем. Практика применения методов 99

Cheptsov V.Yu., Khoroshilov A.V. In-kernel memory-mapped I/O device emulation 121

Mallachiev K.A., Khoroshilov A.V. Building modular real-time software from unified component model 135

Andryukhin A.A. Methods of protecting decentralized autonomous organizations from crashes and attacks 149

Prokopev S.E. Cryptographic stack machine notation one 165

Lebedev D.A., Stotland I.A. Construction of validation modules based on reference functional models in a standalone verification of communication subsystem 183

Petrochenkov M.V., Mushtakov R.E., Shpagilev D.I. Verification of system on chip integrated communication controllers 195

Зосимов В.В., Христодоров А.В., Булгакова А.С. Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе 207

Gordenko M.K., Avdoshin S.M. Variants of Chinese postman problems and a way of solving through transformation into vehicle routing problems 221

Beresneva E., Avdoshin S. Analysis of mathematical formulations of capacitated vehicle routing problem and methods for their solution 233

Beresneva E., Gordenko M. Applying the methods of system analysis to teaching assistants’ evaluation 251

Ilyin D.V., Fokina N.Yu., Semenov V.A. Static dependency analysis for semantic data validation 271

Nesterov R.A., Mitsyuk A.A., Lomazova I.A. Simulating behavior of multi-agent systems with acyclic interactions of agents 285

Gnatenko A.R., Zakharov V.A. On the model checking of finite state transducers over semigroups 303

Vinarskii E.M., Zakharov V.A. On the verification of strictly deterministic behavior of timed finite state machines 325

Словохотов Ю.Л., Неретин И.С. К построению модульной модели распределенного интеллекта 341

Выпуск журнала