Using observation ageing to improve markovian model learning in QoS engineering. - Radu Calinescu; Kenneth Johnson; Yasmin Rafiq (ICPE, 2011)

Developing self-verifying service-based systems. - Radu Calinescu; Kenneth Johnson; Yasmin Rafiq (ASE, 2013)

Continual Verification of Non-Functional Properties in Cloud-Based Systems. - Radu Calinescu; Kenneth Johnson; Yasmin Rafiq; Simos Gerasimou; Gabriel Costa Silva; Stanimir N. Pehlivanov (NiM-ALP@MoDELS, 2013)

Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. - Radu Calinescu; Yasmin Rafiq (TASE, 2013)

Adaptive model learning for continual verification of non-functional properties. - Radu Calinescu; Yasmin Rafiq; Kenneth Johnson; Mehmet Emin Bakir (ICPE, 2014)

Online Markov chain learning for quality of service engineering in adaptive computer systems. - Yasmeen Rafiq (2015)

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. - Radu Calinescu; Carlo Ghezzi; Kenneth Johnson; Mauro Pezzè; Yasmin Rafiq; Giordano Tamburrelli (IEEE Trans. Reliab., 2016)

Learning to share: engineering adaptive decision-support for online social networks. - Yasmin Rafiq; Luke Dickens; Alessandra Russo; Arosha K. Bandara; Mu Yang; Avelie Stuart; Mark Levine; Gul Calikli; Blaine A. Price; Bashar Nuseibeh (ASE, 2017)

Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing. - Yasmin Rafiq; Gricel Vázquez; Radu Calinescu; Sanja Dogramadzi; Robert M. Hierons (CoRR, 2025)

Hybrid Control Strategies for Safe and Adaptive Robot-Assisted Dressing. - Yasmin Rafiq; Baslin A. James; Ke Xu; Robert M. Hierons; Sanja Dogramadzi (CoRR, 2025)