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 | 48 | 2015 |
Diagnosability Analysis of Discrete Event Systems with Autonomous Components. L Ye, P Dague ECAI, 105-110, 2010 | 29 | 2010 |
Predictability analysis of distributed discrete event systems L Ye, P Dague, F Nouioua 52nd IEEE Conference on Decision and Control, 5009-5015, 2013 | 27 | 2013 |
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 | 21 | 2012 |
Diagnosability of patterns in distributed discrete event systems YE Lina, P DAGUE IFAC Proceedings Volumes 42 (8), 1551-1556, 2009 | 20 | 2009 |
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 | 19 | 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 | 16 | 2014 |
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 | 16 | 2009 |
Property-directed verification and robustness certification of recurrent neural networks I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ... Automated Technology for Verification and Analysis: 19th International …, 2021 | 13 | 2021 |
Probabilistic analysis of predictability in discrete event systems F Nouioua, P Dague, L Ye DX 2014, 2014 | 13 | 2014 |
Predictability in probabilistic discrete event systems F Nouioua, P Dague, L Ye Soft Methods for Data Science, 381-389, 2017 | 11 | 2017 |
A predictability algorithm for distributed discrete event systems L Ye, P Dague, F Nouioua Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 10 | 2015 |
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 | 9 | 2018 |
Diagnosability planning for controllable discrete event systems H Ibrahim, P Dague, A Grastien, L Ye, L Simon Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 9 | 2017 |
Extracting context-free grammars from recurrent neural networks using tree-automata learning and a* search B Barbot, B Bollig, A Finkel, S Haddad, I Khmelnitsky, M Leucker, ... International Conference on Grammatical Inference, 113-129, 2021 | 8 | 2021 |
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 | 8 | 2016 |
Automated analysis of asynchronously communicating systems L Akroun, G Salaün, L Ye Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016 | 8 | 2016 |
Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation G Cortal, A Finkel, P Paroubek, L Ye arXiv preprint arXiv:2305.10446, 2023 | 7 | 2023 |
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. H Zaatiti, L Ye, P Dague, JP Gallois DX, 124-143, 2017 | 7 | 2017 |
An optimized algorithm for diagnosability of component-based systems L Ye, P Dague IFAC Proceedings Volumes 43 (12), 143-148, 2010 | 7 | 2010 |