Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. - Sidney Rosario; Albert Benveniste; Stefan Haar; Claude Jard (ISoLA, 2006)

Probabilistic QoS and soft contracts for transaction based Web services. - Sidney Rosario; Albert Benveniste; Stefan Haar; Claude Jard (ICWS, 2007)

Event Structure Semantics of Orc. - Sidney Rosario; David Kitchin; Albert Benveniste; William R. Cook; Stefan Haar; Claude Jard (WS-FM, 2007)

Monotony in Service Orchestrations - Anne Bouillard; Sidney Rosario; Albert Benveniste; Stefan Haar (CoRR, 2008)

Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. - Sidney Rosario; Albert Benveniste; Stefan Haar; Claude Jard (IEEE Trans. Serv. Comput., 2008)

Monotonicity in Service Orchestrations. - Anne Bouillard; Sidney Rosario; Albert Benveniste; Stefan Haar (Petri Nets, 2009)

Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. - Anne Bouillard; Stefan Haar; Sidney Rosario (FORMATS, 2009)

Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. - Sidney Rosario; Albert Benveniste; Claude Jard (ICWS, 2009)

Monitoring probabilistic SLAs in Web service orchestrations. - Sidney Rosario; Albert Benveniste; Claude Jard (Integrated Network Management, 2009)

Flexible Probabilistic QoS Management of Orchestrations. - Sidney Rosario; Albert Benveniste; Claude Jard (Int. J. Web Serv. Res., 2010)

QoS-aware management of monotonic service orchestrations. - Albert Benveniste; Claude Jard; Ajay Kattepur; Sidney Rosario; John A. Thywissen (Formal Methods Syst. Des., 2014)