Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. - Abdulrazaq Abba; Ana Cavalcanti 001; Jeremy Jacob (SBMF, 2021)

Vulnerability prediction for secure healthcare supply chain service delivery. - Shareeful Islam; Abdulrazaq Abba; Umar Mukhtar Ismail; Haralambos Mouratidis; Spyridon Papastergiou (Integr. Comput. Aided Eng., 2022)