9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2011), Program Committee member
18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Program Committee member
Fourth International Workshop on Multicore Software Engineering (IWMSE11), Program Committee member
16th ACM Symposium on Access Control Models and Technologies (SACMAT 2011), Program Committee member
ACM SIGPLAN 2011 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2011), Program Committee member
17th International SPIN Workshop on Model Checking of Software (SPIN 2010), Program Committee member
8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2010), Program Committee member
2nd IEEE International Symposium on Ubisafe Computing (UbiSafe-09), Program Committee member
2009 Haifa Verification Conference, Program Committee member
22nd IEEE Computer Security Foundations Symposium (CSF-22), General Chair and Program Committee member
7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2009), Program Committee member
16th International SPIN Workshop on Model Checking Software (SPIN 2009), Program Committee member
2009 Workshop on Runtime Verification (RV 2009), Program Committee member
2008 Haifa Verification Conference, Program Committee member
3rd International Workshop on Flexible Database and Information Systems Technology (FlexDBIST-08), Program Committee member
6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2008), Program Chair
2008 ACM Symposium on Access Control Models and Technologies (SACMAT 2008), Program Committee member
Spring 2008 Security and Privacy Day, Co-Chair
2008 Workshop on Runtime Verification (RV 2008), Program Committee member
2nd Workshop on Automated Formal Methods (AFM 2007), Program Committee Member
2007 Haifa Verification Conference, Program Committee member
2007 Workshop on Runtime Verification (RV 2007), Program Committee member
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2007), Program Committee member
8th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007), Program Committee member
2006 Haifa Verification Conference, Program Committee member
2006 Workshop on Formal Aspects of Testing and Runtime Verification (FATES/RV 2006), Program Committee member
TV'06: Workshop on Multithreading in Hardware and Software: Formal Approaches to Design and Verification, Program Committee member
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2006), Program Committee member
ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI), Program Committee member
13th International SPIN Workshop on Model Checking Software (SPIN 2006), Program Committee member
7th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2006), Program Committee member
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2005), Program Committee member
Sixth Int'l. Symposium on Automated and Analysis-driven Debugging (AADEBUG 2005), Program Committee member
Fifth Workshop on Runtime Verification (RV 2005), Program Committee member
3rd Workshop on Software Model Checking (SoftMC 2005), co-chair
European Symposium on Programming (ESOP 2005), Program Committee member
2nd International Workshop on Automated Technology for Verification and Analysis (ATVA), Program Committee member
International Symposium on Software Testing and Analysis (ISSTA 2004), Program Committee member
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2004), Program Committee member
Third International Workshop on Automated Verification of Infinite-State Systems, Invited speaker (slides)
11th International SPIN Workshop on Model Checking of Software (SPIN 2004), Program Committee member
Fourth Workshop on Runtime Verification (RV 2004), Program Committee member
2nd Workshop on Software Model Checking (SoftMC 2003), co-chair
Third Workshop on Runtime Verification (RV 2003), Program Committee member
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2003), Program Committee member
10th International SPIN Workshop on Model Checking of Software (SPIN 2003), Program Committee member
Workshop on Software Model Checking (SoftMC 2001), co-chair
2001 Workshop on Logical Aspects of Cryptographic Protocol Verification, Program Committee member
2000 Workshop on Formal Methods and Computer Security, Program Committee member