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