المؤلفون: Nicoletti, Stefano M., Lopuhaa-Zwakenberg, Milan, Hahn, E. Moritz, Stoelinga, Marielle

المصدر: 2024 Annual Reliability and Maintainability Symposium (RAMS) Reliability and Maintainability Symposium (RAMS), 2024 Annual. :1-6 Jan, 2024

Relation: 2024 Annual Reliability and Maintainability Symposium (RAMS)

المؤلفون: Quaresma, Pedro, Graziani, Pierluigi, Nicoletti, Stefano M.

المصدر: EPTCS 398, 2024, pp. 85-100

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, I.2.3, F4

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

المؤلفون: Nicoletti, Stefano M., Lopuhaä-Zwakenberg, Milan, Hahn, E. Moritz, Stoelinga, Mariëlle

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Logic in Computer Science

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

المؤلفون: Nicoletti, Stefano M., Hahn, E. Moritz, Stoelinga, Marielle

المصدر: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) DSN Dependable Systems and Networks (DSN), 2022 52nd Annual IEEE/IFIP International Conference on. :441-452 Jun, 2022

Relation: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

المؤلفون: Nicoletti, Stefano M., Lopuhaä-Zwakenberg, Milan, Hahn, E. Moritz, Stoelinga, Mariëlle

المصدر: In: Chechik, M., Katoen, JP., Leucker, M. (eds) Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000. Springer, Cham

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

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

المؤلفون: Nicoletti, Stefano M., Peppelman, Marijn, Kolb, Christina, Stoelinga, Mariëlle

مصطلحات موضوعية: Computer Science - Cryptography and Security

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

المؤلفون: Nicoletti, Stefano M.^Aff9, Lopuhaä-Zwakenberg, Milan^Aff9, Hahn, Ernst Moritz^Aff9, Stoelinga, Mariëlle^{Aff9, 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, Ferreira, Carla, editor^Aff7, Willemse, Tim A. C., editor^Aff8

المصدر: Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. 14323:205-225

المؤلفون: Nicoletti, Stefano M.^Aff10, Lopuhaä-Zwakenberg, Milan^Aff10, Hahn, E. Moritz^Aff10, Stoelinga, Mariëlle^{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, Chechik, Marsha, editor^Aff7, Katoen, Joost-Pieter, editor^Aff8, Leucker, Martin, editor^Aff9

المصدر: Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. 14000:199-221

المؤلفون: Nicoletti, Stefano M., Peppelman, Marijn, Kolb, Christina, Stoelinga, Mariëlle

المصدر: In Computer Science Review November 2023 50

المؤلفون: Stoelinga, Marielle^{Aff10, Aff11}, Kolb, Christina^Aff10, Nicoletti, Stefano M.^Aff10, Budde, Carlos E.^Aff12, Hahn, Ernst Moritz^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, Laarman, Alfons, editor^Aff8, Sokolova, Ana, editor^Aff9

المصدر: Model Checking Software : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. 12864:3-21