Kassem Saleh - Concepedia

Author

Kassem Saleh

Also Known As

K Saleh, K. SALEH, K. Saleh, K.A. Saleh, KASSEM SALEH, Kassem A. Saleh, Kassem Saleh, Kassem Saleh -, Khaerudin Saleh, Khairul Saleh

108

Publications

814

Citations

H-Index

Concepts

All Affiliations

Kuwait University American University of Sharjah University of Ottawa Alfaisal University

About

Kassem Saleh is an author at Kuwait University specializing in engineering, formal methods, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	20	589
2	Computer Engineering	3	3	158
3	Communication	2	2	131
4	Business	1	1	10
5	Management	1	1	19

Kassem Saleh

Publications

600

Citations

H-Index

Page 1

	Year	Citations
Synthesis of communication protocols: survey and assessment Robert L. Probert, Kassem Saleh IEEE Transactions on Computers EngineeringSynthesis MethodsVerificationCommunicationFormal Verification	1991	95
Compiler test case generation methods: a survey and assessment A.S. Boujarwah, Kassem Saleh Information and Software Technology EngineeringProgram AnalysisSoftware TestingFormal MethodsComputer Engineering	1997	81
Test development for communication protocols: towards automation Rachida Dssouli, Kassem Saleh, E.M. Aboulhamid, Computer Networks EngineeringSystem TestingTest DevelopmentSoftware TestingAutomation	1999	71
Test generation based on control and data dependencies within system specifications in SDL Hasan Ural, Kassem Saleh, Alan Williams Computer Communications EngineeringData DependenciesVerificationTest Data GenerationSoftware Engineering	2000	52
Synthesis of communications protocols Kassem Saleh ACM SIGCOMM Computer Communication Review EngineeringVerificationSoftware EngineeringCommunicationFormal Verification	1996	36
M-UML: an extension to UML for the modeling of mobile agent-based software systems Kassem Saleh, Christo El Morr Information and Software Technology Agent Development ToolEngineeringMobile AgentSoftware SystemsFormal Methods	2003	33
Bottlenecks in next generation DWDM-based optical networks M.K. Dhodhi, S. Tariq, Kassem Saleh Computer Communications Free-space Optical NetworkPhotonicsEngineeringOptical NetworksComputer Engineering	2001	25
Dynamic data flow analysis for Java programs A.S. Boujarwah, Kassem Saleh, Jehad Al Dallal Information and Software Technology Software MaintenanceJava ProgramsEngineeringData FlowProgram Analysis	2000	20
Automatic synthesis of protocol specifications from service specifications Kassem Saleh, Robert L. Probert EngineeringInformation SecurityVerificationProtocol SpecificationsSoftware Analysis	2002	20
Documenting electronic commerce systems and software using the unified modeling language Kassem Saleh Information and Software Technology Unified Modeling LanguageEngineeringBusiness IntelligenceE-business ModelManagement	2002	19

Page 1