2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) QRS-C Software Quality, Reliability, and Security Companion (QRS-C), 2023 IEEE 23rd International Conference on. :845-846 Oct, 2023
2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) QRS-C Software Quality, Reliability, and Security Companion (QRS-C), 2022 IEEE 22nd International Conference on. :288-297 Dec, 2022
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. :102-112 May, 2022
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) QRS-C Software Quality, Reliability and Security Companion (QRS-C), 2021 IEEE 21st International Conference on. :415-424 Dec, 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. :68-74 May, 2021
2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) QRS Software Quality, Reliability and Security (QRS), 2020 IEEE 20th International Conference on. :14-21 Dec, 2020