Publications

2020

Mounifah Alenazi, Nan Niu, and Juha Savolainen, “A Novel Approach to Tracing Safety Requirements and State-Based Design Models”, 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, July 6-11, 2020, pp.848-860.

Mounifah Alenazi, Nan Niu, and Juha Savolainen, “A Process Mining based Approach to Improving Defect Detection of SysML Models“, Late Breaking Results Track at The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, California, United States, November 13, 2019.
Mounifah Alenazi, Nan Niu, and Juha Savolainen,“SysML Modeling Mistakes and Their Impacts on Requirements”, 9th International Model-Driven Requirements Engineering Workshop (MoDRE), Jeju Island, South Korea, September 24, 2019, pp. 14-23.
Wentao Wang, Nan Niu, Mounifah Alenazi, and Li Da Xu, “In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools” , IEEE Transactions on Industrial Informatics, Volume: 15, Issue: 6, June 2019, pp. 3155-3162, IEEE (Xplore).
Wentao Wang, Nan Niu, Mounifah Alenazi, Juha Savolainen, Zhendong Niu, Jing-Ru C. Cheng, and Li Da Xu, “Complementarity in Requirements Tracing“, IEEE Transactions on Cybernetics, Volume: 50, Issue: 4, April 2020, pp. 1395-1404, IEEE (Xplore).

Mounifah Alenazi “Leveraging Traceability and Obstacle Analysis to Ensure Requirements Fulfillment in Systems Engineering” 12th Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering (ESEC/FSE), Doctoral Symposium (Poster), 2018.
Mounifah Alenazi, Nan Niu, Wentao Wang, and Juha Savolaineny, “Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems,” 8th International Model-Driven Requirements Engineering Workshop (MoDRE), Banff, Canada, August 20, 2018, pp. 46-55.
Mounifah Alenazi, Deepak Reddy, and Nan Niu, “Assuring Virtual PLC in the Context of SysML Models,” 17th International Conference on Software Reuse (ICSR), Madrid, Spain, May 23, 2018, pp. 121–136.

Mounifah Alenazi, Nan Niu, Wentao Wang, and Arushi Gupta, “Traceability for Automated Production Systems: A Position Paper,” 7th International Model-Driven Requirements Engineering Workshop (MoDRE), Lisbon, Portugal, September 4, 2017, pp. 51–55.
Mounifah Alenazi, Nan Niu, Wentao Wang, and Birgit Vogel-Heuser, “Traceability for Evolving Automated Production Systems,” Grand Challenges of Traceability: The Next Ten Years, Kentucky, USA, April 1, 2017, pp. 28–30.
Nan Niu, Juha Savolainen, Wentao Wang, and Mounifah Alenazi, “Best of Both Worlds: Synthesizing the Human and Method Sides of Requirements Tracing,” Grand Challenges of Traceability: The Next Ten Years, Kentucky, USA, April 1, 2017, pp. 13–15.