Faisal Alhwikem

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 6

Top Topics

Temporal Properties

Verification Method

Finite State Machines

Top Venues

IEEE Trans. Software Eng.

Publications

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking With Applications to Software Performability Analysis. IEEE Trans. Software Eng. 49 (10) (2023)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking. CoRR (2022)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking through Model Fragmentation. ICSE (2021)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking through Model Fragmentation. CoRR (2021)
Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE (2021)
Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander
A Systematic Approach for Designing Mutation Operators for MDE Languages. MoDeVVa@MoDELS (2016)