Adel Khaled

Testing and Verification of Service Compositions

Adel Khaled, A. Khaled, 2016 .

Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies

James Miller, Adel Khaled, 2017, IEEE Transactions on Services Computing.

Chronological fault-based mutation processes for WS-BPEL 2.0 programs

James Miller, Adel Khaled, James Miller, 2010, Int. J. Web Eng. Technol..

A Service Oriented Architecture for CAX concurrent collaboration

James Miller, Yongsheng Ma, Adel Khaled, 2008, 2008 IEEE International Conference on Automation Science and Engineering.