L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A.,
“Fault Manifestability Verification for Discrete Event Systems”, in
{22nd European Conference on Artificial Intelligence ECAI-16}, La Haye, Netherlands, 2016.
L. Ye and Dague, P.,
“Diagnosability analysis for self-observed distributed discrete event systems”, in
Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), Lisbonne, Portugal, 2012.
L. Ye and Dague, P.,
“New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems”, in
Proc. of International Workshop on Principles of Diagnosis (DX), Great Malvern, United Kingdom, 2012.
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A.,
“How to be Sure a Faulty System Does not Always Appear Healthy?”, in
VECoS 2018 - 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France, 2018.
L. Ye and Dague, P.,
“Diagnosability Analysis of Discrete Event Systems with Autonomous Components”, in
Proc. of European Conference on Artificial Intelligence (ECAI), Lisbonne Portugal, 2010.
L. Ye and Dague, P.,
“A general algorithm for pattern diagnosability of distributed discrete event systems”, in
Proc. of International Workshop on Principles of Diagnosis (DX), Great Malvern, United Kingdom, 2012.
Y. Yan, Dague, P., Pencolé, Y., and Cordier, M. - O.,
“A Model-based Approach for Diagnosing Faults in Web Service Processes”,
International Journal of Web Services Research (JWSR), vol. 6(1), pp. 87-110, 2009.
Y. Yan, Ye, L., and Dague, P.,
“Diagnosability for Patterns in Distributed Discrete Event Systems”, in
Proc. of International Workshop on Principles of Diagnosis (DX), Portland, OR United States, 2010.