| |
Computer Aided Verification (1997), pp. 72-83.
|
| |
In Higher-order and Symbolic Computation, Vol. 13 (1999), pp. 105-118.
|
| |
In In Proceedings of the 21st International Conference on Software Engineering (1999), pp. 411-420.
|
| |
ACM SIGSOFT Software Engineering Notes, Vol. 28, No. 5. (September 2003), pp. 267-276.
|
| |
In In Proceedings of the 18th International Conference on Automated Software Engineering (2003), pp. 116-129.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (2003), pp. 188-197.
|
| |
In Automated Software Engineering Journal, Vol. 10 (2000), pp. 3-12.
|
| |
|
| |
Computer Aided Verification (2003), pp. 433-445.
|
| |
In Theoretical and Practical Aspects of SPIN Model Checking (SPIN ’99), volume 1680 of Lecture Notes in Computer Science (1999), pp. 120-135.
|
| |
Vol. 75 (1999), pp. 167-177.
|
| |
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.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2007), pp. 44-58.
|
| |
CONCUR 2001 — Concurrency Theory (2001), pp. 39-58.
|
| |
|
| |
|
| |
Journal of Systems and Software, Vol. 80, No. 5. (May 2007), pp. 655-667.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 30, No. 6. (2004), pp. 388-402.
|
| |
|
| |
IEEE Transactions on Software Engineering, Vol. 19, No. 1. (1993), pp. 24-40.
|
| |
Model Checking Software (2003), pp. 624-624.
|
| |
Formal Modeling and Analysis of Timed Systems (2004), pp. 88-104.
|
| |
|
| |
Real-Time: Theory in Practice (1992), pp. 45-73.
|
| |
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.
|
| |
ADVANCES IN COMPUTERS, Vol. 58 (2003), pp. 118-149.
|
| |
|
| |
|
| |
|
| |
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 CCS '02: Proceedings of the 9th ACM conference on Computer and communications security (2002), pp. 235-244.
|
| |
ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2003), pp. 128-141.
|
| |
|
| |
Fundamental Approaches to Software Engineering (2005), pp. 2-18.
|
| |
In ISORC '05: Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2005), pp. 300-307.
|
| |
Model Checking Software (2003), pp. 624-624.
|
| |
SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213.
|
| |
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2003), pp. 18-33.
|
| |
Formal Techniques for Networked and Distributed Sytems — FORTE 2002 (2002), pp. 243-259.
|
| |
Computer Aided Verification (2000), pp. 480-494.
|
| |
Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34.
|
