Browse by Supervisor

Weber, Philip (2014). A framework for the analysis and comparison of process mining algorithms. University of Birmingham. Ph.D.

Bajwa, Imran Sarwar (2014). A natural language processing approach to generate SBVR and OCL. University of Birmingham. Ph.D.

Alruhaily, Nada Massoud (2018). Analysis and improvements of behaviour-based malware detection mechanisms. University of Birmingham. Ph.D.

Alwanain, Mohammed Ibrahim (2016). Automated composition of sequence diagrams. University of Birmingham. Ph.D.

Alansari, Marwah (2016). Automated managed cloud-platforms based on energy policies. University of Birmingham. Ph.D.

Alodib, Mohammed Ibrahim (2011). Creation, integrating and deployment of diagnoser for web services. University of Birmingham. Ph.D.

Al-Ajeli, Ahmed Khelfa Obeid (2017). Fourier-Motzkin methods for fault diagnosis in discrete event systems. University of Birmingham. Ph.D.

Shah, Seyyed Madasar Ali (2012). Model transformation dependability evaluation by the automated creation of model generators. University of Birmingham. Ph.D.

Geepalla, Emsaieb Mosbah (2013). Model-driven approaches to analysing time- and location- dependent access control specifications. University of Birmingham. Ph.D.

Murwantara, I Made (2016). The application of software product line engineering to energy management in the cloud and in virtualised environments. University of Birmingham. Ph.D.