2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2023 IEEE/ACM 11th International Conference on. :18-28 May, 2023
2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C) ICSA-C Software Architecture Companion (ICSA-C), 2023 IEEE 20th International Conference on. :86-90 Mar, 2023
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. :80-90 May, 2022
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) SEAMS Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021 International Symposium on. :245-251 May, 2021
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2021 IEEE/ACM 9th International Conference on. :97-110 May, 2021
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2020 IEEE International Conference on. :1907-1914 Oct, 2020