IEEE Transaction on Software Engineering

• Associate editor (2013-today)

ACM Transactions on Software Engineering and Methodology (TOSEM)

• Editor in Chief (2019-today)
• Associate editor (2006-2013)

Steering Committee member

• International Conference on Software Engineering (ICSE) (2009-2015)
• International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (2009-2014)
• ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) (2006-2019)
• European Joint Conferences on Theory and Practice of Software (ETAPS) and International Conference on Fundamental Approaches to Software Engineering (FASE) (2000-2005)

Chair

• 2013 - General chair of the International Conference on Software Testing and Analysis (ISSTA)
• 2012 - Program chair of the International Conference on Software Engineering (ICSE)
• 2011 - Co-organizer of the Dagstuhl seminar on “self-repairing programs”
• 2010 - Program chair of the International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
• 2007 - General chair of the International Workshop on Software Quality Assurance (SoQuA)
• 2006 - Program chair of the International Conference on Software Testing and Analysis (ISSTA)
• 2000-2002 - Executive chair of the IEEE Technical Committee on Complexity in Computing (IEEE-TCCX)
• 1997-1999 - Vice executive chair of the IEEE Technical Committee on Complexity in Computing (IEEE-TCCX)

Program Committee member

• International Conference on Software Engineering (ICSE) (1997, 2000, 2002, 2009, 2011, 2018),
• ACM International Symposium on the Foundations of Software Engineering (FSE) (2004, 2010, 2011, 2013, 2015),
• International Symposium on Software Test and Analysis (ISSTA) (1997, 2000, 2002, 2007, 2009, 2015, 2016),
• International Conference on Fundamental Aspects of Software Engineering (FASE) (2001, 2003, 2006, 2009, 2010),
• International Conference on Automated Software Engineering (ASE) (2007, 2008, 2009, 2010),
• IEEE International Conference on Software Testing (ICST) (2009, 2010, 2015, 2017),
• FSE/ESEC International Workshop on Tool Integration (2003),
• Brazilian Symposium on Software Engineering (SBSE) (2001, 2002, 2003, 2006, 2008, 2009, 2010),
• International Workshop on Dynamic Analysis (WODA) (2007, 2008, 2010),
• IEEE International Workshop on Software Specifications and Design (IWSSD 1997),
• Euromicro Conference on Software Maintenance and Reengineering (CSMR 1998, 1999),
• Doctoral Symposium of the International Conference on Software Engineering (ICSE 2004, 2007),
• International Workshop on Software Quality Assurance (SoQuA) (2006),
• International Workshop on the Verification and Validation of Variability-intensive Systems (2011),
• Haifa Verification conference (HVC) (2006, 2007),
• International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (2009, 2010, 2012, 2013, 2014),
• International Conference on Autonomic Computing (ICAC) (2009),
• ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) (2011),
• International Conference on Graph Transformations (ICGT) (2002, 2003, 2006, 2008),
• IEEE International Conference on Engineering Complex Computer Systems (ICECCS) (1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2007, 2008, 2009),
• World Conference on Integrated Design and Process Technology (IDPT) (2002),
• IEEE Symposium on Visual Language (VL 1999),
• International Symposium on Architecting Critical Systems (ISARCS) (2010),
• International Workshop and Symposium Applications of Graph Transformation with Industrial Relevance (AGTIVE 1999),
• International Workshop on Graph and Model Transformations (GraMoT) (2006, 2007, 2008),
• International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS) (2008)