| Center for Software Dependability |
| |
| Publications |
Year: 2004 |
| |
| Ch. Ali Asad, Muhammad Irfan Ullah, M. Jaffar-ur-Rehman, "An Approach for Software Reliability Model Selection", The 28th International Computer Software and Applications Conference, COMPSAC 2004, Hong Kong, Sept. 28-30, 2004. [Link] |
| |
M. Mohsin Malik, Muhammad Irfan Ullah, M. Jaffar-ur-Rehman, Hajra Asghar, "An Attribute-based Comparison of Software Design Inspection Techniques", The 8th IEEE International Multitopic Conference, December 24-26, Lahore, Pakistan, 2004. [Link]
|
| |
| M. Masud Khokhar, M. Jaffar-ur-Rehman, Aamer Nadeem, "Using Fault-Tolerant Mobile Agents for Peer Discovery in P2P Networks", IEEE International Conference on Software Engineering and Applications, ICSEA'2004, December 30-31, 2004, Islamabad, Pakistan. |
| |
| Adnan Ashraf, M. Jaffar-ur-Rehman, Aamer Nadeem, Muhammad Irfan Ullah, "Automated Test Case Generation from Object-Z Specifications", International Conference on Software Engineering and Applications, ICSEA'2004, December 30-31, 2004, Islamabad, Pakistan. |
| |
| Shaukat Ali, M. Jaffar-ur-Rehman, "Constructing Software Fault Trees for Prolog Programs", IADIS International Conference on Applied Computing, 2005. |
| |
| Shaukat Ali, Ahmed Nadeem Siddiqui, "A Comprehensive Study on Date Viruses", Science Technology and Development - A Quarterly Journal, Pakistan Council for Science and Technology, Vol. 23, No. 2, April - June 2004. |
| |
| Shaukat Ali, M. Jaffar-ur-Rehman, Aamer Nadeem, "Safety Analysis of Embedded Systems", Workshop on Embedded Systems, National Institute of Electronics, November 2004. |
| |
| Shaukat Ali, M. Jaffar-ur-Rehman, Aamer Nadeem, "An Enhanced Fault Tree Analysis using Hidden Markov Model", International Workshop on Software Systems, IWSS 2004. |
| |
| M. Uzair Khan, M. Jaffar-ur-Rehman, Aamer Nadeem, "A Framework for Development of Fault Tolerant Applications", International Workshop on Software Systems, IWSS 2004. |
| |
| M. Masud Khokhar, M. Jaffar-ur-Rehman, Aamer Nadeem, "Heuristic for Identifying Error-Prone Segments of Code", International Workshop on Software Systems, IWSS 2004. |
| |
| |
|
|
| |
|
|
| |
Research Groups |
|
| |
|
|
| |
| Faculty of
Engineering and Applied Sciences |
| |
|
| |
|
| |
|
| |
|
| Faculty of Management & Social Sciences |
| |
|
| |
|
| |
|
|
|
| |
|
|
|
