Author of the publication

A Framework for Model Checking Web Service Compositions Based on BPEL4WS.

, , and . ICEBE, page 165-172. IEEE Computer Society, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Data Partitioning and Redundancy Management for Robust Multi-Tenancy SaaS., , , and . Int. J. Software and Informatics, 4 (3): 437-471 (2010)Special issue on "Trustworthy Software Systems for the Digital Society"., , and . Journal of Systems and Software, (2014)Dependence-Guided Service Composition for User-Centric SOA., , , and . IEEE Systems Journal, 8 (3): 889-899 (2014)WSDL-based automatic test case generation for Web services testing., , , and . SOSE, page 207-212. IEEE Computer Society, (2005)SaaS Testing on Clouds - Issues, Challenges and Needs., , , and . SOSE, page 409-415. IEEE Computer Society, (2013)Testing as a Service (TaaS) on Clouds., , , and . SOSE, page 212-223. IEEE Computer Society, (2013)A multi-agent based framework for collaborative testing on Web services., , , and . SEUS/WCCIA, page 205-210. IEEE Computer Society, (2006)Design of a Contract-Based Web Services QoS Management System., , , and . ICDCS Workshops, page 306-311. IEEE Computer Society, (2009)Scalable Architectures for SaaS., , , and . ISORC Workshops, page 112-117. IEEE Computer Society, (2012)Role-based trust model for community of interest., , , and . SOCA, page 1-8. IEEE Computer Society, (2009)