المؤلفون: Dimovski, Aleksandar S., Rexhepi, Shpetim, Velinov, Goran, Zeqiri, Izet

المصدر: 2024 13th Mediterranean Conference on Embedded Computing (MECO) Embedded Computing (MECO), 2024 13th Mediterranean Conference on. :1-5 Jun, 2024

Relation: 2024 13th Mediterranean Conference on Embedded Computing (MECO)

المؤلفون: Beyer, Dirk, Chien, Po-Chun, Lee, Nian-Ze

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

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

المؤلفون: Artho, Cyrille, Parízek, Pavel, Qu, Daohan, Galgali, Varadraj, Yi, Pu Luke

المصدر: 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, Proceedings Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :3-22

مصطلحات موضوعية: Java, JPF, Program analysis, Software model checking

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-346541
https://doi.org/10.1007/978-3-031-57249-4_1

المؤلفون: Bajczi, Levente, Adam, Zsofia, Molnar, Vince

المصدر: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2022 IEEE/ACM 10th International Conference on. :1-11 May, 2022

Relation: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE)

المؤلفون: Jeppu, Natasha Yogananda, Melham, Tom, Kroening, Daniel

المصدر: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022. :100-103 Mar, 2022

Relation: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)

المؤلفون: Abate, Alessandro^Aff9, Giacobbe, Mirco^Aff10, Schnitzer, Yannik^Aff9

المساهمون: 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, Gurfinkel, Arie, editor^Aff7, Ganesh, Vijay, editor^Aff8

المصدر: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III. 14683:161-183

المؤلفون: Barth, Max^Aff9, Dietsch, Daniel^Aff10, Heizmann, Matthias^Aff10, Jakobs, Marie-Christine^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:326-330

المؤلفون: Byrnes, Twain^Aff10, Takashima, Yoshiki^Aff10, Jia, Limin^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, Dimitrova, Rayna, editor^Aff7, Lahav, Ori, editor^Aff8, Wolff, Sebastian, editor^Aff9

المصدر: Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II. 14500:210-223

المؤلفون: Zheng, Yaning, Ru, Kaiqi, Feng, Xuewei, Wang, Dongxia

المصدر: 2021 IEEE Sixth International Conference on Data Science in Cyberspace (DSC) DSC Data Science in Cyberspace (DSC), 2021 IEEE Sixth International Conference on. :654-661 Oct, 2021

Relation: 2021 IEEE Sixth International Conference on Data Science in Cyberspace (DSC)

المؤلفون: Yamane, Satoshi, Uemura, Kosuke

المصدر: 2020 IEEE 9th Global Conference on Consumer Electronics (GCCE) Consumer Electronics (GCCE), 2020 IEEE 9th Global Conference on. :54-57 Oct, 2020

Relation: 2020 IEEE 9th Global Conference on Consumer Electronics (GCCE)