Participation in Organizing Conferences
- Haifa Verification Conference, General Chair, 2005
- Haifa Verification Conference, Member of the organizing committee, software testing track chair 2005, 2006, 2007, 2008. 2009, 2010
- PADTAD, co-chair 2003, 2004, 2005, 2006, 2007.2008, 2010
- PADTAD general chair 2008
- Automated and Analysis-Driven Debugging (AADEBUG), member of the program committee 2005, 2007
- Fourth International Workshop on Software Quality Assurance (SOQUA), member of the program committee 2007
- International Conference on High Performance Computing and Communications (HPCC) member of the program committee 2006, 2007, 2008
- Vice Chair EuroPar 2008
- Member of Program Committee ARAMIS 2008, RV 2010
- Member of Program Committee IBM System Test conference