Services
PC Member, The 18th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2024Reviewer, The 14th Asia-Pacific Symposium on Internetware (Internetware), 2023Reviewer, The 24th International Conference on Formal Engineering Methods (ICFEM), 2022Reviewer, IEEE Access 2022Reviewer, The 23rd International Conference on Formal Engineering Methods (ICFEM), 2022Reviewer, The 16th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2022Reviewer, IEEE Access 2021Reviewer, The 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) 2021Reviewer, The 14th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), 2021Reviewer, Journal of Computer Science and Technology, 2021Reviewer, Computers & Security 2020Reviewer, IEEE Transactions on Reliability, 2020Reviewer, Journal of Experimental & Theoretical Artificial Intelligence, 2020Reviewer, The 21st International Conference on Formal Engineering Methods (ICFEM), 2020Reviewer, The 14th International Conference on Verification and Evaluation of Computer and Communication Systems, 2020Reviewer, The 10th International Workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL), 2020Reviewer, IEEE Transactions on Reliability, 2020Reviewer, The 14th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2020Reviewer, The 29th International Joint Conference on Artificial Intelligence (IJCAI), 2020Reviewer, The 34th Conference on Artificial Intelligence (AAAI), 2020Reviewer, The 9th International Workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL), 2019Reviewer, The 14th ACM ASIA Conference on Computer and Communications Security (ASIACCS), 2019Reviewer, The International Conference on Information Security and Cryptology (INSCRYPT), 2018Reviewer, The Annual Conference on Software Analysis, Testing and Evolution (SATE), 2018