Research

Current Research Topics
 
I am currently interested on following research topics: 
 
Model Verification
 
UML Model Verification
 
UML Class Diagrams Verification with OCL Constraints for Complex Models 
 
Formal Verification 
 
Feedback Tehcnique for Unsatisfiable UML/OCL Class Diagrams 
 
 
 
Service Oriented Architecture (SOA) 
 
Interoperability in Tele-medicine
 
Use of SOA in Tele-medicine health-care system. 
 
 
 
Model Driven Development (MDD)
 
Model Tranforamtion Using MDD
 
Verification Using MDD 
 
 
 
Funded Research Projects (FPR) 
 
Research Title : Modified Levensthein Distance for Duplicate Detection
Investigators : Asadullah Shaikh and Muniba Memon 
Grant No. : NU/ESCI/14/52 Najran University 
Start Date : January 2015
Start Date : January 2016
FPR. Status : In last Phase 
 
 
 
Research Title : Enhancing the Quality Of Service For Real Time Traffic Over Optical Burst 
Investigators : Muhammad Abdullatef Ali Al-shargabi and Asadullah Shaikh 
Grant No. : NU/ESCI/14/53 Najran University 
Start Date : January 2015
Start Date : January 2016
FPR. Status : Completed
 
 
 
 
 
 
 
 
 
 
 
-- Find my list of Publications.
-- My Google Scholar Citations. 
-- My publications DBLP Indexing. 
-- My Google Scholar Indexing. 
-- My ORCID ID 0000-0003-4806-6159. 
-- My ResearcherID S-4815-2016
 
 
 
 
Previous Project I was involved during my master and PhD studies.
 
Methods and Concepts for Efficient Verification of UML/OCL Models at University of Southern Denmark, Odense, Denmark. From 2010-2013.
 
A System Design for a Telemedicine Health Care System at G?teborg University, G?teborg, Sweden. From 2005-2007.
 
UMLtoCSP (UML/OCL Slicing Technique) (UOST) From 2008- til date