Sidney Rosario

According to our database, Sidney Rosario authored at least 11 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

QoS-aware management of monotonic service orchestrations.

Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen

Formal Methods Syst. Des., 2014

2010

Flexible Probabilistic QoS Management of Orchestrations.

Sidney Rosario, Albert Benveniste, Claude Jard

Int. J. Web Serv. Res., 2010

2009

Monitoring probabilistic SLAs in Web service orchestrations.

Sidney Rosario, Albert Benveniste, Claude Jard

Proceedings of the Integrated Network Management, 2009

Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations.

Sidney Rosario, Albert Benveniste, Claude Jard

Proceedings of the IEEE International Conference on Web Services, 2009

Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net.

Anne Bouillard, Stefan Haar, Sidney Rosario

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Monotonicity in Service Orchestrations.

Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar

Proceedings of the Applications and Theory of Petri Nets, 2009

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

Monotony in Service Orchestrations

Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar

CoRR, 2008

2007

Event Structure Semantics of Orc.

Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Probabilistic QoS and soft contracts for transaction based Web services.

Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

2006

Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly.

Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard

Proceedings of the Leveraging Applications of Formal Methods, 2006