Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. - Kassem Saleh; Robert L. Probert (ICCI, 1990)

Synthesis of Communication Protocols: Survey and Assessment. - Robert L. Probert; Kassem Saleh (IEEE Trans. Computers, 1991)

Modified distributed snapshots algorithm for protocol stabilization. - Kassem Saleh; Hasan Ural; Anjali Agarwal (Comput. Commun., 1994)

Compiler test suite: evaluation and use in an automated test environment. - Abdulazeez S. Boujarwah; Kassem Saleh (Inf. Softw. Technol., 1994)

Efficient checkpointing procedures for fault tolerant distributed systems. - Kassem Saleh; Anjali Agarwal (Microprocess. Microprogramming, 1994)

An efficient recovery procedure for fault tolerance in distributed systems. - Kassem Saleh; Imtiaz Ahmad; Khaled Al-Saqabi; Anjali Agarwal (J. Syst. Softw., 1994)

Task Scheduling Using an Evolutionary Technique. - Muhammad K. Dhodhi; Imtiaz Ahmad; Kassem Saleh (Parallel and Distributed Computing and Systems, 1995)

Recovery Approach to the Design of Stabilizing Communication Protocols. - Kassem Saleh; Imtiaz Ahmad; Khaled Al-Saqabi; Anjali Agarwal (Comput. Commun., 1995)

Validation-directed specification of communications systems. - Robert L. Probert; Kassem Saleh; Hualong Yu (Inf. Softw. Technol., 1995)

An evolutionary technique for local microcode compaction. - Imtiaz Ahmad; Muhammad K. Dhodhi; Kassem Saleh (Microprocess. Microsystems, 1995)

Recovery of Communications Protocol Design from Run Time Protocol Traces. - Kassem Saleh; M. Ilangovan; Robert L. Probert (ICECCS, 1996)

Synthesis of communications protocols: an annotated bibliography. - Kassem Saleh (Comput. Commun. Rev., 1996)

Editorial. - Kassem Saleh (Comput. Commun., 1996)

An efficient process migration algorithm for homogeneous clusters. - Khaled Al-Saqabi; Kassem Saleh (Inf. Softw. Technol., 1996)

Modelling the semantics of multitasking facilities in Concurrent C using Petri nets. - Abdulazeez S. Boujarwah; Nadia Al-Seif; Kassem Saleh (Inf. Softw. Technol., 1996)

Communications software reverse engineering: a semi-automatic approach. - Kassem Saleh; Abdulazeez S. Boujarwah (Inf. Softw. Technol., 1996)

Recovery From Concurrent Failures in Communication Protocols. - Khaled Al-Saqabi; Kassem Saleh; Imtiaz Ahmad (J. Syst. Softw., 1996)

Two formal methods for the synthesis of discrete event systems. - Ahmed Khoumsi; Kassem Saleh (Comput. Networks ISDN Syst., 1997)

Distributed gang scheduling in networks of heterogenous workstations. - Khaled Al-Saqabi; Syed Mansoor Sarwar; Kassem Saleh (Comput. Commun., 1997)

Compiler test case generation methods: a survey and assessment. - Abdulazeez S. Boujarwah; Kassem Saleh (Inf. Softw. Technol., 1997)

Synthesis of communications protocol converters: survey and assessment. - Kassem Saleh; Mansour H. A. Jaragh (Comput. Commun., 1998)

Synthesis of protocol converters: an annotated bibliography. - Kassem Saleh; Mansour H. A. Jaragh (Comput. Stand. Interfaces, 1998)

Error detection and diagnosis for fault tolerance in distributed systems. - Kassem Saleh; Khaled Al-Saqabi (Inf. Softw. Technol., 1998)

Corba-Based Telecom Application of Distributed Object Computing. - Kassem Saleh; Hassib Khanafer; Robert L. Probert; Hasan Ural (Applied Informatics, 1999)

Test development for communication protocols: towards automation. - Rachida Dssouli; Kassem Saleh; El Mostapha Aboulhamid; Abdeslam En-Nouaary; C. Bourhfir (Comput. Networks, 1999)

Testing Syntax and Semantic Coverage of Java Language Compilers. - Abdulazeez S. Boujarwah; Kassem Saleh; Jehad Al-Dallal (Inf. Softw. Technol., 1999)

Communications software design for testability: specification transformations and testability measures. - Rachida Dssouli; Kamel Karoui; Kassem Saleh; Omar Cherkaoui (Inf. Softw. Technol., 1999)

Object model in Java: elements and application. - Kassem Saleh (Inf. Softw. Technol., 1999)

Communications software engineering (CSE). - Kassem Saleh; Robert L. Probert (Inf. Softw. Technol., 1999)

Recovery of CFSM-based protocol and service design from protocol execution traces. - Kassem Saleh; Robert L. Probert; Khaled Al-Saqabi (Inf. Softw. Technol., 1999)

