| Synthesis of communication protocols: survey and assessment RL Probert, K Saleh IEEE Transactions on Computers 40 (04), 468-476, 1991 | 141 | 1991 |
| Compiler test case generation methods: a survey and assessment AS Boujarwah, K Saleh Information and software technology 39 (9), 617-625, 1997 | 132 | 1997 |
| Test development for communication protocols: towards automation R Dssouli, K Saleh, E Aboulhamid, A En-Nouaary, C Bourhfir Computer Networks 31 (17), 1835-1872, 1999 | 120 | 1999 |
| Test generation based on control and data dependencies within system specifications in SDL H Ural, K Saleh, A Williams Computer Communications 23 (7), 609-627, 2000 | 76 | 2000 |
| M-UML: an extension to UML for the modeling of mobile agent-based software systems K Saleh, C El-Morr Information and Software Technology 46 (4), 219-227, 2004 | 62 | 2004 |
| Synthesis of communications protocols: an annotated bibliography K Saleh ACM SIGCOMM Computer Communication Review 26 (5), 40-59, 1996 | 54 | 1996 |
| The distributed object computing paradigm: concepts and applications K Saleh, R Probert, H Khanafer Journal of Systems and Software 47 (2-3), 125-131, 1999 | 48 | 1999 |
| Effort and cost allocation in medium to large software development projects K Saleh International Journal of Computer 5 (1), 74-79, 2011 | 47 | 2011 |
| Documenting electronic commerce systems and software using the unified modeling language K Saleh Information and Software Technology 44 (5), 303-311, 2002 | 46 | 2002 |
| Bottlenecks in next generation DWDM-based optical networks MK Dhodhi, S Tariq, KA Saleh Computer Communications 24 (17), 1726-1733, 2001 | 43 | 2001 |
| A service-based method for the synthesis of communications protocols K Saleh, R Probert International journal of mini & microcomputers 12 (3), 97-103, 1990 | 37 | 1990 |
| Capturing non-functional software requirements using the user requirements notation K Saleh, A Al-Zarouni The 2004 International Research Conference on Innovations in Information …, 2004 | 35 | 2004 |
| Distributed self-stabilizing algorithm for finding maximum matching MH Karaata, KA Saleh Comput Syst Sci Eng 15 (3), 175-180, 2000 | 33 | 2000 |
| Two formal methods for the synthesis of discrete event systems A Khoumsi, K Saleh Computer Networks and ISDN Systems 29 (7), 759-780, 1997 | 28 | 1997 |
| Automatic synthesis of protocol specifications from service specifications K Saleh, R Probert [1991 Proceedings] Tenth Annual International Phoenix Conference on …, 1991 | 28 | 1991 |
| Dynamic data flow analysis for Java programs AS Boujarwah, K Saleh, J Al-Dallal Information and Software Technology 42 (11), 765-775, 2000 | 27 | 2000 |
| Zone-based routing protocol with mobility consideration for wireless sensor networks N Nasser, A Al-Yatama, K Saleh Telecommunication Systems 52 (4), 2541-2560, 2013 | 25 | 2013 |
| Recovery approach to the design of stabilizing communication protocols K Saleh, I Ahmad, K Al-Saqabi, A Agarwal computer communications 18 (4), 276-287, 1995 | 25 | 1995 |
| Testing syntax and semantic coverage of Java language compilers AS Boujarwah, K Saleh, J Al-Dallal Information and Software Technology 41 (1), 15-28, 1999 | 21 | 1999 |
| Communications software reverse engineering: a semi-automatic approach K Saleh, A Boujarwah Information and Software Technology 38 (6), 379-390, 1996 | 20 | 1996 |
Joseph HashemWestern Carolina UniversityVerified email at wcu.edu
Joseph HashemWestern Carolina UniversityVerified email at wcu.edu