Students

Software Evolution

Name	Project Title:
Jianchu Huang	A Model-based Approach to Reengineering for a Ubiquitous Computing Environment.

Semantic Web and Service-oriented Computing

Name	Project Title:
Khalid Aldrawiesh	A security Policy Architecture for Web Services Environment.
Yelena Chernikova	Ontology as the Means of Formal Description of Educational Process at University.
Pavel Nikolaev	Combined Course Programmes Support System.
Stanimir Stojanov	eLearning System Architectures.
Faisal Alsharif	Investigation the factors affecting the adoption and acceptance of e-commerce in Saudi Arabia.
Abdulghani Suwan	Policy based approach for mobility within Grid Computing.
Rajwinder Singh Brar	New Techniques to Develop a Semantic Web & E-commerce Search Engine
Abdullah Alotaibi	E-Commerce fair exchange protocol used for exchanging a product

Name	Project Title:
Abdullah Al Hussein	Dependability through Quality Assurance
Mohamed Amaimin	The Management of Large-scale IT Development Project
Fayez Eid Alazemi	Feature-Based Approach to Bridge the Information Technology and Business Gap
Fahad Alshathry	Building a Decision Support System to Integrate Digital Evidence in Forensic Investigation
Turki Alghamdi	Real-Time Tracking and Monitoring for E-learning Environments

Name	Project Title:
Mouhamad Aldajani	Health Service Security Policies
Najah Alfaize	The impacts of religion and culture on applications of computer forensics
Ali M G Alzahrani	Efficient Enforcement of Security Policies in Distributed Systems.
Abdullah Almarshad	Trust, risk and uncertainty in e-banking.
Alnajjar Adeeb Ali	Using hardware information in profiling users activity for attack tracking
Hamza Al Dabbas	Dissemination control and trust management in VANETs
Emad Shafie	Detection and protection against web application vulnerability
Sulaiman Al Amro	Behavioural detection of virusses using AnaTempura

Name	Project Title:
Amin El-Kustaban	Modelling Transactional Memory using Interval Temporal Logic
Sami Alsarhani	Past Time Operators in Interval Temporal Logic and it's Tool Tempura
Yazed Alsaawy	A Formal Behavioral Malware Detection Mechanism
Amr Jadi	Runtime Monitoring of Risk analysis in Reactive system
Bader Alouffi	Runtime verification of hybrid systems

Name	Project Title:
Majdah Alsharif
Saad AlMutairi
Meshrif Alruily
Fathia Lahwal
Abdullah Bajahzar
Tagreed Al-Sulimani
Awatef Rahuma
Nasser Abwnawar
Sameer A Nooh
Hind Alotaibi
Abdullah Dabil
Christian Bacherler
Khalid Allehaibi
Tian Jingchun
Shang Zheng
Tariq Alwada'n
Shaden Alghamdi
Abeer Almakky
Abdulmalik Alhammad
Laila Alhimle
Abdullah Al Hathal
Abdulgader Almutairi
Hui Guan
Turki Almotery
Abdullah Barnawi
Ahmed Alalshubai
Abdullah Al Harith
Hosam Alhakami
Muslit Alotaibi
Yarong Li
Mohammed Almosa
Zhou Zhang
Asma Al Ahargabi
Hani Alquahayz
Falah Alshahrany
Delin Jing
Rayed Alkhorayef
Mohammad Alem
David Smallwood
Yasser Almajed
Saud Almutairi
Markus Meier
Ahmed Alghamdi
Khalid Saeed Alghamdi
Khaled Alodadi
Minahi Hamed Bejad Alotaibi
Adel Alshahrani
Salem Almarri
Mansour Habib Al-Qattan
Fahad Mosalm A Alanazi
Faisal Abdulaziz S Alghamdi
Dhafer Alhalafi
Abeer Alhamli
Hamad Alharbi
Hamad Mofurrh Alnufaie
Fahad Mazaed Alotaibi
Saif Jamal Makki Al-Sultan
Abeer Baslem
Ahmed Massoud Alsuwiey Massoud
Musaab Zeyad Abdulrazzaq Aswad
Tareq Abdullah Binjammaz
Fahad Alqahtani
Mafawez Alharbi
Fahad Naser Alqahtani
Abdullah Aldawsari
Mansour Al-Shumari
Saleh Abdulrahman S Alumaran
Jingyi Wu
Xuan Wang
Abdulhamid Alshammari
Awad Alyami
Nayef Hmoud Alshammari
Abdulaziz Abdwlah Zaenalabedeen
Nasser Albaqami
Waleed Ibrahim Alghanim
Abdullah Nafea Jabal AlShammari
Abdullah Farhan M Alzahrani
Ahmad Nabil Soueid