Biblio

Export 42 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is Y  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., Abstractions refinement for hybrid systems diagnosability analysis, in Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, Springer, 2018.
D. Barbosa, Manolescu, I., and Yu, J. Xu, Application Benchmark, in Encyclopedia of Database Systems, L. Liu and Ozsu, T., Eds. Springer US, 2009, pp. 99-100.
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., Automating Abstraction Computations of Hybrid Systems, in CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Hagenberg, Austria, 2018.
D
C. Meghini, Spyratos, N., and Yang, J., A data model for digital libraries, International Journal on Digital Libraries, vol. 11, pp. 41-56, 2010.
L. Ye and Dague, P., Decentralized Diagnosis for BPEL Web Services, in Proc. of International Conference on Web Information Systems and Technologies (WEBIST), 2008, pp. 283-287.
Y. Li, Melliti, T., Ye, L., and Dague, P., A decentralized model-based diagnosis for BPEL services, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
N. Aloia, Concordia, C., van Gerwen, A. Marie, Hansen, P., Kuwahara, M., Ly, A. Tuan, Meghini, C., Spyratos, N., Sugibuchi, T., Tanaka, Y., Yang, J., and Zeni, N., Design, Implementation and Evaluation of a User Generated Content Service for Europeana, in Research and Advanced Technology for Digital Libraries - International Conference on Theory and Practice of Digital Libraries, TPDL 2011, Berlin, Germany, September 26-28, 2011. Proceedings, 2011, pp. 477-482.
L. Ye and Dague, P., Diagnosability analysis for self-observed distributed discrete event systems, in Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), Lisbonne, Portugal, 2012.
L. Ye and Dague, P., Diagnosability Analysis of Discrete Event Systems with Autonomous Components, in Proc. of European Conference on Artificial Intelligence (ECAI), Lisbonne Portugal, 2010.
Y. Yan, Ye, L., and Dague, P., Diagnosability for Patterns in Distributed Discrete Event Systems, in Proc. of International Workshop on Principles of Diagnosis (DX), Portland, OR United States, 2010.
Y. Yan, Ye, L., and Dague, P., Diagnosability for Patterns in Distributed Discrete Event Systems, in Proc. of International Workshop on Principles of Diagnosis (DX), Portland, OR United States, 2010.
L. Ye and Dague, P., Diagnosability of patterns in distributed discrete event systems, in Proc. of IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS), 2009.
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., Diagnosability Planning for Controllable Discrete Event Systems, in {31st National Conference on Artificial Intelligence AAAI-17}, San Francisco, United States, 2017.
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., Diagnosability Planning for Controllable Discrete Event Systems, in {27th International Workshop on Principles of Diagnosis DX'16}, Denver, United States, 2016.
L. Ye, Dague, P., and Yan, Y., A distributed approach for pattern diagnosability, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
L. Ye, Dague, P., and Yan, Y., A distributed approach for pattern diagnosability, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
F
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A., Fault Manifestability Verification for Discrete Event Systems, in {22nd European Conference on Artificial Intelligence ECAI-16}, La Haye, Netherlands, 2016.
G
L. Ye and Dague, P., A general algorithm for pattern diagnosability of distributed discrete event systems, in Proc. of International Workshop on Principles of Diagnosis (DX), Great Malvern, United Kingdom, 2012.
L. Ye and Dague, P., A general algorithm for pattern diagnosability of distributed discrete event systems, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), Athènes, Greece, 2012.
H
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A., How to be Sure a Faulty System Does not Always Appear Healthy?, in VECoS 2018 - 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France, 2018.
I
L. Ye, Dague, P., and Yan, Y., An incremental approach for pattern diagnosability in distributed discrete event systems, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
L. Ye, Dague, P., and Yan, Y., An incremental approach for pattern diagnosability in distributed discrete event systems, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.

Pages