Cooperative model-based diagnosis of web services, Proceedings of the 16th International Workshop on Principles of Diagnosis (DX-2005), pp.125-132, 2005. ,
Diagnosis of large active systems, Artificial Intelligence, vol.110, issue.1, pp.135-183, 1999. ,
DOI : 10.1016/S0004-3702(99)00019-3
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. ,
Event-based diagnosis for evolutive systems, Proceedings of the Fifth International workshop on Principles of diagnosis(DX'94), pp.64-69, 1994. ,
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. ,
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
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
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
Model-based monitoring of software components, Proceedings of the 16th European Conf. on Artificial Intelligence (ECAI'04), pp.1025-1026, 2004. ,
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. ,
Readings in model-based diagnosis [12] IBM and et al. Business process execution language for web services, 1992. ,
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. ,
Simulation, verification and automated compostion of web services, Proceedings of the Eleventh International World Wide Web Conference, pp.77-88, 2002. ,
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
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
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. ,
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. ,
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
DOI : 10.1109/9.412626