المؤلفون: Beyer, Dirk, Lingsch-Rosenfeld, Marian, Spiessl, Martin

المصدر: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :2078-2081 Sep, 2023

Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Beyer, Dirk, Spiessl, Martin

المصدر: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :2074-2077 Sep, 2023

Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Baier, Daniel^Aff3, Beyer, Dirk^Aff3, Chien, Po-Chun^Aff3, Jankola, Marek^Aff3, Kettl, Matthias^Aff3, Lee, Nian-Ze^Aff3, Lemberger, Thomas^Aff3, Lingsch-Rosenfeld, Marian^Aff3, Spiessl, Martin^Aff3, Wachowitz, Henrik^Aff3, Wendler, Philipp^Aff3

المساهمون: Finkbeiner, Bernd, editor^Aff1, Kovács, Laura, editor^Aff2

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 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, Part III. 14572:359-364

المؤلفون: Beyer, Dirk^Aff9, Spiessl, Martin^Aff9, Umbricht, Sven^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, Schlingloff, Bernd-Holger, editor^Aff7, Chai, Ming, editor^Aff8

المصدر: Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings. 13550:111-128

المؤلفون: Beyer, Dirk^Aff9, Lingsch Rosenfeld, Marian^Aff9, Spiessl, Martin^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, Schlingloff, Bernd-Holger, editor^Aff7, Chai, Ming, editor^Aff8

المصدر: Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings. 13550:3-19

المؤلفون: Beyer, Dirk^Aff10, Spiessl, Martin^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, Fisman, Dana, editor^Aff8, Rosu, Grigore, editor^Aff9

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II. 13244:429-434

المؤلفون: Beyer, Dirk^Aff10, Spiessl, Martin^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, Lahiri, Shuvendu K., editor^Aff8, Wang, Chao, editor^Aff9

المصدر: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II. 12225:165-177