Kassem Saleh

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