Associated team FOSSA:  Publications


Joint publications of FOSSA

  • [1] S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar and C. Jard, Event Structure Semantics of ORC, 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), October, 2007, Brisbane, Australia. (preliminary version (pdf 413k))
  • [2] A. Benveniste, C. Jard, A. Kattepur, S. Rosario and J. Thywissen, A QoS Calculus for Service Orchestrations, Submitted to IEEE tr. on Sofware Engineering, June 23, 2011. (pdf 520k)

    • Related publications of members of the team

  • [1] A. Kattepur, S. Sen, B. Baudry, A. Benveniste and C. Jard, Variability Modeling and QoS Analysis of Web services Orchestrations, IEEE 8th International Conference on Web Services (ICWS 2010), July 5-10, 2010, Miami, Florida, USA. (preliminary version (pdf 529k))
  • [2] A. Kattepur, S. Sen, B. Baudry, A. Benveniste and C. Jard, Pairwise Testing of Dynamic Composite Services, 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 23-24, 2011, ICSE, Hawaï, USA. (preliminary version (pdf 1100k))
  • [3] A. Kattepur, A. Benveniste and C. Jard, Optimizing Decisions in Web Services Orchestrations, 9th International Conference on Service Oriented Computing, ICSOC 2011. (preliminary version (pdf 334k))
  • [4] A. Kattepur, Importance Sampling of Probabilistic Contracts in Web Services, 9th International Conference on Service Oriented Computing, ICSOC 2011. (preliminary version (pdf 334k))
  • [5] B. Masson, L.Hélouët, A. Benveniste, Compatibility of data centric Web-services, WS-FM 2011, Clermont Ferrand, France, Sep. 1-2.





    • Team Members Publications Events Miscellaneous


    Copyright 2010 © FOSSA associated team