Ph. D
Research Interests:
1. Integration of safety and security requirements into system design.
2. Development of security integration patterns
3. Development of a graphical Role-based Access Control (RBAC) model
4. Translation of access control requirements into a formal specification language for model- checking
5. Development of a light-weight formal method for model-checking of complex access control requirements
Contact: saadzafar@riphah.edu.pk
Publications
S. Zafar, R. Colvin, K. Winter, N. Yatapanage, R. G. Dromey, “Early Validation and Verification of a Distributed Role-Based Access Control Model”, presented at Asia-Pacific Software Engineering Conference (APSEC), Nagoya, Japan, 2007 pp. 430-437.

S. Zafar, R. G. Dromey, R. Colvin, and K. Winter, “Verification of an Integrated Role-Based Access Control Model,” presented at 1st Asian Working Conference on Verified Software (AWCVS 2006), Macau, SAR, 2006 pp. 230-241.

E. Sithirasenan, S. Zafar, and V. Muthukkumarasamy, “Formal Verification of the IEEE 802.11i WLAN Security Protocol,” presented at Australian Software Engineering Conference (ASWEC ’06), Sydney, Australia, 2006.

S. Zafar and R. G. Dromey, “Integrating Safety and Security Requirements into Design of an Embedded System,” presented at Asia-Pacific Software Engineering Conference, Taipei, Taiwan, 2005 pp. 629-636

S. Zafar and R. G. Dromey, “Managing Complexity in Modelling Embedded Systems,” presented at Systems Engineering / Test and Evaluation Conference SETE2005, Brisbane, Australia, 2005

Ph. D (Japan)
Research Interests:
1. Object Oriented Technology
2. Unified Modeling Language (UML)
3. Design Patterns
4. Automatic Code Generation
5. Human Computer Interaction
Contact: ianiaz@riphah.edu.pk
Publications

Muhammad Imran, Iftikhar A. Niaz, Sajjad Haider, Naveed Hussain and M.A. Ansari, “Towards Optimal Fault Tolerant Scheduling in Computational Grid”, Proceedings of the IEEE Third International Conference on Emerging Technologies (ICET 2007), Islamabad, Pakistan, November 12-13, 2007, pp. 154-159

Sajjad Haider, Muhammad Imran, Iftikhar A. Niaz, Saeed Ullah and M.A. Ansari, “Component Based Proactive Fault Tolerant Scheduling in Computational Grid”, Proceedings of the IEEE Third International Conference on Emerging Technologies (ICET 2007), Islamabad, Pakistan, November 12-13, 2007, pp. 119-124.

Abdul Ghafoor, Arshad Ali, H. Farooq Ahmed and Iftikhar A. Niaz, “Interoperability: IEEE FIPA Compliant MAS with Web Services Resource Framework”, Proceedings of the Eighth International Conference on Information Integration and Web-based Applications and Services (iiWAS 2006), Yogyakarta, Indonesia, December 4-6, 2006, pp. 239-248.

Iftikhar A. Niaz and Jiro Tanaka, “An Object-Oriented Approach To Generate Java Code From UML Statecharts”, International Journal of Computer & Information Sciences (IJCIS), Vol. 6, No. 2, 2005, pp. 83-98.

Iftikhar A. Niaz and Jiro Tanaka, ``Mapping UML Statecharts To Java Code'', Proceedings of the IASTED International Conference on Software Engineering (SE 2004), Innsbruck, Austria, February 17-19, 2004, pp. 111-116.

Iftikhar A. Niaz and Jiro. Tanaka,``Code Generation From UML Statecharts'', Proceedings of the 7th IASTED International Conference on Software Engineering and Applications (SEA 2003), Marina Del Rey, USA, November 3-5, 2003, pp. 315-321. (Nominated for Best Conference Paper Award).

Ph. D – Computer Science (UK)
Research Interests:
1. Knowledge Discovery in Databases (KDD)
2. Data Mining
3. Pattern Recognition
4. Machine Learning
5. Algorithm Designing.
Contact: draziz@riphah.edu.pk
Publications:
Abdul A. Gill and George D. Smith. Improvement in consistency and accuracy in machine learning. Journal of Mathematical Modeling and Algorithms (to appear).

Abdul A. Gill and Nazir A. Zafar. Reduction in Over-Fitting for Classification without Compromising on Accuracy and Effectiveness. Fourth International Workshop on Frontiers of Information Technology, Islamabad, Pakistan December 20-21, (2006).

Abdul A. Gill and George D. Smith. The compound effect of boosting and stratified sampling on decision tree accuracy. Second IEEE International Conference on Emerging Technologies, Peshawar, Pakistan November 13-14, (2006), Pages 587-592.

Abdul A. Gill and George D. Smith. Application of prior weak knowledge and boosting technique for data classification. Journal Science International, Vol. 18, 4 (2006), Pages 259-262.

