Yinling Liu

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 10

Top Topics

Natural Language

Nearest Neighbour

Software Systems

Ontology Matching

Top Venues

Formal Aspects Comput.

Publications

Yinling Liu, Jean-Michel Bruel
Modeling and Verification of Natural Language Requirements based on States and Modes. Formal Aspects Comput. 36 (2) (2024)
Yinling Liu, Hind Bril El Haouzi
Formal Verification of Ethical Choices in Industrial CPS. SMC (2023)
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege
Lessons from Formally Verified Deployed Software Systems. CoRR (2023)
Yinling Liu, Jean-Michel Bruel
Modeling of Natural Language Requirements based on States and Modes. RE Workshops (2022)
Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet
Simulation-based fuzzy-rough nearest neighbour fault classification and prediction for aircraft maintenance. J. Simulation 15 (3) (2021)
Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet
An improved approach on the model checking for an agent-based simulation system. Softw. Syst. Model. 20 (2) (2021)
Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet, Guohua Shen
The design and simulation of an autonomous system for aircraft maintenance scheduling. Comput. Ind. Eng. 137 (2019)
Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet
Information Systems Simulation for Performance Evaluation - Application in Aircraft Maintenance. PLM (2018)
Zhe Jia, Christine Ackroyd, Tingting Han, Vibhor Agrawal, Yinling Liu, Kenneth Christensen, Brian N. Dominy
Effects from metal ion in tumor endothelial marker 8 and anthrax protective antigen: BioLayer Interferometry experiment and molecular dynamics simulation study. J. Comput. Chem. 38 (15) (2017)
Yinling Liu, Guohua Shen, Zhiqiu Huang, Zhibin Yang
Quantitative risk analysis of safety-critical embedded systems. Softw. Qual. J. 25 (2) (2017)
Guohua Shen, Yinling Liu, Fei Wang, Jia Si, Zi Wang, Zhiqiu Huang, Dazhou Kang
OMReasoner: combination of multi-matchers for ontology matching: results for OAEI 2014. OM (2014)