A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks Y Pencolé, MO Cordier Artificial Intelligence 164 (1-2), 121-170, 2005 | 316 | 2005 |
Diagnosability analysis of distributed discrete event systems Y Pencolé ECAI 16, 43, 2004 | 149 | 2004 |
Incremental decentralized diagnosis approach for the supervision of a telecommunication network Y Pencolé, MO Cordier, L Rozé Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 1 …, 2002 | 92 | 2002 |
Scalable Diagnosability Checking of Event-Driven Systems. A Schumann, Y Pencolé IJCAI 7, 575-580, 2007 | 82 | 2007 |
Decentralized diagnoser approach: application to telecommunication networks Y Pencolé Proceedings of the International Workshop on Principles of Diagnosis (DX’00 …, 2000 | 72 | 2000 |
A decentralized model-based diagnostic tool for complex systems Y Pencolé, MO Cordier, L Rozé International Journal on Artificial Intelligence Tools 11 (03), 327-346, 2002 | 66 | 2002 |
A model-based approach for diagnosing fault in web service processes Y Yan, P Dague, Y Pencolé, MO Cordier International Journal of Web Services Research (IJWSR) 6 (1), 87-110, 2009 | 56 | 2009 |
Monitoring and active diagnosis for discrete-event systems E Chanthery, Y Pencolé IFAC Proceedings Volumes 42 (8), 1545-1550, 2009 | 52 | 2009 |
Monitoring web service networks in a model-based approach Y Yan, Y Pencolé, MO Cordier, A Grastien Third European Conference on Web Services (ECOWS'05), 12 pp., 2005 | 52 | 2005 |
A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services. Y Pencolé, A Subias J. Univers. Comput. Sci. 15 (17), 3246-3272, 2009 | 42 | 2009 |
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets HE Gougam, Y Pencolé, A Subias Discrete Event Dynamic Systems 27, 143-180, 2017 | 37 | 2017 |
Diagnosis and prognosis for the maintenance of complex systems P Ribot, Y Pencolé, M Combacau 2009 IEEE International Conference on Systems, Man and Cybernetics, 4146-4151, 2009 | 34 | 2009 |
A spectrum of symbolic on-line diagnosis approaches A Schumann, Y Pencolé, S Thiébaux PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (1), 335, 2007 | 34 | 2007 |
Diagnosis of discrete-event systems using binary decision diagrams A Schumann, Y Pencolé, S Thiébaux Workshop on principles of diagnosis (DX’04), 197-202, 2004 | 33 | 2004 |
TOWARDS LOW-COST FAULT DIAGNOSIS IN LARGE COMPONENT-BASED SYSTEMS 1 Y Pencolé, D Kamenetsky, A Schumann IFAC Proceedings Volumes 39 (13), 1473-1478, 2006 | 29 | 2006 |
Diagnosability of event patterns in safe labeled time Petri nets: a model-checking approach Y Pencolé, A Subias IEEE Transactions on Automation Science and Engineering 19 (2), 1151-1162, 2021 | 26 | 2021 |
A theory of meta-diagnosis: reasoning about diagnostic systems N Belard, Y Pencolé, M Combacau Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 25 | 2011 |
Diagnostic décentralisé de systèmes à événements discrets: application aux réseaux de télécommunications Y Pencolé Université Rennes 1, 2002 | 24 | 2002 |
Self-healability= diagnosability+ repairability MO Cordier, Y Pencolé, L Travé-Massuyes, T Vidal The 18th International Workshop on Principles of Diagnosis 7, 251-258, 2007 | 23 | 2007 |
Diagnosing Discrete Event Systems Using Nominal Models Only. Y Pencolé, G Steinbauer, C Mühlbacher, L Travé-Massuyès DX, 169-183, 2017 | 19 | 2017 |