BibTeX records: Yinling Liu

• > Home > Persons > 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}
}