| VerChor: a framework for the design and verification of choreographies M Güdemann, P Poizat, G Salaün, L Ye IEEE Transactions on Services Computing 9 (4), 647-660, 2015 | 30 | 2015 |
| Diagnosability Analysis of Discrete Event Systems with Autonomous Components. L Ye, P Dague ECAI, 105-110, 2010 | 26 | 2010 |
| Predictability analysis of distributed discrete event systems L Ye, P Dague, F Nouioua 52nd IEEE Conference on Decision and Control, 5009-5015, 2013 | 21 | 2013 |
| A decentralized model-based diagnosis for BPEL services Y Li, L Ye, P Dague, T Melliti 2009 21st IEEE International Conference on Tools with Artificial …, 2009 | 17 | 2009 |
| An incremental approach for pattern diagnosability in distributed discrete event systems L Ye, P Dague, Y Yan 2009 21st IEEE International Conference on Tools with Artificial …, 2009 | 14 | 2009 |
| Quantifying the parallelism in BPMN processes using model checking R Mateescu, G Salaün, L Ye Proceedings of the 17th international ACM Sigsoft symposium on Component …, 2014 | 13 | 2014 |
| A general algorithm for pattern diagnosability of distributed discrete event systems L Ye, P Dague 2012 IEEE 24th International Conference on Tools with Artificial …, 2012 | 12 | 2012 |
| Diagnosability of patterns in distributed discrete event systems YE Lina, P Dague IFAC Proceedings Volumes 42 (8), 1551-1556, 2009 | 12 | 2009 |
| Probabilistic analysis of predictability in discrete event systems F Nouioua, P Dague, L Ye DX 2014, 2014 | 11 | 2014 |
| Predictability in probabilistic discrete event systems F Nouioua, P Dague, L Ye International Conference on Soft Methods in Probability and Statistics, 381-389, 2016 | 8 | 2016 |
| A distributed approach for pattern diagnosability L Ye, P Dague, Y Yan Proceedings of the 20th International Workshop on Principles of Diagnosis …, 2009 | 7 | 2009 |
| Abstractions refinement for hybrid systems diagnosability analysis H Zaatiti, L Ye, P Dague, JP Gallois, L Travé-Massuyès Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical …, 2018 | 6 | 2018 |
| Automated analysis of asynchronously communicating systems L Akroun, G Salaün, L Ye International Symposium on Model Checking Software, 1-18, 2016 | 6 | 2016 |
| Diagnosability analysis for self-observed distributed discrete event systems L Ye, P Dague | 6 | 2012 |
| Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. H Zaatiti, L Ye, P Dague, JP Gallois DX, 124-143, 2017 | 5 | 2017 |
| Diagnosability Planning for Controllable Discrete Event Systems. H Ibrahim, P Dague, A Grastien, L Ye, L Simon AAAI, 1149-1155, 2017 | 5 | 2017 |
| A predictability algorithm for distributed discrete event systems L Ye, P Dague, F Nouioua International conference on formal engineering methods, 201-216, 2015 | 5 | 2015 |
| An optimized algorithm for diagnosability of component-based systems L Ye, P Dague IFAC Proceedings Volumes 43 (12), 143-148, 2010 | 5 | 2010 |
| Fault manifestability verification for discrete event systems L Ye, P Dague, D Longuet, LB Briones, A Madalinski Proceedings of the Twenty-second European Conference on Artificial …, 2016 | 4 | 2016 |
| An optimized algorithm of general distributed diagnosability analysis for modular structures L Ye, P Dague IEEE Transactions on Automatic Control 62 (4), 1768-1780, 2016 | 4 | 2016 |
