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
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
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2017 IEEE/ACM 5th International FME Workshop on. :65-71 May, 2017
2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C) Software Quality, Reliability and Security Companion (QRS-C) , 2019 IEEE 19th International Conference on. :532-533 Jul, 2019