Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Yinling Liu
@inproceedings{DBLP:conf/smc/LiuH23, author = {Yinling Liu and Hind Bril El Haouzi}, title = {Formal Verification of Ethical Choices in Industrial {CPS}}, booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics, {SMC} 2023, Honolulu, Oahu, HI, USA, October 1-4, 2023}, pages = {2537--2542}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/SMC53992.2023.10394479}, doi = {10.1109/SMC53992.2023.10394479}, timestamp = {Tue, 13 Feb 2024 09:22:04 +0100}, biburl = {https://dblp.org/rec/conf/smc/LiuH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-02206, author = {Li Huang and Sophie Ebersold and Alexander Kogtenkov and Alexandr Naumchev and Bertrand Meyer and Yinling Liu and ALiyu Alege}, title = {Lessons from Formally Verified Deployed Software Systems}, journal = {CoRR}, volume = {abs/2301.02206}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.02206}, doi = {10.48550/ARXIV.2301.02206}, eprinttype = {arXiv}, eprint = {2301.02206}, timestamp = {Thu, 16 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-02206.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/LiuB22, author = {Yinling Liu and Jean{-}Michel Bruel}, title = {Modeling of Natural Language Requirements based on States and Modes}, booktitle = {30th {IEEE} International Requirements Engineering Conference Workshops, {RE} 2022 - Workshops, Melbourne, Australia, August 15-19, 2022}, pages = {190--194}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/REW56159.2022.00043}, doi = {10.1109/REW56159.2022.00043}, timestamp = {Mon, 07 Nov 2022 17:39:00 +0100}, biburl = {https://dblp.org/rec/conf/re/LiuB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jos/LiuWZC21, author = {Yinling Liu and Tao Wang and Haiqing Zhang and Vincent Cheutet}, title = {Simulation-based fuzzy-rough nearest neighbour fault classification and prediction for aircraft maintenance}, journal = {J. Simulation}, volume = {15}, number = {3}, pages = {202--216}, year = {2021}, url = {https://doi.org/10.1080/17477778.2019.1680261}, doi = {10.1080/17477778.2019.1680261}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jos/LiuWZC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/LiuWZC21, author = {Yinling Liu and Tao Wang and Haiqing Zhang and Vincent Cheutet}, title = {An improved approach on the model checking for an agent-based simulation system}, journal = {Softw. Syst. Model.}, volume = {20}, number = {2}, pages = {429--445}, year = {2021}, url = {https://doi.org/10.1007/s10270-020-00807-4}, doi = {10.1007/S10270-020-00807-4}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/LiuWZC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/candie/LiuWZCS19, author = {Yinling Liu and Tao Wang and Haiqing Zhang and Vincent Cheutet and Guohua Shen}, title = {The design and simulation of an autonomous system for aircraft maintenance scheduling}, journal = {Comput. Ind. Eng.}, volume = {137}, year = {2019}, url = {https://doi.org/10.1016/j.cie.2019.106041}, doi = {10.1016/J.CIE.2019.106041}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/candie/LiuWZCS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip5-1/LiuWZC18, author = {Yinling Liu and Tao Wang and Haiqing Zhang and Vincent Cheutet}, editor = {Paolo Chiabert and Abdelaziz Bouras and Fr{\'{e}}d{\'{e}}ric No{\"{e}}l and Jos{\'{e}} R{\'{\i}}os}, title = {Information Systems Simulation for Performance Evaluation - Application in Aircraft Maintenance}, booktitle = {Product Lifecycle Management to Support Industry 4.0 - 15th {IFIP} {WG} 5.1 International Conference, {PLM} 2018, Turin, Italy, July 2-4, 2018, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {540}, pages = {789--799}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-01614-2\_72}, doi = {10.1007/978-3-030-01614-2\_72}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip5-1/LiuWZC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcc/JiaAHALCD17, author = {Zhe Jia and Christine Ackroyd and Tingting Han and Vibhor Agrawal and Yinling Liu and Kenneth Christensen and Brian N. Dominy}, title = {Effects from metal ion in tumor endothelial marker 8 and anthrax protective antigen: BioLayer Interferometry experiment and molecular dynamics simulation study}, journal = {J. Comput. Chem.}, volume = {38}, number = {15}, pages = {1183--1190}, year = {2017}, url = {https://doi.org/10.1002/jcc.24768}, doi = {10.1002/JCC.24768}, timestamp = {Fri, 07 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcc/JiaAHALCD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sqj/LiuSHY17, author = {Yinling Liu and Guohua Shen and Zhiqiu Huang and Zhibin Yang}, title = {Quantitative risk analysis of safety-critical embedded systems}, journal = {Softw. Qual. J.}, volume = {25}, number = {2}, pages = {503--527}, year = {2017}, url = {https://doi.org/10.1007/s11219-015-9302-6}, doi = {10.1007/S11219-015-9302-6}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sqj/LiuSHY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/ShenLWSWHK14, author = {Guohua Shen and Yinling Liu and Fei Wang and Jia Si and Zi Wang and Zhiqiu Huang and Dazhou Kang}, editor = {Pavel Shvaiko and J{\'{e}}r{\^{o}}me Euzenat and Ming Mao and Ernesto Jim{\'{e}}nez{-}Ruiz and Juanzi Li and Axel Ngonga}, title = {OMReasoner: combination of multi-matchers for ontology matching: results for {OAEI} 2014}, booktitle = {Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference {(ISWC} 2014), Riva del Garda, Trentino, Italy, October 20, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1317}, pages = {142--148}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1317/oaei14\_paper6.pdf}, timestamp = {Mon, 26 Jun 2023 20:39:38 +0200}, biburl = {https://dblp.org/rec/conf/semweb/ShenLWSWHK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.