|
|
|
|
|
|
|
|
|
To Reach Me UIA |
|
|
|
Research My interests are in software engineering, formal methods and semantic web, in particular it includes formal verification, service oriented architecture designing (SOA), cloud computing, programming languages and software testing. In the present situation, we are implementing certain verification techniques on UMLtoCSP project.
|
|
|
|
Publications Master Thesis Asadullah Shaikh and Muhammad Misbahuddin. A System Design For A Tele-Medicine Health Care System. Master Thesis, Department of Applied Information Technology IT University of Göteborg, Göteborg University and Chalmers University of Technology Sweden, ISSN: 1651-4769. September 2007. [ PDF ] International Books and Journals 1.
Asadullah
Shaikh; Sheeraz Ali; Nasrullah Memon and Panagiotis Karampelas. SOA Security Aspects in Web-Based
Architectural Design . Accepted in the Lecture Notes of Social
Networks (LNSN Series) by Springer. International Conferences and
Workshops 1. Asadullah Shaikh; Robert Clarisó; Uffe Kock Wiil; Nasrullah Memon. Verification-Driven Slicing of UML/OCL Models. Accepted for the 25th IEEE/ACM International Conference on Automated Software Engineering Antwerp, Belgium, 20-24 September 2010.
5. Asadullah Shaikh, Muniba Memon. The Role of Model Driven Architecture in Online Web-based Admission System. 8th National Research Conference (NRS) proceedings published by SZABIST Islamabad. [PDF]
Conferences Reviewer
3. 13th International Conference Information Visualisation (IV09), 14 - 17 July 2009.
Scientific Program Committee Member 1. IADIS International Conference (WWW/INTERNET 2009). 2. IADIS International Conference (WWW/INTERNET 2010).
Events · 17 July 2009 :- Presentation at Information Visualisation (IV 2009) Barcelona [Conference Program]. |
|
|
|
Last modified: Thursday June 10, 2010 by Asadulah Shaikh. |
|