web services

International Conferences

  1. Debmalya Biswas. Web Services Discovery and Constraints Composition. In RR, Volume LNCS 4524, Pages 73-87, 2007. details
  2. Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude 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
  3. Il-Gon Kim, Debmalya Biswas. Application of Model Checking to AXML System's Security: A Case Study. In WS-FM, Volume LNCS 4184, Pages 242-256, 2006. details
  4. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. Probabilistic QoS and soft contracts for transaction based Web services. In ICWS, Pages 126-133, 2007. details
  5. Sidney Rosario, David Kitchin, Albert Benveniste, William and Haar,Stefan Cook, Claude Jard. Event Structure Semantics of ORC. In 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Brisbane, Australia, October 2007. details
  6. 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

Research Reports

  1. Benot Masson, Loc Hlout, Albert Benveniste. Compatibility between DAXML Schemas. Rapport de recherche INRIA, No 0, March 2011. details
  2. S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar, C. Jard. Event Structure Semantics of Orc. Research Report IRISA, No 1853, 2007. details
  3. S. Rosario, A. Benveniste, S. Haar, C. Jard. Net systems semantics of Web Services Orchestrations modeled in ORC. Research Report IRISA, No 1780, January 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 v210, © INRIA 2002-2006, Projet Lagadic