Synthesis of communications protocol converters using the timed Petri net model. - Mansour H. A. Jaragh; Kassem Saleh (J. Syst. Softw., 1999)

The distributed object computing paradigm: concepts and applications. - Kassem Saleh; Robert L. Probert; Hassib Khanafer (J. Syst. Softw., 1999)

Testing Java Programs Using Dynamic Data Flow Analysis. - Abdulazeez S. Boujarwah; Kassem Saleh; Jehad Al-Dallal (SAC (2), 2000)

Test generation based on control and data dependencies within system specifications in SDL. - Hasan Ural; Kassem Saleh; Alan W. Williams (Comput. Commun., 2000)

Dynamic data flow analysis for Java programs. - Abdulazeez S. Boujarwah; Kassem Saleh; Jehad Al-Dallal (Inf. Softw. Technol., 2000)

Distributed Object Computing and its Application in Electronic Commerce Systems. - Kassem Saleh; Rainer Koppler; C. Demarais (AICCSA, 2001)

MSA: a modular switching architecture for packet transport over ultra-dense WDM networks. - Muhammad K. Dhodhi; Ahmed E. Kamal 001; Kassem Saleh; Salim Tariq (ICC, 2001)

Bottlenecks in next generation DWDM-based optical networks. - Muhammad K. Dhodhi; Salim Tariq; Kassem Saleh (Comput. Commun., 2001)

Current issues in high-speed networks. - Kassem Saleh; Salim Tariq; Muhammad K. Dhodhi (Comput. Commun., 2001)

Anomaly detection in concurrent Java programs using dynamic data flow analysis. - Kassem Saleh; Abdel Aziz Boujarwah; Jehad Al-Dallal (Inf. Softw. Technol., 2001)

Documenting electronic commerce systems and software using the unified modeling language. - Kassem Saleh (Inf. Softw. Technol., 2002)

An approach for high-yield requirements capture for e-commerce and its application. - Kassem Saleh; Robert L. Probert; W. Li; W. Fong (Int. J. Digit. Libr., 2002)

Specifications for a Mobile-Agent Platform and an Internet-Based Mobile Electronic Voting Application. - Kassem Saleh; Christo El-Morr; Aref Mourtada; Yahya Morad (International Conference on Internet Computing, 2003)

A mobile-agent platform and a game application specifications using M-UML. - Kassem Saleh; Christo El-Morr; Aref Mourtada; Yahya Morad (Electron. Libr., 2004)

M-UML: an extension to UML for the modeling of mobile agent-based software systems. - Kassem Saleh; Christo El-Morr (Inf. Softw. Technol., 2004)

Identity and Pairing-Based Secure Key Management Scheme for Heterogeneous Sensor Networks. - Sk. Md. Mizanur Rahman; Nidal Nasser; Kassem Saleh (WiMob, 2008)

Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications. - Jehad Al-Dallal; Kassem Saleh (J. Comput. Networks Commun., 2008)

A Stochastic Model for Improving Information Security in Supply Chain Systems. - Ibrahim Al Kattan; Ahmed Al Nunu; Kassem Saleh (Int. J. Inf. Syst. Supply Chain Manag., 2009)

Mobility and routing in Wireless Sensor Networks. - Nidal Nasser; Anwar Alyatama; Kassem Saleh (CCECE, 2011)

Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification. - Jehad Al-Dallal; Kassem Saleh (J. Comput. Sci. Technol., 2012)

A Novel Hierarchical and Heterogeneous Mobile Agent-Based Wireless Sensor Networks (HHMA-WSN) Architecture. - Anwar Alyatama; Kassem Saleh; Nidal Nasser (J. Next Gener. Inf. Technol., 2012)

State-expansion-based techniques for synthesizing concurrent protocol specifications in distributed systems. - Jehad Al-Dallal; Kassem Saleh (Int. J. Commun. Syst., 2013)

Zone-based routing protocol with mobility consideration for wireless sensor networks. - Nidal Nasser; Anwar Alyatama; Kassem Saleh (Telecommun. Syst., 2013)

An Efficient Data Scheduling Scheme for Cloud- Based Big Data Framework for Smart City. - Nidal Nasser; Nargis Khan; Mohamed El-Attar 001; Kassem Saleh; Amjad Abujamous (GLOBECOM, 2019)

An efficient Time-sensitive data scheduling approach for Wireless Sensor Networks in smart cities. - Nidal Nasser; Nargis Khan; Lutful Karim; Mohamed ElAttar 001; Kassem Saleh (Comput. Commun., 2021)

Blockchain Adoption in Education with Enhancing Data Privacy. - Khadeejah Abdullah; Kassem Saleh; Paul D. Manuel (WorldCIST (3), 2024)