Guest editor for: the FMSD journal (special issue on Learning Techniques for Compositional Reasoning); the IET Software journal (special issue on Automated Compositional Verification: Techniques, Applications and Empirical Studies); the Science of Computer Programming journal (special issue on FACS), the STTT journal (special issue on SPIN), Annals of Mathematics and Artificial Intelligence (special issue on Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI), Innovations in Systems and Software Engineering: a NASA Journal (special issue on NFM).
ISSTA'10 Tutorial on Automated Testing with Java PathFinder. Doctoral Symposium Co-Chair for ASE'10. ISoLA'10 Track Organizer -- Learning Techniques for Software Verification and Validation. LNCS SPIN'09 Proceedings. Program chair for SPIN'09 , co-chair for NFM'09. Lectures at UC Berkeley. Program co-chair for FACS'08. Chair of Haifa Verification Award Committee (HVC'08). JPF Workshop (May 1-2, 2008). JPF in Google Summer of Code 2008. ICSE'08 Tutorial on Compositional Verification.
Program committee member for: ASE'10, SPIN'10, RV'10, ISSTA'10 (tool/demo), NFM'10, EMSOFT'10, FACS'10, ICSE'09, FACS'09, FMICS'09, EMSOFT'09, ASE'09 (expert review panel), AFM'09, FTfJP'09, AFM'08, ICCP'08, CONCUR'08, ASE'08, SPIN'08, FSE'08, ISSTA'08, CAV'08, ICSE'08, ISEC'08, FACS'07, ICCP'07, ESEC-FSE'07, SPIN'07, BLISS'07, ISSTA'07, ASE'07 (expert review panel), CAV'06, FSE'06, ICCP'06, SAVCBS'06, SAVCBS'05, ICSE'04 Tutorials.