1. “A Unified Model Based Framework for the Simplified Execution of Static and Dynamic Assertion Based Verification”, Muhammad Waseem Anwar , Muhammad Rashid, Fraooque Azam, Aamir Naeem, Muhammad Kashif and Wasi Haider Butt, IEEE Access Vol 8 pp 104407 - 104431, Available online June 2020, DOI: 10.1109/ACCESS.2020.2999544

2. “A model-driven framework for design and verification of embedded systems through SystemVerilog”, Muhammad Waseem Anwar , Muhammad Rashid, Fraooque Azam, Muhammad Kashif and Wasi Haider Butt, Journal of Design Automation for Embedded Systems, Available online December 2019, DOI: https://doi.org/10.1007/s10617-019-09229-y

3. “Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog”, Muhammad Waseem Anwar , Muhammad Rashid, Fraooque Azam and Muhammad Kashif, Journal of Design Automation for Embedded Systems, Available online 20 March 2017, http://link.springer.com/article/10.1007/s10617-017-9182-z

4. “Towards the Tools Selection in Model Based System Engineering for Embedded Systems - A Systematic Literature Review”, Muhammad Rashid, Muhammad Waseem Anwar, Aamir M. Khan, Journal of Systems and Software, Available online 8 May 2015, doi:10.1016/j.jss.2015.04.089 (Impact Factor 1.381)   Download here

1. “Bridging the Gap between Design and Verification of Embedded Systems in Model Based System Engineering - A Meta-model for Modeling Universal Verification Methodology (UVM) Test Benches”, Muhammad Waseem Anwar, Shumaila Qamar, Farooque Azam, Wasi Haider Butt and Muhammad Rashid, 12th International Conference on Computer Modeling and Simulation (ICCMS 2020), Brisbane Australia.

2. “A Natural Language Processing (NLP) Framework for Embedded Systems to Automatically Extract Verification Aspects from Textual Design Requirements”, Muhammad Waseem Anwar, Imran Ahsan, Farooque Azam, Wasi Haider Butt and Muhammad Rashid, 12th International Conference on Computer and Automation Engineering (ICCAE 2020), Sydney Australia.

3. "Exploring the Platform for Expressing SystemVerilog Assertions in Model Based System Engineering”, Muhammad Rashid, Muhammad Waseem Anwar, Farooque Azam and Muhammad Kashif , ICISA 2016, Lecture Notes in Electrical Engineering, Springer 2016, Vol. 376, pages 533-544.

4. “Model-Based Requirements and Properties Specifications Trends for Early Design Verification of Embedded Systems”, Muhammad Rashid, Muhammad Waseem Anwar, Farooque Azam and Muhammad Kashif, IEEE 11th System of Systems Engineering Conference (SoSE) 2016, June 12-16, Kongsberg, Norway.

5. “A Systematic Investigation of Tools in Model Based System Engineering for Embedded Systems”, Muhammad Rashid, Muhammad Waseem Anwar, Aamir M. Khan, IEEE 11th System of Systems Engineering Conference (SoSE) 2016, June 12-16, Kongsberg, Norway.    Download here

6. “Identification of Trends for Model Based Development of Embedded Systems”, Muhammad Rashid, Muhammad Waseem Anwar, Aamir M. Khan, 12th IEEE International Symposium on Programming and Systems (ISPS), April 2015, Algiers, Algeria.    Download here