المؤلفون: Murphy, Logan, Viger, Torin, Di Sandro, Alessio, Chechik, Marsha

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

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

المؤلفون: Menghi, Claudio, Viger, Torin, Di Sandro, Alessio, Rees, Chris, Joyce, Jeff, Chechik, Marsha

المصدر: 2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ICSE-NIER Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2023 IEEE/ACM 45th International Conference on. :135-139 May, 2023

Relation: 2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)

المؤلفون: Viger, Torin, Murphy, Logan, Di Sandro, Alessio, Shahin, Ramy, Chechik, Marsha

المصدر: 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2021 ACM/IEEE 24th International Conference on. :194-204 Oct, 2021

Relation: 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)

المؤلفون: Viger, Torin^{Aff1, IDs10270022010634_cor1}, Murphy, Logan, Di Sandro, Alessio, Menghi, Claudio, Shahin, Ramy, Chechik, Marsha

المصدر: Software and Systems Modeling. 22(5):1473-1494

المؤلفون: Viger, Torin^Aff12, Diemert, Simon^Aff13, Foster, Olivia^Aff13

المساهمون: 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, Guiochet, Jérémie, editor^Aff7, Tonetta, Stefano, editor^Aff8, Schoitsch, Erwin, editor^Aff9, Roy, Matthieu, editor^Aff10, Bitsch, Friedemann, editor^Aff11

المصدر: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings. 14182:165-175

المؤلفون: Millet, Laure^Aff10, Diemert, Simon^Aff10, Rees, Chris^Aff10, Viger, Torin^Aff11, Chechik, Marsha^Aff11, Menghi, Claudio^Aff12, Joyce, Jeffrey^Aff10

المساهمون: 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, Guiochet, Jérémie, editor^Aff7, Tonetta, Stefano, editor^Aff8, Bitsch, Friedemann, editor^Aff9

المصدر: Computer Safety, Reliability, and Security : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings. 14181:3-10

المؤلفون: Murphy, Logan^Aff10, Viger, Torin^Aff10, Sandro, Alessio Di^Aff10, Shahin, Ramy^Aff10, Chechik, Marsha^Aff10

المساهمون: 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, Calinescu, Radu, editor^Aff8, Păsăreanu, Corina S., editor^Aff9

المصدر: Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. 13085:23-43

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

المؤلفون: Viger, Torin^Aff12, Salay, Rick^Aff13, Selim, Gehan^Aff12, Chechik, Marsha^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, Casimiro, António, editor^Aff8, Ortmeier, Frank, editor^Aff9, Bitsch, Friedemann, editor^Aff10, Ferreira, Pedro, editor^Aff11

المصدر: Computer Safety, Reliability, and Security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings. 12234:34-49

المؤلفون: Chechik, Marsha^Aff10, Kokaly, Sahar^Aff10, Rahimi, Mona^Aff10, Salay, Rick^Aff10, Viger, Torin^Aff10

المساهمون: 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, Chakraborty, Supratik, editor^Aff8, Navas, Jorge A., editor^Aff9

المصدر: Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers. 12031:19-29