Follow
Lina YE
Lina YE
Université Paris-Saclay, CentraleSupélec, LRI
Verified email at centralesupelec.fr - Homepage
Title
Cited by
Cited by
Year
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
462015
Diagnosability Analysis of Discrete Event Systems with Autonomous Components.
L Ye, P Dague
ECAI, 105-110, 2010
292010
Predictability analysis of distributed discrete event systems
L Ye, P Dague, F Nouioua
52nd IEEE Conference on Decision and Control, 5009-5015, 2013
272013
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
212012
Diagnosability of patterns in distributed discrete event systems
YE Lina, P DAGUE
IFAC Proceedings Volumes 42 (8), 1551-1556, 2009
202009
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
192009
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
162009
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
152014
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
132021
Probabilistic analysis of predictability in discrete event systems
F Nouioua, P Dague, L Ye
DX 2014, 2014
132014
Predictability in probabilistic discrete event systems
F Nouioua, P Dague, L Ye
Soft Methods for Data Science, 381-389, 2017
112017
A predictability algorithm for distributed discrete event systems
L Ye, P Dague, F Nouioua
Formal Methods and Software Engineering: 17th International Conference on …, 2015
102015
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
92018
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
92017
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
82016
Automated analysis of asynchronously communicating systems
L Akroun, G Salaün, L Ye
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016
82016
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
72021
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.
H Zaatiti, L Ye, P Dague, JP Gallois
DX, 124-143, 2017
72017
An optimized algorithm for diagnosability of component-based systems
L Ye, P Dague
IFAC Proceedings Volumes 43 (12), 143-148, 2010
72010
A distributed approach for pattern diagnosability
L Ye, P Dague, Y Yan
Proceedings of the 20th International Workshop on Principles of Diagnosis …, 2009
72009
The system can't perform the operation now. Try again later.
Articles 1–20