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
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2020 IEEE International Conference on. :1907-1914 Oct, 2020
2020 IEEE International Conference on Human-Machine Systems (ICHMS) Human-Machine Systems (ICHMS), 2020 IEEE International Conference on. :1-6 Sep, 2020