Program committee memberships (and similar) in ...
- 38thInternational Conference on Software Engineering. Visions of 2025 and Beyond Track. May 14 - 22, 2016, Austin, Texas.
- Co-organizer, YURIFEST 2015, A Symposium on Logic in Computer Science celebrating Yuri Gurevich' s 75th birthday , September 11-12, 2015, Berlin, Germany.
- Co-chair ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, Sept 28- Oct 3, 2014, Valencia, Spain.
- 34th International Conference on Software Engineering. Industrial PC. June 2-9, 2012 Zurich, Switzerland
2nd International Conference on Runtime Verification, RV 2011, September 27 - September 30, 2011, San Francisco, California, USA,
- 8th International Symposium on Formal Aspects of Component Software , September 14-16, 2011, Oslo, Norway
- General co-chair. 17th International Symposium on Formal Methods 2011.
June 20 - 24, 2011, Lero, Limerick, Ireland
- Co-editor. Software for the Multiprocessor Desktop: Applications, Environments, Platforms. A special issue of IEEE Software. Jan/Feb 2011.
- Co-chair 2010 FSE/SDP Workshop on the Future of Software Engineering Research, November 7 - 8, 2010, Santa Fe, USA
- 1st International Conference on Runtime Verification, Malta, Greece, Nov 2010
- 13th International Conference on International Conference on Algebraic Methodology And Software Technology (AMAST2010), 23-26 June 2010, Manoir St-Castin, Québec, Canada
- 12th Workshop on Formal Techniques for Java-like Programs, June 22, 2010, Maribor Slovenia
- 5th IEEE/ACM International Workshop on Automation of Software Test, Cape Town, South Africa, May 2010
- Co-Chair “Practical Software Testing: Tool Automation and Human Factors”, Schloss Dagstuhl, March 2010
- 5th International Workshop on Systems Software Verification (SSV'10), Vancouver, Canada, Oct 2010
- 9th International Conference on Software Composition 2010. Malaga, Spain, July 2010
- 4th International Conference on Tests & Proofs (TAP 2010), Malaga, Spain, July 2010
- 2nd NASA Formal Methods Symposium. Washington D.C, USA, April 2010,
- 3rd Workshop on State-space Exploration for Automated Testing (SSEAT 2009). Italy, July 2010
- 1st NASA Formal Methods Symposium First NASA Formal Methods Symposium. Moffett Field, USA, April 2009
- 7th International Conference on Integrated Formal Methods. Duesseldorf, Germany, February 2009
- 4th International Workshop on Systems Software Verification (SSV'09), Aachen, Germany, June 2009
- Co-Chair 2nd Workshop on State-space Exploration for Automated Testing (SSEAT 2009). Co-chair. Chicago, July 2009
- 3rd International Conference on Tests And Proofs (TAP), July 2009.
- Committee Member of the 4th Haifa Verification Conference HVC Award, Haifa, Oct. 2008
- 12th International Conference on Algebraic Methodology and Software Technology
AMAST 2008, Urbana, Champaign, USA, July 2008
- 5th International Verification Workshop - VERIFY'08. Sydney, Australia, August, 2008
- Co-Chair 1st Workshop on State-space Exploration for Automated Testing, Seattle, USA, July 2008
- 9th Workshop on Formal Techniques for Java-like Programs, Berlin, July 2007
- Co-chair Workshop on Verified Software: Theory, Tools, and Experiments, Seattle, USA, August, 2006
- 2nd International Conference on Tests and Proofs, Prato, Italy, April, 2008
- 1st International Conference on Tests and Proofs, Zuerich, Switzerland, July, 2007
- 5th workshop on Specification and Verification of Component-Based Systems (SAVCBS), Portland, USA, November 2006
- 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005
- Co-Chair. Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November, 2004
Reviews for Communications of the ACM (CACM), ACM Transactions on Programming Languages and Systems (TOPLAS), IEEE Transactions on Software Engineering, IEEE Software, Science of Computer Programming, Journal of Automated Reasoning , Journal of Object Technology (On Editorial Board since 2010), IET Software