| |
| Issue |
Title |
| |
| Vol 32, No 2 (2025) |
Modeling of parallel program synchronization primitives |
Abstract
PDF (Rus)
|
|
Oleg S. Kryukov, Anna G. Voloshko, Alexey N. Ivutin |
| |
| Vol 31, No 4 (2024) |
Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms |
Abstract
PDF (Rus)
|
|
Ivan M. Chernenko, Igor S. Anureev |
| |
| Vol 31, No 4 (2024) |
Disambiguation of Regular Expressions with Backreferences via Term Rewriting |
Abstract
PDF (Eng)
|
|
Daria N. Ismagilova, Antonina N. Nepeivoda |
| |
| Vol 31, No 4 (2024) |
Using TLA+/TLC for modeling and verification of cryptographic protocols |
Abstract
PDF (Rus)
|
|
Maxim V. Neyzov, Egor V. Kuzmin |
| |
| Vol 31, No 4 (2024) |
An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms |
Abstract
PDF (Rus)
|
|
Natalia O. Garanina |
| |
| Vol 31, No 3 (2024) |
Discovering hierarchical process models: an approach based on events partitioning |
Abstract
PDF (Eng)
|
|
Antonina K. Begicheva, Irina A. Lomazova, Roman A. Nesterov |
| |
| Vol 31, No 1 (2024) |
On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems |
Abstract
PDF (Rus)
|
|
Artem Davydov, Aleksandr A. Larionov, Nadezhda V. Nagul |
| |
| Vol 30, No 3 (2023) |
Logic for reasoning about bugs in loops over data sequences (IFIL) |
Abstract
PDF (Eng)
|
|
Dmitry A. Kondratyev |
| |
| Vol 30, No 3 (2023) |
The Boltzmann distribution in the problem of rational choice by population of a patch under an imperfect information about its resources |
Abstract
PDF (Rus)
|
|
Alexander N. Kirillov, Inna V. Danilova |
| |
| Vol 30, No 1 (2023) |
C Language Extension to Support Procedural-Parametric Polymorphism |
Abstract
PDF (Rus)
|
|
Alexander I. Legalov, Pavel V. Kosov |
| |
| Vol 29, No 3 (2022) |
Towards Neural Routing with Verified Bounds on Performance |
Abstract
PDF (Rus)
|
|
Igor Petrovich Buzhinsky, Anatoly Abramovich Shalyto |
| |
| Vol 29, No 3 (2022) |
Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language |
Abstract
PDF (Rus)
|
|
Alexander I. Legalov, Yegor G. Bugayenko, Nickolay K. Chuykin, Maksim V. Shipitsin, Yaroslav I. Riabtsev, Andrey N. Kamenskiy |
| |
| Vol 29, No 1 (2022) |
LTL-Specification of Bounded Counter Machines |
Abstract
PDF (Rus)
|
|
Egor V. Kuzmin |
| |
| Vol 29, No 1 (2022) |
Methods for Change Parallelism in Process of High-level VLSI Synthesis |
Abstract
PDF (Rus)
|
|
Igor Nikolaevich Ryzhenko, Oleg Vladimirovich Nepomnyaschy, Aleksandr Ivanovich Legalov, Vladimir Viktorovich Shaidurov |
| |
| Vol 28, No 4 (2021) |
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System |
Abstract
PDF (Rus)
|
|
Dmitry A. Kondratyev |
| |
| Vol 28, No 4 (2021) |
A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs |
Abstract
PDF (Rus)
|
|
Andrew M. Mironov |
| |
| Vol 28, No 4 (2021) |
A Recursive Inclusion Checker for Recursively Defined Subtypes |
Abstract
PDF (Rus)
|
|
Hans De Nivelle |
| |
| Vol 28, No 4 (2021) |
Notes on Recent Achievements in Proving Stability using KeYmaeraX |
Abstract
PDF (Rus)
|
|
Thomas Baar, Horst Schulte |
| |
| Vol 28, No 4 (2021) |
Autotuning Parallel Programs by Model Checking |
Abstract
PDF (Rus)
|
|
Natalia Olegovna Garanina, Sergei Petrovich Gorlatch |
| |
| Vol 28, No 4 (2021) |
On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic |
Abstract
PDF (Rus)
|
|
Anton Romanovich Gnatenko, Vladimir Anatolyevich Zakharov |
| |
| Vol 28, No 3 (2021) |
The Investigation of Nonlinear Polynomial Control Systems |
Abstract
PDF (Eng)
|
|
Sergei Nikolaevich Chukanov, Ilya Stanislavovich Chukanov |
| |
| Vol 28, No 2 (2021) |
The System for Transforming the Code of Dataflow Programs into Imperative |
Abstract
PDF (Rus)
|
|
Vladimir S. Vasilev, Alexander I. Legalov, Sergey V. Zykov |
| |
| Vol 28, No 1 (2021) |
LTL-Specification of Counter Machines |
Abstract
PDF (Rus)
|
|
Egor V. Kuzmin |
| |
| Vol 27, No 4 (2020) |
Temporal Logic for Programmable Logic Controllers |
Abstract
PDF (Rus)
|
|
Natalia Olegovna Garanina, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov, Sergei Petrovich Gorlatch |
| |
| Vol 27, No 4 (2020) |
On the Model Checking Problem for Some Extension of CTL* |
Abstract
PDF (Rus)
|
|
Anton Romanovich Gnatenko, Vladimir Anatolyevich Zakharov |
| |
| Vol 27, No 4 (2020) |
Knowledge-based Algorithms for BDI-agents |
Abstract
PDF (Rus)
|
|
Nikolay Vyacheslavovich Shilov, Natalia Olegovna Garanina |
| |
| Vol 27, No 4 (2020) |
InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels |
Abstract
PDF (Rus)
|
|
Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson |
| |
| Vol 27, No 4 (2020) |
Architecture of the Formally-Verified Distributed Ledger System InnoChain |
Abstract
PDF (Rus)
|
|
Leonid Al'bertovich Merkin-Janson, Ruslan Maratovich Rezin, Nikolay Konstantinovich Vasilyev |
| |
| Vol 27, No 4 (2020) |
The “One-fifth Rule” with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ,λ)) Genetic Algorithm |
Abstract
PDF (Rus)
|
|
Anton Olegovich Bassin, Maxim Viktorovich Buzdalov, Anatoly Abramovich Shalyto |
| |
| Vol 27, No 4 (2020) |
Deriving Homing Sequences for Finite State Machines with Timed Guards |
Abstract
PDF (Rus)
|
|
Aleksandr Sergeevich Tvardovskii, Nina Vladimirovna Yevtushenko |
| |
| Vol 27, No 4 (2020) |
On the Modeling of Sequential Reactive Systems by Means of Real Time Automata |
Abstract
PDF (Rus)
|
|
Evgeney Maximovich Vinarskii, Vladimir Anatolyevich Zakharov |
| |
| Vol 27, No 3 (2020) |
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines |
Abstract
PDF (Rus)
|
|
Vladimir A. Zakharov |
| |
| Vol 27, No 3 (2020) |
On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions |
Abstract
PDF (Rus)
|
|
Valery A. Sokolov |
| |
| Vol 27, No 2 (2020) |
Dynamically Changing Parallelism with the Asynchronous Sequential Data Flows |
Abstract
PDF (Rus)
|
|
Alexander I. Legalov, Ivan V. Matkovskii, Mariya S. Ushakova, Darya S. Romanova |
| |
| Vol 27, No 1 (2020) |
On a Segment Partition for Entropy Estimation |
Abstract
PDF (Rus)
|
|
Evgeniy Alexandrovich Timofeev |
| |
| Vol 26, No 2 (2019) |
On the Issue of Using “Useful” Tasks for Proof of Works in Blockchain |
Abstract
PDF (Rus)
|
|
Dmitry M. Murin, Vladimir N. Knyazev |
| |
| Vol 26, No 2 (2019) |
Analysis of Practical Applications of Lattice Gas Models |
Abstract
PDF (Rus)
|
|
Sergey P. Bobkov, Anastasiya S. Chernyavskaya, Vladimir V. Shergin |
| |
| Vol 26, No 2 (2019) |
Existence of an Unbiased Consistent Entropy Estimator for the Special Bernoulli Measure |
Abstract
PDF (Rus)
|
|
Evgeniy A. Timofeev |
| |
| 1 - 38 of 38 Items |
|
