N. Bertrand, E. Fabre, S. Haar, S. Haddad, and L. Helouet, Active diagnosis for probabilistic systems, proc. FoS-SaCS'14, vol.8412, pp.29-42, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00930919

N. Bertrand, S. Haddad, and E. Lefaucheux, Foundation of Diagnosis and Predictability in Probabilistic Systems, proc. 34th IARCS Annual Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), vol.29, pp.417-429, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01088117

H. Bazille, E. Fabre, and B. Genest, Diagnosability Degree of Stochastic Discrete Event Systems, CDC'17, pp.5726-5731, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01651232

H. Bazille, E. Fabre, and B. Genest, Complexity reduction techniques for quantified diagnosability of stochastic systems
URL : https://hal.archives-ouvertes.fr/hal-01943401

A. Boussif and M. Ghazel, An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems -A Railway Case-Study, VECoS'17, vol.10466, pp.92-107, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01659407

E. Fabre, Diagnosis and automata, Control of Discrete-Event Systems -Automata and Petri Net Perspectives, vol.433, pp.85-106, 2013.

E. Fabre and L. , On the construction of probabilistic diagnosers, Proc. WODES'10, pp.229-234, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01699592

S. Haar, S. Haddad, T. Melliti, and S. Schwoon, Optimal constructions for active diagnosis, J. Comput. Syst. Sci, vol.83, issue.1, pp.101-120, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01408047

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Trans. Aut. Cont, vol.46, issue.8, pp.1318-1321, 2001.

F. Nouioua and P. Dague, A probabilistic analysis of diagnosability in discrete event systems, Proc. ECAI'08, vol.178, pp.224-228, 2008.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete event systems, IEEE Trans. Aut. Cont, vol.40, issue.9, pp.1555-1575, 1995.

D. Thorsley and D. Teneketzis, Diagnosability of stochastic discrete-event systems, IEEE Trans. Aut. Cont, vol.50, issue.4, pp.476-492, 2005.

T. Yoo and S. Lafortune, Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Trans. Aut. Cont, vol.47, issue.9, pp.1491-1495, 2002.