Публикационная активность
(сведения по итогам 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
Ключевое слово: верификация
- Общая схема верификации утверждений Р-логики с неизвестными параметрами Авторы статьи: Еловков Д.Д.
- Комплексная верификация результатов прогнозирования характеристик транспортной системы Авторы статьи: Арефьев И.Б., Клавдиев А.А., Сулима А.А.
- Развитие системы стохастического тестирования микропроцессоров INTEG Авторы статьи: Грибков И.В., Захаров А.В., Кольцов П.П., Котович Н.В., Кравченко А.А., Куцаев А.С., Осипов А.С., Хисамбеев И.Ш., Коганов М.А.
- Программа для автоматизированной верификации ограничений целостности баз данных Авторы статьи: Хомоненко А.Д., Глухарев М.Л., Косаренко А.П.
- Процессная семантика языков распределенного программирования Авторы статьи: Кораблин Ю.П., Кучугуров И.В.
- Вопросы эквивалентности схем параллельных программ Авторы статьи: Кораблин Ю.П., Кучугуров И.В., Косакян М.Л.
- Контроль целостности входных данных при проведении автоматизированного анализа программного обеспечения Авторы статьи: Поляничко М.А.
- Разработка инструментов верификации драйверов на основе семантических моделей Авторы статьи: Кораблин Ю.П., Павлов Е.Г.
- Разработка инструментальных средств анализа драйверов операционной системы Linux Авторы статьи: Кораблин Ю.П., Павлов Е.Г.
- VMASTER – среда для разработки и верификации вероятностных мультиагентных систем Авторы статьи: Лебедев П.В.
- Анализ моделей программ на языке асинхронных функциональных схем средствами темпоральной логики линейного времени Авторы статьи: Кораблин Ю.П., Косакян М.Л.
- Особенности тестирования наборов данных в операционной системе z/OS Авторы статьи: Бартеньев О.В., Клюев С.В.
- Метод ограничений верифицируемых моделей Авторы статьи: Кораблин Ю.П., Шипов А.А.
- Эквациональная характеристика формул LTL Авторы статьи: Кораблин Ю.П., Шипов А.А.
- Метод распределенного анализа свойств верифицируемых моделей Авторы статьи: Шипов А.А.
- Построение моделей систем на базе эквациональной характеристики формул LTL Авторы статьи: Кораблин Ю.П., Шипов А.А.
- Верификация моделей систем на базе эквациональной характеристики формул LTL Авторы статьи: Кораблин Ю.П., Шипов А.А., Кочергин А.С.
- Синтезирование программ на основе описания графоаналитической модели Авторы статьи: Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.
- Программное средство моделирования модульных вычислительных систем для проверки допустимости их конфигураций Авторы статьи: Глонина А.Б.
- Унифицированное представление формул логик LTL и CTL системами рекурсивных уравнений Авторы статьи: Кораблин Ю.П., Шипов А.А.
- Информационная технология верификации специального программного обеспечения автоматизированных систем военного назначения Авторы статьи: Жидков Р.Е., Викторов Д.С., Жидков Е.Н.
- Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса Авторы статьи: Зыков А.Г., Поляков В.И., Голованев Я.С.
- Верификация моделей систем на базе эквациональной характеристики формул CTL Авторы статьи: Кораблин Ю.П., Шипов А.А.
- Компьютерное моделирование для интеллектуальной оценки динамического взаимодействия твердых тел Авторы статьи: Филатова Н.Н., Мешков В.В., Федосов Ю.А.
