Research output per year
Research output per year
-
Fast Parametric Model Checking with Applications to Software Performability Analysis
Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 1 Oct 2023, In: IEEE Transactions on Software Engineering . 49, p. 4707-4730 14 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies
Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 20 Jan 2022, 36th IEEE/ACM International Conference on Automated Software Engineering. IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Fast Parametric Model Checking through Model Fragmentation
Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 7 May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). ACMResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile