- 2021 to Present: Associate Editor of IEEE Transactions on Software Engineering
- 2021 to Present: Associate Editor of Science of Computer Programs
- General Chair of APSEC 2020
- Program co-Chair of Internetware 2020
- Program co-Chair of SETTA 2019
- Program co-Chair of 24th Conference on the Engineering of Complex Computer Systems (ICECCS 2018)
- General co-Chair of 22th Conference on the Engineering of Complex Computer Systems (ICECCS 2016)
- Program co-Chair of 9th International Symposium on on Theoretical Aspects of Software Engineering (TASE 2015)
- Program co-Chair of 20th International Symposium on Formal Methods (FM 2014)
- General co-Chair of 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)
- General co-Chair of 18th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS 2013)
- Program co-Chair of 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)
- Technical Program Committee of ICECCS 2022, FSE 2021, ICSE 2021, ASE 2021, FM 2021, ATVA 2021, ICSE 2020, ICSE 2019, ASE 2019, ISSTA 2019, ATVA 2019, FM 2019, FORMATS 2019, QRS 2019, ICSE SRC 2019, TASE 2019, ICFEM 2019, ICSE 2018 (workshop track), FMICS/AVoCS 2017, HASE 2017, ATVA 2017, SPIN 2017, ICSE 2016, FM 2016, FM 2015, ICFEM 2015, ICSE-NIER 2015, AVOCS 2014, ICECCS 2014, ICFEM 2014, UTP 2014, TIME 2014, SEFM 2014, SSV 2014, TIME 2013, ICFEM 2013, FORMATS 2013, FSE 2013 (tool demo track), SSV 2012, TASE 2012, UTP 2012, APSEC 2012, ICFEM 2012, ICFEM 2011, MODELS 2011, SSIRI 2011, IJCAI 2011, MODELS 2010, ICFEM 2010, ATVA 2010, UTP 2010, TASE 2009, ICIS 2009