Accéder directement au contenu

Yinling LIU

10
Documents

Publications

Image document

Modelling and Verification of Natural Language Requirements based on States and Modes

Yinling Liu , Jean-Michel Bruel
30th International Requirements Engineering Conference Workshops (REW 2022), IEEE, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00043⟩
Communication dans un congrès hal-03941814v1

An Improved Approach on the Model Checking for An Agent-Based Simulation System

Yinling Liu , Tao Wang , Haiqing Zhang , Vincent Cheutet
MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Montréal, Canada
Communication dans un congrès hal-03054274v1

An agent-based simulation system for aircraft maintenance scheduling

Yinling Liu , Tao Wang , Haiqing Zhang , Vincent Cheutet
Journées Doctorales et Journées Nationales du GDR MACS (JD-JN-MACS 2019), Jun 2019, Bordeaux, France
Communication dans un congrès hal-02152369v1
Image document

Information Systems Simulation for Performance Evaluation - Application in Aircraft Maintenance

Yinling Liu , Tao Wang , Haiqing Zhang , Vincent Cheutet
15th IFIP International Conference on Product Lifecycle Management (PLM 2018), Jul 2018, Turin, Italy. pp.789-799, ⟨10.1007/978-3-030-01614-2_72⟩
Communication dans un congrès hal-01849562v1

Aircraft Maintenance Service System Modeling based on Fault Events

Yinling Liu , Tao Wang , Haiqing Zhang , Vincent Cheutet
20th IFAC World Congress of the International Federation of Automatic Control (IFAC 2017), Jul 2017, Toulouse, France. 6 p
Communication dans un congrès hal-01576275v1