| The design and simulation of an autonomous system for aircraft maintenance scheduling Y Liu, T Wang, H Zhang, V Cheutet, G Shen Computers & industrial engineering 137, 106041, 2019 | 43 | 2019 |
| An agent-based architecture of the digital twin for an emergency department T Moyaux, Y Liu, G Bouleux, V Cheutet Sustainability 15 (4), 3412, 2023 | 13 | 2023 |
| Simulation-based fuzzy-rough nearest neighbour fault classification and prediction for aircraft maintenance Y Liu, T Wang, H Zhang, V Cheutet Journal of Simulation 15 (3), 202-216, 2021 | 9 | 2021 |
| Quantitative risk analysis of safety–critical embedded systems Y Liu, G Shen, Z Huang, Z Yang Software Quality Journal 25, 503-527, 2017 | 8 | 2017 |
| Hybrid simulation modelling of emergency departments for resource scheduling Y Liu, T Moyaux, G Bouleux, V Cheutet Journal of Simulation, 1-16, 2023 | 7 | 2023 |
| An improved approach on the model checking for an agent-based simulation system Y Liu, T Wang, H Zhang, V Cheutet Software and Systems Modeling 20 (2), 429-445, 2021 | 7 | 2021 |
| OMReasoner: Combination of multi-matchers for ontology matching: Results for OAEI 2014 G Shen, Y Liu, F Wang, J Si, Z Wang, Z Huang, D Kang A A 2, C2, 2014 | 6 | 2014 |
| Modeling of Natural Language Requirements based on States and Modes Y LIU, JM BRUEL 12th Model-Driven Requirements Engineering Workshop, Melbourne, Australia …, 2022 | 3 | 2022 |
| Aircraft maintenance information system design and verification Y Liu Université de Lyon, 2019 | 3 | 2019 |
| Information systems simulation for performance evaluation-application in aircraft maintenance Y Liu, T Wang, H Zhang, V Cheutet Product Lifecycle Management to Support Industry 4.0: 15th IFIP WG 5.1 …, 2018 | 3 | 2018 |
| Research on AADL model for qualitative safety analysis of embedded systems Y Liu, G Shen, F Wang, J Si, Z Wang International Journal of Multimedia and Ubiquitous Engineering 11 (6), 153-170, 2016 | 3 | 2016 |
| Modeling and Verification of Natural Language Requirements based on States and Modes. L Yinling, B Jean-Michel Form. Asp. Comput., https://doi.org/10.1145/3640822, 2024 | | 2024 |
| Formal Verification of Ethical Choices in Industrial Cyber-Physical Systems Y Liu, HB El Haouzi IEEE Conference on Systems, Man, and Cybernetics (SMC 2023), 2023 | | 2023 |
| Aircraft Maintenance Service System Modeling based on Fault Events Y Liu, T Wang, H Zhang, V Cheutet 20th IFAC World Congress of the International Federation of Automatic …, 2017 | | 2017 |
