International Committees and Services (selection)
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)