المؤلفون: Ahmed, Shibbir, Gao, Hongyang, Rajan, Hridesh

المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2024 IEEE/ACM 46th International Conference on. :440-452 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)

المؤلفون: Alhabardi, Fahad, Lazar, Bogdan, Setzer, Anton

المصدر: 2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain) Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain), 2022 IEEE 1st. :1-6 Nov, 2022

Relation: 2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)

المؤلفون: Dutta, Arpita^Aff9, Maghareh, Rasool^Aff10, Jaffar, Joxan^Aff9, Godboley, Sangharatna^Aff11, Yu, Xiao Liang^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, Beyer, Dirk, editor^Aff7, Cavalcanti, Ana, editor^Aff8

المصدر: Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings. 14573:320-325

المؤلفون: Sedlár, Igor^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, Gierasimczuk, Nina, editor^Aff7, Velázquez-Quesada, Fernando R., editor^Aff8

المصدر: Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers. 14401:52-67

المؤلفون: Chen, Wei

المصدر: 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE) TASE Theoretical Aspects of Software Engineering (TASE), 2021 International Symposium on. :15-22 Aug, 2021

Relation: 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE)

المؤلفون: Winter, Kirsten, Coughlin, Nicholas, Smith, Graeme

المصدر: 2021 IEEE 34th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2021 IEEE 34th. :1-16 Jun, 2021

Relation: 2021 IEEE 34th Computer Security Foundations Symposium (CSF)

المؤلفون: Liu, Xiao, Wang, Shuai, Wang, Pei, Wu, Dinghao

المصدر: 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) Software Engineering: Software Engineering Education and Training (ICSE-SEET), 2019 IEEE/ACM 41st International Conference on. :126-137 May, 2019

Relation: 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET)

المؤلفون: Flaviani, Federico

المصدر: 2018 XLIV Latin American Computer Conference (CLEI) CLEI Computer Conference (CLEI), 2018 XLIV Latin American. :749-758 Oct, 2018

Relation: 2018 XLIV Latin American Computer Conference (CLEI)

المؤلفون: You, Zhen^{Aff10, Aff11}, Yi, Xinwu^{Aff10, Aff11, Aff12}, Xue, Jinyun^{Aff10, Aff11}, Hu, Hongwen^{Aff10, Aff11, Aff12}, Huang, Jiewen^Aff13, Cheng, Zhuo^{Aff10, Aff11}

المساهمون: 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, Liu, Shaoying, editor^Aff7, Duan, Zhenhua, editor^Aff8, Liu, Ai, editor^Aff9

المصدر: Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers. 13854:3-11

المؤلفون: Feng, Renyan^{Aff1, Aff2}, Wang, Yisong^{Aff1, Aff2, IDs10472022098034_cor2}, Qian, Ren^{Aff1, Aff2}, Yang, Lei^{Aff1, Aff2}, Chen, Panfeng^{Aff1, Aff2}

المصدر: Annals of Mathematics and Artificial Intelligence. 91(1):1-43