Fast parametric model checking through model fragmentation X Fang, R Calinescu, S Gerasimou, F Alhwikem 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 25 | 2021 |
A systematic approach for designing mutation operators for MDE languages FHM Alhwikem, RF Paige, LM Rose, RD Alexander York, 2016 | 15 | 2016 |
Evolutionary-guided synthesis of verified pareto-optimal MDP policies S Gerasimou, J Cámara, R Calinescu, N Alasmari, F Alhwikem, X Fang 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 8 | 2021 |
Software performability analysis using fast parametric model checking X Fang, R Calinescu, S Gerasimou, F Alhwikem arXiv preprint arXiv:2208.12723, 2022 | 1 | 2022 |
Fast Parametric Model Checking with Applications to Software Performability Analysis X Fang, R Calinescu, S Gerasimou, F Alhwikem IEEE Transactions on Software Engineering, 2023 | | 2023 |
Fast Parametric Model Checking. X Fang, R Calinescu, S Gerasimou, F Alhwikem CoRR, 2022 | | 2022 |
A Novel Approach to Mutation Operator Design for MDE Languages FHM Alhwikem University of York, 2019 | | 2019 |