Mounifah Alenazi

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 7

Top Topics

Multiprocessor Architecture

Certainty Factor

Statistical Models

Production System

Top Venues

IEEE Trans. Cybern.

IEEE Trans. Ind. Informatics

Publications

Mounifah Alenazi, Nan Niu, Juha Savolainen
A novel approach to tracing safety requirements and state-based design models. ICSE (2020)
Wentao Wang, Nan Niu, Mounifah Alenazi, Juha Savolainen, Zhendong Niu, Jing-Ru C. Cheng, Li Da Xu
Complementarity in Requirements Tracing. IEEE Trans. Cybern. 50 (4) (2020)
Wentao Wang, Nan Niu, Mounifah Alenazi, Li Da Xu
In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools. IEEE Trans. Ind. Informatics 15 (6) (2019)
Mounifah Alenazi, Nan Niu, Juha Savolainen
SysML Modeling Mistakes and Their Impacts on Requirements. RE Workshops (2019)
Mounifah Alenazi, Nan Niu, Wentao Wang, Juha Savolainen
Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems. MoDRE@RE (2018)
Mounifah Alenazi, Deepak Reddy, Nan Niu
Assuring Virtual PLC in the Context of SysML Models. ICSR (2018)
Mounifah Alenazi, Nan Niu, Wentao Wang, Arushi Gupta
Traceability for Automated Production Systems: A Position Paper. RE Workshops (2017)