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 Formal Methods in System Design, september, 2012. (pdf 520k)

[3] C. Jard, A. Kattepur, J. Thywissen and A. Benveniste, Leveraging causality for qos tracking in service oriented systems, Under preparation.

Related publications of members of the team

[1] S. Rosario, A. Benveniste and C. Jard, Flexible Probabilistic QoS Management of transaction based Web services orchestrations, International Journal on Web Services Research (JWSR), Vol. 7, Issue 2, 2010.

[2] 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.

[3] L. H\'elou\"et and A. Benveniste, Document based modelling of Web services choreographies using Active XML, IEEE 8th International Conference on Web Services (ICWS 2010), July 5-10, 2010, Miami, Florida, USA. (preliminary version (pdf 529k))

[4] 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))

[5] 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))

[6] A. Kattepur, Importance Sampling of Probabilistic Contracts in Web Services, 9th International Conference on Service Oriented Computing, ICSOC 2011. (preliminary version (pdf 334k))

[7] B. Masson, L.Hélouët, A. Benveniste, Compatibility of data centric Web-services, WS-FM 2011, Clermont Ferrand, France, Sep. 1-2.

[8] A. Kattepur, A. Benveniste and C. Jard, Negotiation strategies for probabilistic contracts in web services orchestrations, In International Conference on Web Services (ICWS), 2012.