Volgen
Faisal Alhwikem | فيصل الحويكم
Faisal Alhwikem | فيصل الحويكم
Geverifieerd e-mailadres voor qu.edu.sa
Titel
Geciteerd door
Geciteerd door
Jaar
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
252021
A systematic approach for designing mutation operators for MDE languages
FHM Alhwikem, RF Paige, LM Rose, RD Alexander
York, 2016
152016
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
82021
Software performability analysis using fast parametric model checking
X Fang, R Calinescu, S Gerasimou, F Alhwikem
arXiv preprint arXiv:2208.12723, 2022
12022
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–7