المؤلفون: Lai, Li-Chang^Aff11, Liu, Jiaxiang^Aff12, Shi, Xiaomu^Aff13, Tsai, Ming-Hsien^Aff14, Wang, Bow-Yaw^Aff15, Yang, Bo-Yin^Aff15

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Garcia-Alfaro, Joaquin, editor^Aff7, Kozik, Rafał, editor^Aff8, Choraś, Michał, editor^Aff9, Katsikas, Sokratis, editor^Aff10

المصدر: Computer Security – ESORICS 2024 : 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16–20, 2024, Proceedings, Part IV. 14985:377-395

المؤلفون: Liu, Jiaxiang, Xing, Yunhan, Shi, Xiaomu, Song, Fu, Xu, Zhiwu, Ming, Zhong

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2207.00759

المؤلفون: Liu, Jiaxiang, Shi, Xiaomu, Tsai, Ming-Hsien, Wang, Bow-Yaw, Yang, Bo-Yin

المصدر: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2019 34th IEEE/ACM International Conference on. :552-564 Nov, 2019

Relation: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Tsai, Ming-Hsien^Aff12, Fu, Yu-Fu^Aff10, Liu, Jiaxiang^Aff13, Shi, Xiaomu^Aff11, Wang, Bow-Yaw^Aff9, Yang, Bo-Yin^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Enea, Constantin, editor^Aff7, Lal, Akash, editor^Aff8

المصدر: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II. 13965:227-240

المؤلفون: Tsai, Ming-Hsien^Aff12, Fu, Yu-Fu^Aff10, Liu, Jiaxiang^Aff13, Shi, Xiaomu^Aff11, Wang, Bow-Yaw^Aff9, Yang, Bo-Yin^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Enea, Constantin, editor^Aff7, Lal, Akash, editor^Aff8

المصدر: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. 13966:329-349

المؤلفون: Shi, Xiaomu, Zhang, Chao

المصدر: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2016 IEEE/AIAA 35th. :1-6 Sep, 2016

Relation: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Zhang, Chao, Shi, Xiaomu, Chen, Dong

المصدر: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd. :1-17 Oct, 2014

Relation: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC)

المؤلفون: Zhang, Chao, Shi, Xiaomu

المصدر: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd. :1-15 Oct, 2014

Relation: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC)

المؤلفون: Shi, Xiaomu^Aff10, Fu, Yu-Fu^Aff11, Liu, Jiaxiang^Aff10, Tsai, Ming-Hsien^Aff12, Wang, Bow-Yaw^Aff12, Yang, Bo-Yin^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Silva, Alexandra, editor^Aff8, Leino, K. Rustan M., editor^Aff9

المصدر: Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. 12760:149-171