2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC) PRDC Pacific Rim International Symposium on Dependable Computing (PRDC), 2021 IEEE 26th. :67-76 Dec, 2021
2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) TASE Theoretical Aspects of Software Engineering (TASE),2020 International Symposium on. :185-192 Dec, 2020
2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) Theoretical Aspects of Software Engineering (TASE), 2017 International Symposium on. :1-8 Sep, 2017