Traceability for Automated Production Systems: A Position Paper. - Mounifah Alenazi; Nan Niu; Wentao Wang 003; Arushi Gupta (RE Workshops, 2017)

Assuring Virtual PLC in the Context of SysML Models. - Mounifah Alenazi; Deepak Reddy; Nan Niu (ICSR, 2018)

Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems. - Mounifah Alenazi; Nan Niu; Wentao Wang 003; Juha Savolainen (MoDRE@RE, 2018)

SysML Modeling Mistakes and Their Impacts on Requirements. - Mounifah Alenazi; Nan Niu; Juha Savolainen (RE Workshops, 2019)

In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools. - Wentao Wang 003; Nan Niu; Mounifah Alenazi; Li Da Xu (IEEE Trans. Ind. Informatics, 2019)

A novel approach to tracing safety requirements and state-based design models. - Mounifah Alenazi; Nan Niu; Juha Savolainen (ICSE, 2020)

Complementarity in Requirements Tracing. - Wentao Wang 003; Nan Niu; Mounifah Alenazi; Juha Savolainen; Zhendong Niu; Jing-Ru C. Cheng; Li Da Xu (IEEE Trans. Cybern., 2020)

Requirements Technical Debt Through the Lens of Environment Assumptions. - Mounifah Alenazi (TechDebt, 2025)

Environmental Assumptions in System Design: A Phenomenon-Based and Operational Perspective. - Mounifah Alenazi; Nan Niu; Latifah T. Alshammary (IEEE Access, 2025)