International Committees and Services (selection)

IEEE Transaction on Software Engineering

  • Associate editor (2013-today)

ACM Transactions on Software Engineering and Methodology (TOSEM)

  • Associate editor (2006-2013)

Steering Committee member

  • International Conference on Software Engineering (ICSE) (2011-today)
  • International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (2010-today)
  • ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) (2006-today)
  • 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),
  • ACM International Symposium on the Foundations of Software Engineering (FSE) (2004, 2010, 2011, 2013),
  • International Symposium on Software Test and Analysis (ISSTA) (1997, 2000, 2002, 2007, 2009),
  • 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),
  • 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)