Галимуллин Р.Ф. Проблема недетерминизма и нечеткая логика // Вестник Томского государственного университета. Философия. Социология. Политология. 2014. № 2(26). С. 5‒18.
Галимуллин Р.Ф. Экспериментальное сравнение качества тестов, построенных по UML диаграммам на основе модели временного автомата //Известия вузов. Физика. 2013. Т. 56, № 9/2. С. 177-180.
Галимуллин Р.Ф. Различимость UML -описаний с использованием временных автоматов //Информационные технологии и системы 2012 (ИТС 2012). Минск: Издательский центр БГУ, 2012. С. 36-37.
Галимуллин Р.Ф. К построению тестовых последовательностей по UML описаниям //Новые информационные технологии в исследовании сложных структур. Материалы девятой Российской конференции с международным участием. Томск: Изд-во НТЛ, 2012. С. 57.
Galimullin R.F. On separating UML specified nondeterministic finite state machines with time-outs //Известия вузов. Физика. 2012. Vol. 55, № 8(3). P. 227-228.
Shabaldina N.V., Galimullin R.F. On Deriving test suites for nonderterministic finite state machines with time-outs. FSM-based testing from user defined faults adapted to incremental and mutation testing //Programming and Computer Software. 2012. Vol. 38, № 3. P. 127-133.
Шабалдина Н.В., Галимуллин Р.Ф. К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами // Программирование. 2012. № 3. С. 36‒44.
N. Shabaldina , R. Galimullin. Separating Non-Deterministic Finite State Machines with Time-outs //SYRCoSE 2011. Proceedings of the 5-th Spring/Summer Young Researchers`Colloquium on Software Engeneering. Екатеринбург: Издательство не указано, 2011. P. 100-104.