Yasmin Rafiq

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 2

Top Topics

Formal Verification

Adaptive Learning

Confidence Intervals

Online Social Networks

Top Venues

IEEE Trans. Reliab.

Publications

Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, Bashar Nuseibeh
Learning to share: engineering adaptive decision-support for online social networks. ASE (2017)
Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Trans. Reliab. 65 (1) (2016)
Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, Mehmet Emin Bakir
Adaptive model learning for continual verification of non-functional properties. ICPE (2014)
Radu Calinescu, Yasmin Rafiq
Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. TASE (2013)
Radu Calinescu, Kenneth Johnson, Yasmin Rafiq
Developing self-verifying service-based systems. ASE (2013)
Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov
Continual Verification of Non-Functional Properties in Cloud-Based Systems. NiM-ALP@MoDELS (2013)
Radu Calinescu, Kenneth Johnson, Yasmin Rafiq
Using observation ageing to improve markovian model learning in QoS engineering. ICPE (2011)