Yinling Liu

16 papers B 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Lessons from Formally Verified Deployed Software Systems.
ACM Comput. Surv.
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu
2025 — conf
A Surrogate Model-Based Combustion Optimization for Pellet Stoves.
IN4PL (2)
Eliott Gauthey-Franet, Yinling Liu, Hind Bril El Haouzi, Yann Rogaume, Jérémy Hugues Dits Ciles
2025 J jnl
Hybrid simulation modelling of emergency departments for resource scheduling.
J. Simulation
Yinling Liu, Thierry Moyaux, Guillaume Bouleux, Vincent Cheutet
2025 — conf
MLP Model for Prediction of Pellet Combustion: How to Deal with Small Datasets.
IJCCI (3)
Philippe Thomas, Eliott Gauthey-Franet, Yinling Liu, Hind Bril El Haouzi, Jérémy Hugues Dits Ciles, Yann Rogaume
2024 J jnl
Modeling and Verification of Natural Language Requirements based on States and Modes.
Formal Aspects Comput.
Yinling Liu, Jean-Michel Bruel
2024 — conf
Towards a Digital Twin Architecture Based on MAPE-K Framework and Holonic Paradigm: Application to an Emergency Department and Smart Manufacturing Cases Studies.
SOHOMA
Abir Ismaili-Aoui, Emmanuel Zimmermann, Yinling Liu, Guillaume Demesure, Hind Bril El Haouzi
2023 B conf
Formal Verification of Ethical Choices in Industrial CPS.
SMC
Yinling Liu, Hind Bril El Haouzi
2023 J jnl
Lessons from Formally Verified Deployed Software Systems.
CoRR
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege
2022 — conf
Modeling of Natural Language Requirements based on States and Modes.
RE Workshops
Yinling Liu, Jean-Michel Bruel
2021 J jnl
An improved approach on the model checking for an agent-based simulation system.
Softw. Syst. Model.
Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet
2021 J jnl
Simulation-based fuzzy-rough nearest neighbour fault classification and prediction for aircraft maintenance.
J. Simulation
Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet
2019 J jnl
The design and simulation of an autonomous system for aircraft maintenance scheduling.
Comput. Ind. Eng.
Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet, Guohua Shen
2018 — conf
Information Systems Simulation for Performance Evaluation - Application in Aircraft Maintenance.
PLM
Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet
2017 J jnl
Effects from metal ion in tumor endothelial marker 8 and anthrax protective antigen: BioLayer Interferometry experiment and molecular dynamics simulation study.
J. Comput. Chem.
Zhe Jia, Christine Ackroyd, Tingting Han, Vibhor Agrawal, Yinling Liu, Kenneth Christensen, Brian N. Dominy
2017 J jnl
Quantitative risk analysis of safety-critical embedded systems.
Softw. Qual. J.
Yinling Liu, Guohua Shen, Zhiqiu Huang, Zhibin Yang
2014 — conf
OMReasoner: combination of multi-matchers for ontology matching: results for OAEI 2014.
OM
Guohua Shen, Yinling Liu, Fei Wang, Jia Si, Zi Wang, Zhiqiu Huang, Dazhou Kang