Область научных интересов

Не указана.

Образование

  • 2003 д.ф.-м.н. Тестирование на основе формальных спецификаций в процессах разработки программных комплексов
  • 1983 к.ф.-м.н.

Результаты деятельности

Всего: 51 статья, 2 тезисов докладов, 6 книг, 1 диссертация, 2 НИР, 3 руководства диссертациями, 3 учебных курса, 5 докладов на конференциях, 2 членства в редколлегиях журналов, 1 членство в редколлегии сборника, 2 членства в программных комитетах, 2 членства в диссертационных советах, 2 оценивания диссертаций.

Количество цитирований статей в журналах по данным Web of Science: 40, Scopus: 72

Просмотреть публикации »

Соавторы: Хорошилов А.В., Кулямин В.В., Shchepetkov I.V., Девянин П.Н., Корныхин Е.В., Mutilin V.S., Мандрыкин М.У., Буздалов Д.В., Камкин А.С., Косачев А.С., Кузьменкова Е.А., Лаврищева Е.М., Kiezun A., Галяев А.А., Горелик В.А., Грушо А.А., Желяков Е.Г., Иванников В.П., Каперко А.Ф., Меньших В.В., Плешивцева Ю.Э., Позин Б.А., Ряжских В.И., Угольницкий Г.А., Хранилов В.П., Чернышев С.А., Lazareva G.G., Saraev P.V., Булдакова Т.И., Грибова В.В., Ефремов Д.В., Зеленов С.В., Лаврищева Е.М., Манасыпов Р.М., Маркин Е.В., Пащенко Д.В., Савин К.Г., Саенко И.В., Самуйлов К.Е., Сидоров Д.Н., Соловьев С.Ю., Сулимов В.Б., баринов р.с., Batovrin V.K., Chistyakova T., Juris B., Schepetkov I., Schlingloff H., Starykh V.A., Stolyarov G.K., Sviridyuk G.A., Wentzl W., Абрамов В.Г., Баева Н.В., Бойцов А.А., Бурдонов И.Б., Васенин В.А., Вылиток А.А., Герлиц Е.А., Грицай Д.В., Груздева Н.В., ЕФРЕМОВ Д.В., Захаров В.Н., Иванов Р.В., КОПАЧ В.В., Корухова Л.С., Корухова Ю.С., Кулямин В.В., Лаврищева Е.В., Лебединский А.И., Леденева Е.В., Леднева Т.М., Лозинский В.И., Машечкин И.В., Нагорнов О.В., Оченашко О.В., Панфёров А.А., Полякова И.Н., Посыпкин М.А., Рогульская Е.Ю., Рудаков К.В., Смелянский Р.Л., Ступников С.А., Сычугов Д.Ю., Ульянов М.В., Цыварев А.В., Чеботарев, Чупилко М.М., Шишкин Н.В., Шишкина Ю.В., ЩЕПЕТКОВ И.В.