A. Cimatti, C. Pecheur, and R. Cavada, Formal verification of diagnosability via symbolic model checking, 18th International Joint Conference on Artificial Intelligence (IJCAI-03), pp.363-369, 2003.

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2001.
DOI : 10.1109/9.940942

Y. Pencolé, Diagnosability analysis of distributed discrete event systems, Proceedings of European Conference on Articifial Intelligent ECAI'04, pp.43-47, 2004.

Y. Pencolé, Assistance for the design of a diagnosable component-based system, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05), pp.549-556, 2005.
DOI : 10.1109/ICTAI.2005.41

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

A. Schumann and J. Huang, A scalable jointree algorithm for diagnosability, 23rd American National Conference on Artificial Intelligence (AAAI-08), 2008.

A. Schumann and Y. Pencolé, Scalable diagnosability checking of event-driven systems, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pp.575-580, 2007.

T. Yoo and S. Lafortune, Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.