Faisal Alhwikem

According to our database, Faisal Alhwikem authored at least 6 papers between 2016 and 2023.

Collaborative distances:

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

2023

Fast Parametric Model Checking With Applications to Software Performability Analysis.

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

IEEE Trans. Software Eng., October, 2023

2022

Fast Parametric Model Checking.

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

CoRR, 2022

2021

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies.

Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Fast Parametric Model Checking through Model Fragmentation.

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2019

A novel approach to mutation operator design for MDE languages.

Faisal Alhwikem

PhD thesis, 2019

2016

A Systematic Approach for Designing Mutation Operators for MDE Languages.

Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016