| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
In In Proceedings of the 21st International Conference on Software Engineering (1999), pp. 411-420.
|
| |
In Theoretical and Practical Aspects of SPIN Model Checking (SPIN ’99), volume 1680 of Lecture Notes in Computer Science (1999), pp. 120-135.
|
| |
Interactive Systems Design, Specification, and Verification (2001), pp. 135-150.
|
| |
Automated Software Engineering, Vol. 8, No. 3. (2001), pp. 275-310.
|
| |
Vol. 103 (2003), pp. 49-52.
|
| |
In ICSE '00: Proceedings of the 22nd international conference on Software engineering (2000), pp. 439-448.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2007), pp. 44-58.
|
| |
CONCUR 2001 — Concurrency Theory (2001), pp. 39-58.
|
| |
Hawaii International Conference on System Sciences, Vol. 9 (2001)
|
| |
|
| |
In MOVEP '00: Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes (2001), pp. 39-57.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 30, No. 6. (2004), pp. 388-402.
|
| |
|
| |
Model Checking Software (2003), pp. 624-624.
|
| |
Computer Aided Verification (2003), pp. 262-274.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 26, No. 4. (2001), pp. 83-88.
|
| |
Formal Modeling and Analysis of Timed Systems (2004), pp. 88-104.
|
| |
|
| |
Systems and Computers in Japan, Vol. 31, No. 14. (2000), pp. 38-46.
|
| |
In AST '06: Proceedings of the 2006 international workshop on Automation of software test (2006), pp. 9-14.
|
| |
|
| |
In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 1-13.
|
| |
IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964.
|
| |
Model Checking Software (2001), pp. 102-122.
|
| |
In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 97-103.
|
| |
In SPIN (2000), pp. 113-130.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525.
|
| |
Static Analysis (2004), pp. 2-18.
|
| |
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.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002), pp. 1-3.
|
| |
In Proc. 9th INternational Conference on Computer Aided Verification ({CAV}'97), Vol. 1254 (1997), pp. 72-83.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Programming Languages meets Program Verification (PLPV 2006), Vol. 174, No. 7. (4 June 2007), pp. 129-147.
|
