CV HAL - Yinling LIU

An improved approach on the model checking for an agent-based simulation system

Yinling Liu , Tao Wang , Haiqing Zhang , Vincent Cheutet

Software and Systems Modeling, 2021, 20, pp.429-445. ⟨10.1007/s10270-020-00807-4⟩

Article dans une revue hal-02946293v1

Simulation-based fuzzy-rough nearest neighbour fault classification and prediction for aircraft maintenance

Yinling Liu , Tao Wang , Haiqing Zhang , Vincent Cheutet

Journal of Simulation, 2021, 15 (3), pp.202-216. ⟨10.1080/17477778.2019.1680261⟩

Article dans une revue hal-02344426v1

The design and simulation of an autonomous system for aircraft maintenance scheduling

Yinling Liu , Tao Wang , Haiqing Zhang , Vincent Cheutet , Guohua Shen

Computers & Industrial Engineering, 2019, 137, pp.106041. ⟨10.1016/j.cie.2019.106041⟩

Article dans une revue hal-02305653v1

A Surrogate model-based combustion optimization for pellet stoves

Eliott Gauthey-Franet , Yinling Liu , Bril El-Haouzi , Yann Rogaume , Jérémy Hugues

6th IFAC/INSTICC International Conference on Innovative Intelligent Industrial Production and Logistics, Oct 2025, Marbella, Spain

Communication dans un congrès hal-05408897v1

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

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

An agent-based architecture of the Digital Twin for an Emergency Department

Yinling Liu , Thierry Moyaux , Guillaume Bouleux , Vincent Cheutet

2022

Pré-publication, Document de travail hal-03607543v1

Aircraft maintenance information system design and verification

Yinling Liu

Business administration. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEI133⟩

Thèse tel-02956230v1

Yinling LIU

Publications

Publications

An improved approach on the model checking for an agent-based simulation system

Simulation-based fuzzy-rough nearest neighbour fault classification and prediction for aircraft maintenance

The design and simulation of an autonomous system for aircraft maintenance scheduling

A Surrogate model-based combustion optimization for pellet stoves

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

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

An agent-based simulation system for aircraft maintenance scheduling

Information Systems Simulation for Performance Evaluation - Application in Aircraft Maintenance

Aircraft Maintenance Service System Modeling based on Fault Events

An agent-based architecture of the Digital Twin for an Emergency Department

Aircraft maintenance information system design and verification