Service

PC Member

• Software Architecture: Theory, Technology, and Applications (SA-TTA), 2019
• Workshop on Formal Approaches for Advanced Computing Systems (FAACS), 2019
• International Workshop on Robotics Software Engineering (ROSE), 2018, 2019
• Conference On Formal Methods In Software Engineering (FormaliSE), 2018, 2020

Reviewer

• Software and Systems Modeling (SOSYM), 2019
• Transactions on Software Engineering and Methodology (TOSEM), 2019
• IET Software, 2019
• Transactions on Autonomous and Adaptive Systems (TAAS), 2017

Sub-Reviewer

• Automated Software Engineering (ASE), 2018