| |
Model Checking Software (2009), pp. 68-87.
|
| |
In PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (2008), pp. 293-303.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 30, No. 4. (2008), pp. 1-53.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2004), pp. 256-267.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 58-70.
|
| |
Journal of Automated Reasoning, Vol. 41, No. 1. (1 July 2008), pp. 1-31.
|
| |
Recent Advances in Parallel Virtual Machine and Message Passing Interface (2008), pp. 248-256.
|
| |
In PADTAD '07: Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging (2007), pp. 43-53.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2005), pp. 110-121.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 41, No. 4. (July 2007), pp. 3-11.
|
| |
Theorem Proving in Higher Order Logics (2008), pp. 167-182.
|
| |
Theoretical Computer Science, Vol. In Press, Accepted Manuscript
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 37-48.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 429-440.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 302-314.
|
| |
Computer Aided Verification In Computer Aided Verification (2007), pp. 173-177.
|
| |
In HOTOS'07: Proceedings of the 11th USENIX workshop on Hot topics in operating systems (2007), pp. 1-6.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 59-69.
|
| |
Runtime Verification (2007), pp. 202-213.
|
| |
Verification, Model Checking, and Abstract Interpretation (2008), pp. 203-217.
|
| |
|
| |
SIGOPS Oper. Syst. Rev., Vol. 41, No. 2. (April 2007), pp. 37-49.
|
| |
In Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, Vol. 3125 (July 2004), pp. 85-109.
|
| |
SIGPLAN Not., Vol. 41, No. 1. (January 2006), pp. 42-54.
|
| |
Automated Deduction — CADE-15 (1998), pp. 317-332.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (1999), pp. 119-134.
|
| |
In DATE '03: Proceedings of the conference on Design, Automation and Test in Europe (2003)
|
| |
Computer Aided Verification (1999), pp. 686-686.
|
Search
