Items where authors include "Alhwikem, Faisal"

Article

Fang, Xinwei, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (1 more author) (2023) Fast Parametric Model Checking with Applications to Software Performability Analysis. IEEE Transactions on Software Engineering. pp. 4707-4730. ISSN 0098-5589

Proceedings Paper

Gerasimou, Simos orcid.org/0000-0002-2706-5272, Camara Moreno, Javier orcid.org/0000-0001-6717-4775, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2022) Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. In: 36th IEEE/ACM International Conference on Automated Software Engineering. UNSPECIFIED. IEEE .

Fang, Xinwei, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (1 more author) (2021) Fast Parametric Model Checking through Model Fragmentation. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). UNSPECIFIED. ACM .