Kassem Saleh

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 3

Top Topics

Privacy Preserving

Top Venues

Comput. Commun.

Publications

Khadeejah Abdullah, Kassem Saleh, Paul Manuel
Blockchain Adoption in Education with Enhancing Data Privacy. WorldCIST (3) (2024)
Nidal Nasser, Nargis Khan, Lutful Karim, Mohamed ElAttar, Kassem Saleh
An efficient Time-sensitive data scheduling approach for Wireless Sensor Networks in smart cities. Comput. Commun. 175 (2021)
Nidal Nasser, Nargis Khan, Mohamed El-Attar, Kassem Saleh, Amjad Abujamous
An Efficient Data Scheduling Scheme for Cloud- Based Big Data Framework for Smart City. GLOBECOM (2019)
Nidal Nasser, Anwar Alyatama, Kassem Saleh
Zone-based routing protocol with mobility consideration for wireless sensor networks. Telecommun. Syst. 52 (4) (2013)
Jehad Al-Dallal, Kassem Saleh
State-expansion-based techniques for synthesizing concurrent protocol specifications in distributed systems. Int. J. Commun. Syst. 26 (9) (2013)
Anwar Alyatama, Kassem Saleh, Nidal Nasser
A Novel Hierarchical and Heterogeneous Mobile Agent-Based Wireless Sensor Networks (HHMA-WSN) Architecture. J. Next Gener. Inf. Technol. 3 (4) (2012)
Jehad Al-Dallal, Kassem Saleh
Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification. J. Comput. Sci. Technol. 27 (6) (2012)
Nidal Nasser, Anwar Alyatama, Kassem Saleh
Mobility and routing in Wireless Sensor Networks. CCECE (2011)
Ibrahim Al Kattan, Ahmed Al Nunu, Kassem Saleh
A Stochastic Model for Improving Information Security in Supply Chain Systems. Int. J. Inf. Syst. Supply Chain Manag. 2 (3) (2009)
Sk. Md. Mizanur Rahman, Nidal Nasser, Kassem Saleh
Identity and Pairing-Based Secure Key Management Scheme for Heterogeneous Sensor Networks. WiMob (2008)
Jehad Al-Dallal, Kassem Saleh
Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications. J. Comput. Networks Commun. 2008 (2008)
Kassem Saleh, Christo El-Morr, Aref Mourtada, Yahya Morad
A mobile-agent platform and a game application specifications using M-UML. Electron. Libr. 22 (1) (2004)
Kassem Saleh, Christo El-Morr
M-UML: an extension to UML for the modeling of mobile agent-based software systems. Inf. Softw. Technol. 46 (4) (2004)
Kassem Saleh, Christo El-Morr, Aref Mourtada, Yahya Morad
Specifications for a Mobile-Agent Platform and an Internet-Based Mobile Electronic Voting Application. International Conference on Internet Computing (2003)
Kassem Saleh, Robert L. Probert, W. Li, W. Fong
An approach for high-yield requirements capture for e-commerce and its application. Int. J. Digit. Libr. 3 (4) (2002)
Kassem Saleh
Documenting electronic commerce systems and software using the unified modeling language. Inf. Softw. Technol. 44 (5) (2002)
Kassem Saleh, Rainer Koppler, C. Demarais
Distributed Object Computing and its Application in Electronic Commerce Systems. AICCSA (2001)
Kassem Saleh, Abdel Aziz Boujarwah, Jehad Al-Dallal
Anomaly detection in concurrent Java programs using dynamic data flow analysis. Inf. Softw. Technol. 43 (15) (2001)
Kassem Saleh, Salim Tariq, Muhammad K. Dhodhi
Current issues in high-speed networks. Comput. Commun. 24 (17) (2001)
Muhammad K. Dhodhi, Ahmed E. Kamal, Kassem Saleh, Salim Tariq
MSA: a modular switching architecture for packet transport over ultra-dense WDM networks. ICC (2001)
Muhammad K. Dhodhi, Salim Tariq, Kassem Saleh
Bottlenecks in next generation DWDM-based optical networks. Comput. Commun. 24 (17) (2001)
Hasan Ural, Kassem Saleh, Alan W. Williams
Test generation based on control and data dependencies within system specifications in SDL. Comput. Commun. 23 (7) (2000)
Abdulazeez S. Boujarwah, Kassem Saleh, Jehad Al-Dallal
Dynamic data flow analysis for Java programs. Inf. Softw. Technol. 42 (11) (2000)
Abdulazeez S. Boujarwah, Kassem Saleh, Jehad Al-Dallal
Testing Java Programs Using Dynamic Data Flow Analysis. SAC (2) (2000)
Abdulazeez S. Boujarwah, Kassem Saleh, Jehad Al-Dallal
Testing Syntax and Semantic Coverage of Java Language Compilers. Inf. Softw. Technol. 41 (1) (1999)
Mansour H. A. Jaragh, Kassem Saleh
Synthesis of communications protocol converters using the timed Petri net model. J. Syst. Softw. 47 (1) (1999)
Kassem Saleh, Robert L. Probert, Khaled Al-Saqabi
Recovery of CFSM-based protocol and service design from protocol execution traces. Inf. Softw. Technol. 41 (11-12) (1999)
Kassem Saleh
Object model in Java: elements and application. Inf. Softw. Technol. 41 (4) (1999)
Kassem Saleh, Robert L. Probert, Hassib Khanafer
The distributed object computing paradigm: concepts and applications. J. Syst. Softw. 47 (2-3) (1999)
Rachida Dssouli, Kamel Karoui, Kassem Saleh, Omar Cherkaoui
Communications software design for testability: specification transformations and testability measures. Inf. Softw. Technol. 41 (11-12) (1999)
Kassem Saleh, Robert L. Probert
Communications software engineering (CSE). Inf. Softw. Technol. 41 (11-12) (1999)
Rachida Dssouli, Kassem Saleh, El Mostapha Aboulhamid, Abdeslam En-Nouaary, C. Bourhfir
Test development for communication protocols: towards automation. Comput. Networks 31 (17) (1999)
Kassem Saleh, Hassib Khanafer, Robert L. Probert, Hasan Ural
Corba-Based Telecom Application of Distributed Object Computing. Applied Informatics (1999)
Kassem Saleh, Mansour H. A. Jaragh
Synthesis of protocol converters: an annotated bibliography. Comput. Stand. Interfaces 19 (2) (1998)
Kassem Saleh, Khaled Al-Saqabi
Error detection and diagnosis for fault tolerance in distributed systems. Inf. Softw. Technol. 39 (14-15) (1998)
Kassem Saleh, Mansour H. A. Jaragh
Synthesis of communications protocol converters: survey and assessment. Comput. Commun. 21 (8) (1998)
Ahmed Khoumsi, Kassem Saleh
Two formal methods for the synthesis of discrete event systems. Comput. Networks ISDN Syst. 29 (7) (1997)
Abdulazeez S. Boujarwah, Kassem Saleh
Compiler test case generation methods: a survey and assessment. Inf. Softw. Technol. 39 (9) (1997)
Khaled Al-Saqabi, Syed Mansoor Sarwar, Kassem Saleh
Distributed gang scheduling in networks of heterogenous workstations. Comput. Commun. 20 (5) (1997)
Kassem Saleh, Abdulazeez S. Boujarwah
Communications software reverse engineering: a semi-automatic approach. Inf. Softw. Technol. 38 (6) (1996)
Kassem Saleh, M. Ilangovan, Robert L. Probert
Recovery of Communications Protocol Design from Run Time Protocol Traces. ICECCS (1996)
Kassem Saleh
Synthesis of communications protocols: an annotated bibliography. Comput. Commun. Rev. 26 (5) (1996)
Abdulazeez S. Boujarwah, Nadia Al-Seif, Kassem Saleh
Modelling the semantics of multitasking facilities in Concurrent C using Petri nets. Inf. Softw. Technol. 38 (1) (1996)
Khaled Al-Saqabi, Kassem Saleh, Imtiaz Ahmad
Recovery From Concurrent Failures in Communication Protocols. J. Syst. Softw. 35 (1) (1996)
Kassem Saleh
Editorial. Comput. Commun. 19 (14) (1996)
Khaled Al-Saqabi, Kassem Saleh
An efficient process migration algorithm for homogeneous clusters. Inf. Softw. Technol. 38 (9) (1996)
Kassem Saleh, Imtiaz Ahmad, Khaled Al-Saqabi, Anjali Agarwal
Recovery Approach to the Design of Stabilizing Communication Protocols. Comput. Commun. 18 (4) (1995)
Imtiaz Ahmad, Muhammad K. Dhodhi, Kassem Saleh
An evolutionary technique for local microcode compaction. Microprocess. Microsystems 19 (8) (1995)
Muhammad K. Dhodhi, Imtiaz Ahmad, Kassem Saleh
Task Scheduling Using an Evolutionary Technique. Parallel and Distributed Computing and Systems (1995)
Robert L. Probert, Kassem Saleh, Hualong Yu
Validation-directed specification of communications systems. Inf. Softw. Technol. 37 (8) (1995)
Abdulazeez S. Boujarwah, Kassem Saleh
Compiler test suite: evaluation and use in an automated test environment. Inf. Softw. Technol. 36 (10) (1994)
Kassem Saleh, Imtiaz Ahmad, Khaled Al-Saqabi, Anjali Agarwal
An efficient recovery procedure for fault tolerance in distributed systems. J. Syst. Softw. 25 (1) (1994)
Kassem Saleh, Hasan Ural, Anjali Agarwal
Modified distributed snapshots algorithm for protocol stabilization. Comput. Commun. 17 (12) (1994)
Kassem Saleh, Anjali Agarwal
Efficient checkpointing procedures for fault tolerant distributed systems. Microprocess. Microprogramming 40 (6) (1994)
Robert L. Probert, Kassem Saleh
Synthesis of Communication Protocols: Survey and Assessment. IEEE Trans. Computers 40 (4) (1991)
Kassem Saleh, Robert L. Probert
Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. ICCI (1990)