L. Ardissono, L. Console, A. Goy, G. Petrone, C. Picardi et al., Cooperative model-based diagnosis of web services, Proceedings of the 16th International Workshop on Principles of Diagnosis (DX-2005), pp.125-132, 2005.

P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, Diagnosis of large active systems, Artificial Intelligence, vol.110, issue.1, pp.135-183, 1999.
DOI : 10.1016/S0004-3702(99)00019-3

D. Berardi, D. Calvanese, G. De-giacomo, M. Lenzerini, and M. Mecella, Automated composition of e-services that export their behavior, Proceedings of the 1st Int. Conf. on Service-Oriented Computing (ICSOC'03), LNCS 2910, pp.43-58, 2003.

M. Cordier and S. Thiébaux, Event-based diagnosis for evolutive systems, Proceedings of the Fifth International workshop on Principles of diagnosis(DX'94), pp.64-69, 1994.

E. Fabre, A. Aghasaryan, A. Benveniste, R. Boubour, and C. Jard, Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets, Journal of Discrete Events Dynamic Systems, vol.8, pp.203-231, 1998.

H. Foster, S. Uchitel, J. Magee, and J. Kramer, Model-based verification of Web service compositions, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.152-161, 2003.
DOI : 10.1109/ASE.2003.1240303

A. Grastien, M. Cordier, and C. Largouët, Extending decentralized discrete-event modelling to diagnose reconfigurable systems, Proceedings of the Fifteenth International Workshop on Principles of Diagnosis, pp.75-80, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000524

A. Grastien, M. Cordier, and C. Largouët, Incremental diagnosis of discrete-event systems, Proceedings of the Sixteenth International Workshop on Principles of Diagnosis (DX-05), pp.119-124, 2005.
DOI : 10.1007/11424918_18

URL : https://hal.archives-ouvertes.fr/inria-00511109

I. Grosclaude, Model-based monitoring of software components, Proceedings of the 16th European Conf. on Artificial Intelligence (ECAI'04), pp.1025-1026, 2004.

R. Hamadi and B. Benatallah, A Petri net-based model for web service composition, Proceedings of the Fourteenth Australasian database conference on Database technologies (ADC'03), pp.191-200, 2003.

W. Hamscher, L. Console, and J. De-kleer, Readings in model-based diagnosis [12] IBM and et al. Business process execution language for web services, 1992.

A. Lazovik, M. Aiello, and M. Papazoglou, Planning and monitoring the execution of web service requests, Proceedings of the 1st Int. Conf. on Service-Oriented Computing (ICSOC'03), pp.335-350, 2003.

S. Narayanan and S. Mcilraith, Simulation, verification and automated compostion of web services, Proceedings of the Eleventh International World Wide Web Conference, pp.77-88, 2002.

Y. Pencolé and M. Cordier, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence, vol.164, issue.1-2, pp.121-170, 2005.
DOI : 10.1016/j.artint.2005.01.002

Y. Pencolé, M. Cordier, and L. Rozé, Incremental decentralized diagnosis approach for the supervision of a telecommunication network, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.435-440, 2002.
DOI : 10.1109/CDC.2002.1184533

M. Pistore, P. Traverso, P. Bertoli, and A. Marconi, Automated composition of web services by planning at the knowledge level, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), pp.1252-1260, 2005.

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and reasoning on web services using process algebra, Proceedings of the Second IEEE Int. Conf. on Web Services (ICWS'04), pp.43-51, 2004.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626