На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Публикационная активность

(сведения по итогам 2021 г.)
2-летний импакт-фактор РИНЦ: 0,441
2-летний импакт-фактор РИНЦ без самоцитирования: 0,408
Двухлетний импакт-фактор РИНЦ с учетом цитирования из всех
источников: 0,704
5-летний импакт-фактор РИНЦ: 0,417
5-летний импакт-фактор РИНЦ без самоцитирования: 0,382
Суммарное число цитирований журнала в РИНЦ: 9837
Пятилетний индекс Херфиндаля по цитирующим журналам: 149
Индекс Херфиндаля по организациям авторов: 384
Десятилетний индекс Хирша: 71
Место в общем рейтинге SCIENCE INDEX за 2021 год: 196
Место в рейтинге SCIENCE INDEX за 2021 год по тематике "Автоматика. Вычислительная техника": 4
Место в рейтинге SCIENCE INDEX за 2021 год по тематике "Кибернетика" 2

Больше данных по публикационной активности нашего журнале за 2008-2021 гг. на сайте РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
19 Июня 2023

Ключевое слово: верификация

  1. Общая схема верификации утверждений Р-логики с неизвестными параметрами
  2. Авторы статьи: Еловков Д.Д.

  3. Комплексная верификация результатов прогнозирования характеристик транспортной системы
  4. Авторы статьи: Арефьев И.Б., Клавдиев А.А., Сулима А.А.

  5. Развитие системы стохастического тестирования микропроцессоров INTEG
  6. Авторы статьи: Грибков И.В., Захаров А.В., Кольцов П.П., Котович Н.В., Кравченко А.А., Куцаев А.С., Осипов А.С., Хисамбеев И.Ш., Коганов М.А.

  7. Программа для автоматизированной верификации ограничений целостности баз данных
  8. Авторы статьи: Хомоненко А.Д., Глухарев М.Л., Косаренко А.П.

  9. Процессная семантика языков распределенного программирования
  10. Авторы статьи: Кораблин Ю.П., Кучугуров И.В.

  11. Вопросы эквивалентности схем параллельных программ
  12. Авторы статьи: Кораблин Ю.П., Кучугуров И.В., Косакян М.Л.

  13. Контроль целостности входных данных при проведении автоматизированного анализа программного обеспечения
  14. Авторы статьи: Поляничко М.А.

  15. Разработка инструментов верификации драйверов на основе семантических моделей
  16. Авторы статьи: Кораблин Ю.П., Павлов Е.Г.

  17. Разработка инструментальных средств анализа драйверов операционной системы Linux
  18. Авторы статьи: Кораблин Ю.П., Павлов Е.Г.

  19. VMASTER – среда для разработки и верификации вероятностных мультиагентных систем
  20. Авторы статьи: Лебедев П.В.

  21. Анализ моделей программ на языке асинхронных функциональных схем средствами темпоральной логики линейного времени
  22. Авторы статьи: Кораблин Ю.П., Косакян М.Л.

  23. Особенности тестирования наборов данных в операционной системе z/OS
  24. Авторы статьи: Бартеньев О.В., Клюев С.В.

  25. Метод ограничений верифицируемых моделей
  26. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  27. Эквациональная характеристика формул LTL
  28. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  29. Метод распределенного анализа свойств верифицируемых моделей
  30. Авторы статьи: Шипов А.А.

  31. Построение моделей систем на базе эквациональной характеристики формул LTL
  32. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  33. Верификация моделей систем на базе эквациональной характеристики формул LTL
  34. Авторы статьи: Кораблин Ю.П., Шипов А.А., Кочергин А.С.

  35. Синтезирование программ на основе описания графоаналитической модели
  36. Авторы статьи: Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.

  37. Программное средство моделирования модульных вычислительных систем для проверки допустимости их конфигураций
  38. Авторы статьи: Глонина А.Б.

  39. Унифицированное представление формул логик LTL и CTL системами рекурсивных уравнений
  40. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  41. Информационная технология верификации специального программного обеспечения автоматизированных систем военного назначения
  42. Авторы статьи: Жидков Р.Е., Викторов Д.С., Жидков Е.Н.

  43. Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса
  44. Авторы статьи: Зыков А.Г., Поляков В.И., Голованев Я.С.

  45. Верификация моделей систем на базе эквациональной характеристики формул CTL
  46. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  47. Компьютерное моделирование для интеллектуальной оценки динамического взаимодействия твердых тел
  48. Авторы статьи: Филатова Н.Н., Мешков В.В., Федосов Ю.А.