web services

International Conferences

  1. S. Rosario, A. Benveniste, S. Haar, C. Jard. Probabilistic QoS and soft contracts for transaction based Web services. In ICWS, Pages 126-133, 2007. details
  2. S. Rosario, D. Kitchin, A. Benveniste, W. and Haar,S. Cook, C. Jard. Event Structure Semantics of ORC. In 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Brisbane, Australia, October 2007. details
  3. S. Rosario, A. Benveniste, S. Haar, C. Jard. Foundations for Web services Orchestrations: functional and QoS aspects. In ISOLA 2006, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. details

Invited Conferences

  1. A. Kattepur, S. Sen, B. Baudry, A. Benveniste, C. Jard. Pairwise testing of dynamic composite services. In 6th international symposium on Software engineering for adaptive and self-managing systems (SEAMS), SEAMS '11, Pages 138-147, New York, NY, USA, 2011. details download
  2. B. Masson, L. Hélouet, A. Benveniste. Compatibility between DAXML Schemas. March 2011. details pdf

Research Reports

  1. S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar, C. Jard. Event Structure Semantics of Orc. Research Report IRISA, No 1853, 2007. details
  2. S. Rosario, A. Benveniste, S. Haar, C. Jard. Net systems semantics of Web Services Orchestrations modeled in ORC. Research Report IRISA, No 1780, 2006. details

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic