Yinling Liu

According to our database, Yinling Liu authored at least 10 papers between 2014 and 2023.

Collaborative distances:

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

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