Lina YE
Lina YE
Université Paris-Saclay, CentraleSupélec, LRI
E-mail megerősítve itt: centralesupelec.fr - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
302015
Diagnosability Analysis of Discrete Event Systems with Autonomous Components.
L Ye, P Dague
ECAI, 105-110, 2010
282010
Predictability analysis of distributed discrete event systems
L Ye, P Dague, F Nouioua
52nd IEEE Conference on Decision and Control, 5009-5015, 2013
222013
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
172009
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
142009
Diagnosability of patterns in distributed discrete event systems
YE Lina, P Dague
IFAC Proceedings Volumes 42 (8), 1551-1556, 2009
142009
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
122014
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
122012
Probabilistic analysis of predictability in discrete event systems
F Nouioua, P Dague, L Ye
DX 2014, 2014
102014
Predictability in probabilistic discrete event systems
F Nouioua, P Dague, L Ye
International Conference on Soft Methods in Probability and Statistics, 381-389, 2016
82016
A distributed approach for pattern diagnosability
L Ye, P Dague, Y Yan
Proceedings of the 20th International Workshop on Principles of Diagnosis …, 2009
82009
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
62018
Automated analysis of asynchronously communicating systems
L Akroun, G Salaün, L Ye
International Symposium on Model Checking Software, 1-18, 2016
62016
Diagnosability analysis for self-observed distributed discrete event systems
L Ye, P Dague
62012
An optimized algorithm for diagnosability of component-based systems
L Ye, P Dague
IFAC Proceedings Volumes 43 (12), 143-148, 2010
62010
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.
H Zaatiti, L Ye, P Dague, JP Gallois
DX, 124-143, 2017
52017
A predictability algorithm for distributed discrete event systems
L Ye, P Dague, F Nouioua
International conference on formal engineering methods, 201-216, 2015
52015
Diagnosability Planning for Controllable Discrete Event Systems.
H Ibrahim, P Dague, A Grastien, L Ye, L Simon
AAAI, 1149-1155, 2017
42017
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
42016
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
42016
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20