Rubrics to Assess Usability of Embedded Systems. - Masitah Ghazali; Muhammad Aminu Umar; Mahmood Ashraf (SoMeT, 2014)

Enhancing model transformation synthesis using natural language processing. - Kevin Lano; Shichao Fang; Muhammad Aminu Umar; Sobhan Yassipour Tehrani (MoDELS (Companion), 2020)

Automated Requirements Formalisation for Agile MDE. - Kevin Lano; Sobhan Yassipour Tehrani; Muhammad Aminu Umar (MoDELS (Companion), 2021)

Comparative Evaluation of NLP Approaches for Requirements Formalisation. - Shekoufeh Kolahdouz Rahimi; Kevin Lano; Sobhan Yassipour Tehrani; Chenghua Lin; Yiqi Liu; Muhammad Aminu Umar (MODELSWARD, 2024)

Advances in automated support for requirements engineering: a systematic literature review. - Muhammad Aminu Umar; Kevin Lano (Requir. Eng., 2024)

Introduction to theme section on requirements formalisation. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Sobhan Yassipour Tehrani; Lola Burgueño; Muhammad Aminu Umar (Softw. Syst. Model., 2024)

Automated requirements engineering framework for agile model-driven development. - Muhammad Aminu Umar; Kevin Lano; Abdullahi Kutiriko Abubakar (Frontiers Comput. Sci., 2025)