| Issue | Title | |
| Vol 29, No 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Abstract PDF (Rus) |
| V. Yu. Efimov, A. A. Bezzubikov, D. A. Bogomolov, O. V. Goremykin, V. A. Padaryan | ||
| Vol 29, No 6 (2017) | Поиск недостающих вызовов библиотечных функций с использованием машинного обучения | Abstract PDF (Rus) |
| I. A. Yakimov, A. S. Kuznetsov | ||
| Vol 29, No 6 (2017) | Критерий существования бесконфликтного расписания для системы строго периодических задач | Abstract PDF (Rus) |
| S. A. Zelenova, S. V. Zelenov | ||
| Vol 26, No 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Abstract PDF (Rus) |
| T. A. Novikova, V. A. Zakharov | ||
| Vol 35, No 3 (2023) | “Symcrete” memory Model with Lazy Initialization and Objects of Symbolic Sizes in KLEE | Abstract PDF (Eng) |
| Sergey Antonovich MOROZOV, Aleksandr Vladimirovich MISONIZHNIK, Dmitry Aleksandrovich MORDVINOV, Dmitry Arkadevich IVANOV | ||
| Vol 32, No 5 (2020) | «Digital Lab» Platform as an Environment for Scientific Research and Development at the Kurchatov Institute | Abstract PDF (Rus) |
| Andrey N. POLYAKOV, Irina M. ENYAGINA, Dmitry S. KOKOVIN | ||
| Vol 31, No 3 (2019) | «Life» in Tensor: Implementing Cellular Automata on Graphics Adapters | Abstract PDF (Eng) |
| Natalia Andreevna Shalyapina, Maxim Leolidovitch Gromov | ||
| Vol 29, No 1 (2017) | 3D avalanche flow modeling using OpenFOAM | Abstract PDF (Rus) |
| D. I. Romanova | ||
| Vol 21 (2011) | A category-driven approach to deriving domain specific subsets of Wikipedia | Abstract PDF (Rus) |
| Anton V. Korshunov, Denis Yu. Turdakov, Jinguk Jeong, Minho Lee, Changsung Moon | ||
| Vol 26, No 2 (2014) | A combined method for verification of large-scale data models | Abstract PDF (Rus) |
| V. A. Semenov, S. V. Morozov, D. V. Ilyin | ||
| Vol 34, No 5 (2022) | A Comparison of a Machine Learning-Based Intrusion Detection System and Signature-Based Systems | Abstract PDF (Rus) |
| Aleksandr Igorevich GETMAN, Maxim Nikolaevich GORYUNOV, Andrey Georgievich MATSKEVICH, Dmitry Aleksandrovich RYBOLOVLEV | ||
| Vol 27, No 4 (2015) | A constraint library for specification of industrial data models | Abstract PDF (Rus) |
| S. V. Morozov, D. V. Ilyin, V. A. Semenov, O. A. Tarlapan | ||
| Vol 29, No 4 (2017) | A contract-based method to specify stimulus-response requirements | Abstract PDF (Eng) |
| A. Naumchev, M. Mazzara, B. Meyer, J.-M. Bruel, F. Galinier, S. Ebersold | ||
| Vol 27, No 3 (2015) | A Crowdsourcing Engine for Mechanized Labor | Abstract PDF (Rus) |
| D. A. Ustalov | ||
| Vol 32, No 4 (2020) | A debugger of parallel programs for OS Linux | Abstract PDF (Rus) |
| Aleksey Borisovich KISELEV, Sergey Nikolaevich KISELEV | ||
| Vol 36, No 6 (2024) | A Decade of Advancements in Program Synthesis from Natural Language: A Systematic Literature Review | Abstract PDF (Eng) |
| Rolando RAMÍREZ-RUEDA, Edgard BENÍTEZ-GUERRERO, Carmen MEZURA-GODOY, Everardo BARCENAS | ||
| Vol 28, No 5 (2016) | A declarative language FlexT for analysis and documenting of binary data formats | Abstract PDF (Rus) |
| A. Y. Hmelnov, I. V. Bychkov, A. A. Mikhailov | ||
| Vol 33, No 1 (2021) | A Design Guide for Usable Web APIs | Abstract PDF (Rus) |
| Maribel TELLO-RODRÍGUEZ, Jorge Octavio OCHARÁN-HERNÁNDEZ, Juan Carlos PÉREZ-ARRIAGA, Xavier LIMÓN, Ángel J. SÁNCHEZ-GARCÍA | ||
| Vol 29, No 5 (2017) | A Flat Chart Technique for Embedded OS Testing | Abstract PDF (Eng) |
| V. V. Nikiforov, S. N. Baranov | ||
| Vol 33, No 5 (2021) | A formal language for primary specifications of the cryptographic protocols | Abstract PDF (Rus) |
| Sergey Evgenievich PROKOPEV | ||
| Vol 31, No 6 (2019) | A formal model for program defect detection using symbolic program execution | Abstract PDF (Rus) |
| Alexander Yurievich Gerasimov, Daniil Olegovich Kuts, Alexander Andreevich Novikov | ||
| Vol 32, No 6 (2020) | A Formal Model of a Partitioned Real-Time Operating System in Promela | Abstract PDF (Eng) |
| Sergey Mikhailovich STAROLETOV | ||
| Vol 29, No 2 (2017) | A general approach to solving problems on graphs by collective automata | Abstract PDF (Rus) |
| I. B. Burdonov, A. S. Kossatchev | ||
| Vol 32, No 1 (2020) | A Mandatory Integrity Control Model for the KasperskyOS Operating System | Abstract PDF (Rus) |
| Vladimir Sergeevich Burenkov, Dmitry Aleksandrovich Kulagin | ||
| Vol 21 (2011) | A Method for Automatic Recovery of Variables Based on Program Execution Traces | Abstract PDF (Rus) |
| M. A. Klimushenkova, V. A. Makarov. | ||
| Vol 33, No 4 (2021) | A Method for the Stateful Data-Plane Algorithm State Synchronization in the Network Processing Unit | Abstract PDF (Eng) |
| Yaroslav Konstantinovich KUZMIN, Dmitry Yuryevitch VOLKANOV, Julia Alexandrovna SKOBTSOVA | ||
| Vol 28, No 6 (2016) | A method of automatically estimating user age using social connections | Abstract PDF (Rus) |
| A. G. Gomzin, S. D. Kuznetsov | ||
| Vol 36, No 3 (2024) | A Method of Protocol-Aware Multi-tone Sweep Jamming | Abstract PDF (Eng) |
| Heghine GRIGORYAN, Lilia KIRAKOSYAN, Sevak SARGSYAN | ||
| Vol 34, No 5 (2022) | A Method to Evaluate Program Similarity Using Machine Learning Methods | Abstract PDF (Rus) |
| Petr Dmitrievich BORISOV, Yuri Vladimirovich KOSOLAPOV | ||
| Vol 28, No 4 (2016) | A Model Checking-Based Method of Functional Test Generation for HDL Descriptions | Abstract PDF (Eng) |
| M. S. Lebedev, S. A. Smolov | ||
| Vol 37, No 2 (2025) | A Model for Atrial Fibrillation Detection Based on Differentiation and Compression of Interbeat Interval Sequences | Abstract PDF (Eng) |
| Nikita Sergeevich MARKOV | ||
| Vol 27, No 3 (2015) | A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors | Abstract PDF (Rus) |
| Alexander Kamkin, Mikhail Petrochenkov | ||
| Vol 29, No 5 (2017) | A Modified Scrum Story Points Estimation Method Based on Fuzzy Logic Approach | Abstract PDF (Eng) |
| S. A. Semenkovich, O. I. Kolekonova, K. Y. Degtiarev | ||
| Vol 33, No 4 (2021) | A Multilayer Approach to Subgraph Matching in HP-graphs | Abstract PDF (Eng) |
| Nikolai Mikhailovich SUVOROV, Lyudmila Nickolaevna LYADOVA | ||
| Vol 33, No 2 (2021) | A Novel Intelligent System for Detection of Type 2 Diabetes with Modified Loss Function and Regularization | Abstract PDF (Rus) |
| Mallika G.C., Abeer ALSADOON, Duong Thu Hang PHAM, Salma Hameedi ABDULLAH, Ha Thi MAI, P.W. Chandana PRASAD, Tran Quoc Vinh NGUYEN | ||
| Vol 27, No 5 (2015) | A performance testing and stress testing of cloud platform central identity: OpenStack Keystone case study | Abstract PDF (Rus) |
| I. V. Bogomolov, A. . Aleksiyants, A. . Sher, O. . Borisenko, A. . Avetisyan | ||
| Vol 36, No 3 (2024) | A Platform for Collecting Dermatoscopic Images of Patients’ Neoplasms | Abstract PDF (Rus) |
| Alexander Vasilevich KOZACHOK, Andrei Andreevich SPIRIN, Kirill Vyacheslavovich ELETSKIY, Elena Sergeevna KOZACHOK | ||
| Vol 26, No 3 (2014) | A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators | Abstract PDF (Rus) |
| V. V. Podymov, V. A. Zakharov | ||
| Vol 33, No 1 (2021) | A reflection on the design and user acceptance of Tamil talk | Abstract PDF (Eng) |
| Raj RAMACHANDRAN SUBRAMANIAN, Emmanuel Kayode Akinshola OGUNSHILE | ||
| 1 - 39 of 1237 Items | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 > >> | |
Browse Title Index
Popular articles
Vol 31, No 3 (2019)
Vol 28, No 1 (2016)
Vol 30, No 5 (2018)
Vol 30, No 4 (2018)
Vol 31, No 1 (2019)
Vol 30, No 5 (2018)
Keywords
LLVM
OpenFOAM
Petri nets
binary code
cloud computing
dynamic analysis
formal verification
fuzzing
information security
machine learning
mathematical modeling
model checking
natural language processing
neural networks
numerical simulation
operating system
static analysis
static verification
symbolic execution
testing
verification
109004, Alexander Solzhenitsyn st., 25., Moscow, Russian Federation
Institute for System Programming of the RAS
tel.: +7(495) 912-44-25,
e-mail: proceedings@ispras.ru
