Yinling Liu

According to our database, Yinling Liu authored at least 16 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Lessons from Formally Verified Deployed Software Systems.

Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu

ACM Comput. Surv., June, 2026

2025

Hybrid simulation modelling of emergency departments for resource scheduling.

Yinling Liu, Thierry Moyaux, Guillaume Bouleux, Vincent Cheutet

J. Simulation, March, 2025

A Surrogate Model-Based Combustion Optimization for Pellet Stoves.

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

Proceedings of the Innovative Intelligent Industrial Production and Logistics, 2025

MLP Model for Prediction of Pellet Combustion: How to Deal with Small Datasets.

Philippe Thomas, Eliott Gauthey-Franet, Yinling Liu, Hind Bril El Haouzi, Jérémy Hugues Dits Ciles, Yann Rogaume

Proceedings of the Computational Intelligence - 17th International Joint Conference, 2025

2024

Modeling and Verification of Natural Language Requirements based on States and Modes.

Yinling Liu, Jean-Michel Bruel

Formal Aspects Comput., June, 2024

Towards a Digital Twin Architecture Based on MAPE-K Framework and Holonic Paradigm: Application to an Emergency Department and Smart Manufacturing Cases Studies.

Abir Ismaili-Aoui, Emmanuel Zimmermann, Yinling Liu, Guillaume Demesure, Hind Bril El Haouzi

Proceedings of the Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, 2024

2023

Lessons from Formally Verified Deployed Software Systems.

Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege

CoRR, 2023

Formal Verification of Ethical Choices in Industrial CPS.

Yinling Liu, Hind Bril El Haouzi

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

2022

Modeling of Natural Language Requirements based on States and Modes.

Yinling Liu, Jean-Michel Bruel

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

2021

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

Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet

Softw. Syst. Model., 2021

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

Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet

J. Simulation, 2021

2019

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

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

Comput. Ind. Eng., 2019

2018

Information Systems Simulation for Performance Evaluation - Application in Aircraft Maintenance.

Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet

Proceedings of the Product Lifecycle Management to Support Industry 4.0, 2018

2017

Quantitative risk analysis of safety-critical embedded systems.

Yinling Liu, Guohua Shen, Zhiqiu Huang, Zhibin Yang

Softw. Qual. J., 2017

Effects from metal ion in tumor endothelial marker 8 and anthrax protective antigen: BioLayer Interferometry experiment and molecular dynamics simulation study.

Zhe Jia, Christine Ackroyd, Tingting Han, Vibhor Agrawal, Yinling Liu, Kenneth Christensen, Brian N. Dominy

J. Comput. Chem., 2017

2014

OMReasoner: combination of multi-matchers for ontology matching: results for OAEI 2014.

Guohua Shen, Yinling Liu, Fei Wang, Jia Si, Zi Wang, Zhiqiu Huang, Dazhou Kang

Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014