Mounifah Alenazi

According to our database, Mounifah Alenazi authored at least 7 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Complementarity in Requirements Tracing.

Wentao Wang, Nan Niu, Mounifah Alenazi, Juha Savolainen, Zhendong Niu, Jing-Ru C. Cheng, Li Da Xu

IEEE Trans. Cybern., 2020

A novel approach to tracing safety requirements and state-based design models.

Mounifah Alenazi, Nan Niu, Juha Savolainen

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools.

Wentao Wang, Nan Niu, Mounifah Alenazi, Li Da Xu

IEEE Trans. Ind. Informatics, 2019

SysML Modeling Mistakes and Their Impacts on Requirements.

Mounifah Alenazi, Nan Niu, Juha Savolainen

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

2018

Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems.

Mounifah Alenazi, Nan Niu, Wentao Wang, Juha Savolainen

Proceedings of the 8th IEEE International Model-Driven Requirements Engineering Workshop, 2018

Assuring Virtual PLC in the Context of SysML Models.

Mounifah Alenazi, Deepak Reddy, Nan Niu

Proceedings of the New Opportunities for Software Reuse - 17th International Conference, 2018

2017

Traceability for Automated Production Systems: A Position Paper.

Mounifah Alenazi, Nan Niu, Wentao Wang, Arushi Gupta

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017