Архитектура мультипроцессорных вычислительных систем, формальные модели параллельных вычислений, методы и средства спецификации и верификации поведения программ, моделирование, анализ функционирования, синтез и адаптация мультипроцессорных вычислительных систем, системы реального времени.
Основные публикации:
Модель функционирования распределенных вычислительных систем // Вестн. Моск. ун-та, сер. 15: Вычисл. матем. и киберн., 1990, № 3, c. 3–21.
Об инварианте поведения программ // Вестн. Моск. ун-та, сер. 15: Вычисл. матем. и киберн., 1990, № 4, c. 54–60.
DYANA: An Evironment for Embedded System Design and Analysis // Proc. of 5-th International Conference TACAS'99, Amsterdam, Netherlands, March 22–28, 1999, Springer (LNCS v. 1579), pp. 390–404 (соавт. Bakhmurov A., Kapitonova A.).
Метод и средства оценки времени выполнения оптимизированных программ // Программирование, 1999, № 5, c. 52–61 (соавт. Балашов В. В. и др.).
ИСТИНА
