A Systematic Approach for Designing Mutation Operators for MDE Languages. - Faisal Alhwikem; Richard F. Paige; Louis Rose; Rob Alexander (MoDeVVa@MoDELS, 2016)

A novel approach to mutation operator design for MDE languages. - Faisal Alhwikem (2019)

Fast Parametric Model Checking through Model Fragmentation. - Xinwei Fang; Radu Calinescu; Simos Gerasimou; Faisal Alhwikem (ICSE, 2021)

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. - Simos Gerasimou; Javier Cámara 001; Radu Calinescu; Naif Alasmari; Faisal Alhwikem; Xinwei Fang (ASE, 2021)

Fast Parametric Model Checking. - Xinwei Fang; Radu Calinescu; Simos Gerasimou; Faisal Alhwikem (CoRR, 2022)

Fast Parametric Model Checking With Applications to Software Performability Analysis. - Xinwei Fang; Radu Calinescu; Simos Gerasimou; Faisal Alhwikem (IEEE Trans. Software Eng., 2023)