ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Send article

Publication activity

(Information on the results of 2021)
2-year impact factor of the RSCI: 0,441
2-year impact factor of the RSCI without self-citation: 0,408
The two-year impact factor of the RSCI, taking into account citations from all
sources: 0,704
5-year impact factor of the RSCI: 0,417
5-year impact factor of the RSCI without self-citation: 0,382
The total number of citations of the journal in the RSCI: 9837
Herfindahl's five-year index of quoting journals: 149
Herfindahl Index by author organizations: 384
10-year Hirsch Index: 71
Place in the overall SCIENCE INDEX ranking: 196
Place in the SCIENCE INDEX ranking on the topic "Automation. Computer technology": 4
Place in the SCIENCE INDEX ranking on the topic "Cybernetics": 2

More information on the publication activity of our journal for 2008-2021 on the RSCI website.

Bookmark

Next issue

№2
Publication date:
19 June 2023

Keyword: verification

    2. Authors: Еловков Д.Д.

  2. Complex verification of results forecasting characteristics transport system
    3. Authors: Арефьев И.Б., Клавдиев А.А., Сулима А.А.

  3. The development of the system for microprocessor random testing INTEG
    4. Authors: Грибков И.В., Захаров А.В., Кольцов П.П., Котович Н.В., Кравченко А.А., Куцаев А.С., Осипов А.С., Хисамбеев И.Ш., Коганов М.А.

  4. Program for automated verification of databases integrity constraints
    5. Authors: Хомоненко А.Д., Глухарев М.Л., Косаренко А.П.

  5. Process semantics of distributed programming language
    6. Authors: Кораблин Ю.П., Кучугуров И.В.

  6. Questions equivalent schemes of parallel programs
    7. Authors: Кораблин Ю.П., Кучугуров И.В., Косакян М.Л.

  7. Integrity control of input data during automated software analysis
    8. Authors: Поляничко М.А.

  8. Development tools of verification for device drivers based on semantic models
    9. Authors: Кораблин Ю.П., Павлов Е.Г.

  9. Analysis tools of Linux operating system drivers development
    10. Authors: Кораблин Ю.П., Павлов Е.Г.

  10. VMASTER – environment for probabilistic multiagent system development and verification
    11. Authors: Лебедев П.В.

  11. Analysis of the programm use the language of asynchronous functional schemes models using linear-time temporal logic
    12. Authors: Кораблин Ю.П., Косакян М.Л.

  12. Peculiarities of data sets testing in the z/OS operating system
    13. Authors: Бартеньев О.В., Клюев С.В.

  13. The limitation method for verifiable models
    14. Authors: Кораблин Ю.П., Шипов А.А.

  14. Equational characteristics of LTL formulas
    15. Authors: Кораблин Ю.П., Шипов А.А.

  15. The method of distributed analysis of verifiable models properties
    16. Authors: Шипов А.А.

  16. System models construction based on LTL formula equational characteristics
    17. Authors: Кораблин Ю.П., Шипов А.А.

  17. System model verification based on equational characteristics of LTL formulas
    18. Authors: Кораблин Ю.П., Шипов А.А., Кочергин А.С.

  18. Program synthesizing based on a graph-analytic model description
    19. Authors: Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.

  19. Modular computer systems simulation software tool for checking feasibility of their configurations
    20. Authors: Глонина А.Б.

  20. The unified representation of LTL and CTL logics formulas by recursive equation systems
    21. Authors: Кораблин Ю.П., Шипов А.А.

  21. An information technology for verifying special software of military automated systems
    22. Authors: Жидков Р.Е., Викторов Д.С., Жидков Е.Н.

  22. Automation of program verification using graph analytical models of a computational process
    23. Authors: Зыков А.Г., Поляков В.И., Голованев Я.С.

  23. Systems model verification based on equational characteristics of СTL formulas
    24. Authors: Кораблин Ю.П., Шипов А.А.

  24. Computer modeling for intelligent evaluation of dynamic interaction of solids
    25. Authors: Филатова Н.Н., Мешков В.В., Федосов Ю.А.