1. Model Checking: A Tutorial Overview;Modeling and Verification of Parallel Processes;2001
2. Composite model-checking;ACM Transactions on Software Engineering and Methodology;2000-01
3. Model-checking concurrent systems with unbounded integer variables;ACM Transactions on Programming Languages and Systems;1999-07
4. Symbolic protocol verification with queue BDDs;Formal Methods in System Design;1999
5. Symbolic verification of communication protocols with infinite state spaces using QDDs;Formal Methods in System Design;1999