Liu, Yinling
351  results:
Search for persons X
?
7

Formal Verification of Ethical Choices in Industrial CPS:

, In: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC),
Liu, Yinling ; El Haouzi, Hind Bril - p. 2537-2542 , 2023
 
?
10

Modeling of Natural Language Requirements based on States a..:

, In: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW),
Liu, Yinling ; Bruel, Jean-Michel - p. 190-194 , 2022
 
?
12

An improved approach on the model checking for an agent-bas..:

Liu, Yinling ; Wang, Tao ; Zhang, Haiqing.
Software and Systems Modeling.  20 (2020)  2 - p. 429-445 , 2020
 
?
13

The design and simulation of an autonomous system for aircr..:

Liu, Yinling ; Wang, Tao ; Zhang, Haiqing..
Computers & Industrial Engineering.  137 (2019)  - p. 106041 , 2019
 
?
15

Information Systems Simulation for Performance Evaluation -..:

, In: Product Lifecycle Management to Support Industry 4.0; IFIP Advances in Information and Communication Technology,
Liu, Yinling ; Wang, Tao ; Zhang, Haiqing. - p. 789-799 , 2018
 
1-15