Generation of Oracles using Natural Language Processing. - Iat Tou Leong; Raul Barbosa (APSEC Workshops, 2021)

Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP. - Iat Tou Leong; Raul Barbosa (DSN-W, 2023)

Translating meaning representations to behavioural interface specifications. - Iat Tou Leong; Raul Barbosa (J. Syst. Softw., 2024)

Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications. - Iat Tou Leong; Aleksandar Avdalovic; Raul Barbosa (DSN-W, 2025)