Biblio

Export 42 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is Y  [Clear All Filters]
2018
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.
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.
S. Domingos Cardoso, Da Silveira, M., Ying-Chi, L., Christen, V., Erhard, R., Reynaud-Delaître, C., and Pruski, C., Combining Semantic and Lexical Measures to Evaluate Medical Terms Similarity, in DILS 2018, LNBI 11371, Hannover, Germany, 2018.
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.
V. Christen, Ying-Chi, L., Anika, G., Cardoso, S. Domingos, Pruski, C., Da Silveira, M., and Erhard, R., A learning-based approach to combine medical annotation results, in DILS 2018 LNBI 11371, Hannover, Germany, 2018.
L. He, Ye, L., and Dague, P., SMT-based Diagnosability Analysis of Real-Time Systems, in SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Varsovie, Poland, 2018.
2017
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.
L. Ye and Dague, P., An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures, {IEEE Transactions on Automatic Control}, vol. 15, 2017.
S. Domingos Cardoso, Reynaud, C., Da Silveira, M., Ying-Chi, L., Anika, G., Erhard, R., and Pruski, C., Towards a Multi-level Approach for the Maintenance of Semantic Annotations, in {10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017)}, Porto, Portugal, 2017, vol. 5, pp. 401-406.
2016
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., 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.
S. Domingos Cardoso, Pruski, C., Da Silveira, M., Ying-Chi, L., Anika, G., Erhard, R., and Reynaud, C., Leveraging the impact of ontology evolution on semantic annotations, in {Knowledge Engineering and Knowledge Management - 20th International Conference, EKAW }, Bologna, Italy, 2016.
F. Nouioua, Dague, P., and Ye, L., Predictability in probabilistic discrete event systems, in {8th International Conference on Soft Methods in Probability and Statistics SMPS 2016}, Rome, Italy, 2016.
Y. Fang, Cheng, R., Tang, W., Maniu, S., and Yang, X., Scalable Algorithms for Nearest-Neighbor Joins on Big Trajectory Data (Extended abstract), in International Conference on Data Engineering (ICDE), Helsinki, Finland, 2016, pp. 1528-1529.
Y. Fang, Cheng, R., Tang, W., Maniu, S., and Yang, X., Scalable Algorithms for Nearest-Neighbor Joins on Big Trajectory Data, IEEE Transactions on Knowledge and Data Engineering, vol. 28, 2016.
2015
L. Ye, Dague, P., and Nouioua, F., A Predictability Algorithm for Distributed Discrete Event Systems, in The 17th International Conference on Formal Engineering Methods, Paris, France, 2015.
2012
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., 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.
L. Ye and Dague, P., New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems, in Proc. of International Workshop on Principles of Diagnosis (DX), Great Malvern, United Kingdom, 2012.
2011
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, Optimized diagnosability of distributed discrete event systems through abstraction, Université Paris Sud, 2011.
N. Spyratos, Sugibuchi, T., and Yang, J., Personalizing Queries over Large Data Tables, in Advances in Databases and Information Systems - 15th International Conference, ADBIS 2011, Vienna, Austria, September 20-23, 2011, pp. 271-284.
J. Yang, Sugibuchi, T., and Spyratos, N., Taxonomy Based Notification Service for the ASSETS Digital Library Platform, in Digital Libraries and Archives - 7th Italian Research Conference, IRCDL 2011, Pisa, Italy, January 20-21, Revised Papers, 2011, pp. 75-86.

Pages