Abdul A. Gill, George D. Smith and Tony J. Bagnall. Improving decision tree performance through induction and cluster-based stratified sampling. Fifth International conference on Intelligent Data Engineering and Automated Learning Springer LNCS 3177, Exeter, UK. (2004), Pages 339-344.

Abdul A. Gill. Classification trees, improvement in terms of accuracy and effectiveness. Journal Science International, Vol. 16, 1 (2004), Pages 19-21.

Abdul A. Gill. Multi boosting approach in machine learning. Science Conference, Norwich, UK. (2002), Pages 123-130.

Abdul A. Gill. Electronic commerce, security issue and its role in today’s world. Journal Science International, Vol. 13, 4 (2001), Pages 319- 322.

Abdul A. Gill, Ali Mamat. An ideal strategy for dynamic load-balancing in parallel processing system. Journal Science International, Vol.13, 3 (2001), Pages 269-274.

Abdul A. Gill. Rational alternating groups and rational groups with normal prime order subgroups. Journal Science International, Vol.12, 2 (2000), Pages 205-206.

Abdul A. Gill. Conjecture of Metabelian ambivalent groups. Journal Science International, Vol.12, 2 (2000), Pages 131-132.

Abdul A. Gill. Ambivalent groups having strongly embedded subgroups. Journal Science International, Vol.12, 1 (2000), Pages 113-114.

MS – Information Systems (UK)
Research Interests:
1. Database Modeling
2. Relational and Object Oriented Databases
3. Data warehousing
4. Management Information Systems
5. Health Information systems
Contact: sabir@riphah.edu.pk
Publications:
Qamar, M. S. Suhaimi, M. D. Farooq, M. (2006) A Security Policy Model for Healthcare Information Systems, International Conference on Information and Communication Technology for the Muslim World (ICT4M) 2006, November 21-23, 2006, Kuala Lumpur, Malaysia

MS – Information Systems (UK)
Research Interests:
1. Databases
2. Life Sciences Applications
3. Process Improvement
4. Professional Ethics
Contact: mateen@riphah.edu.pk

MS – Computer Science (M.A.J.U)
Research Interests:
1. Impact of early incorporation inof NFR on S/W design
2. Design on term of reducing cost
Contact: rafiq@ripaha.edu.pk
Publications
Rafiq, S. (2006) Modeling NFR in activity Diagram, ISE 06, International Conference on Software Testing, Lahore, Pakistan.

Rafiq, S. (2006) Software Testing Problems in Pakistan Software Industry, ISE 06, International Conference on Software Testing, Lahore, Pakistan.

MS – Digital Media (Germany)
Contact: arifmustaq@riphah.edu.pk

MS – Systems & Software Engineering (M.A.J.U)
Research Interests:
1. Human Computer Interaction
2. Information Exploration Interfaces
Contact: musharif@riphah.edu.pk

MS – Computer Science (I.I.U.I)
Research Interests:
1. Languages, compilers, and automata theory.
2. Image processing, intelligent computer vision and visualization.
3. 3-D object reorganization, 3-D modeling, Data mining, and Artificial intelligence.
4. Computer Graphics.
Contact: yasser@riphah.edu.pk

MS – Computer Science (M.A.J.U)
Contact: sumera@riphah.edu.pk

MS – Computer Science (N.U.S.T)
Contact: slaeem@riphah.edu.pk

(Lecturer)
MS – Computer Science (I.I.U.I)
Research Interests:
1. Mobile networks
2. Mesh Networks
3. Network security and encryption
Contact: hadi@riphah.edu.pk
Publications:
Fazl-e-Hadi (2007) Adaptive Anycasting A new Anycasting protocol, International Conference on Integration Techniques, China.
.
Fazl-e-Hadi (2007) Effect of group size on Anycasting, International conference on Electrical Engineering, city Pakistan.

Fazl-e-Hadi (2007) MANET Multicasting on protocols, National conference on ICT, city Pakistan.

M. Phil - Computer Science (Qauid-I-Azam University)
Research Interests:
1. Frameworks and Architectures for multimedia Information Retrieval.
2. Multimodal query formulation and multimedia information presentation.
3. Multimedia document modeling and information organization
4. Human Computer Interaction
Contact: umerr@riphah.edu.pk
Publications:
Rashid, U., & Bhatti, M.A. (2007). Exploration and Management of Web Based Multimedia Information Resources. In SCS2 07, 3rd International Conference on Systems, Computing Sciences and Software Engineering, 3-12 December.

Rashid, U., & Bhatti, M.A. (2007), Enhanced Term-specific Smoothing using Document World Clusters. In CITA’07,5th International Conference on Information Technology in Asia, 9-12 July, pp. 140-144.

B.Sc – Software Engineering
(Riphah Institute of Informatics, U.E.T, Taxila)
Research Interests:
1. Wireless Mess Networks
2. Sensors Networks
3. Design and Optimization of Different protocols
Contact: atifss@gmail.com