| |
In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles (2005), pp. 59-74.
|
| |
ACM Comput. Surv., Vol. 22, No. 4. (December 1990), pp. 299-319.
|
| |
ACM Trans. Comput. Syst., Vol. 20, No. 4. (November 2002), pp. 398-461.
|
| |
In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 13-26.
|
| |
Commun. ACM, Vol. 24, No. 1. (January 1981), pp. 9-17.
|
| |
ACM Trans. Comput. Syst., Vol. 3, No. 2. (May 1985), pp. 145-159.
|
| |
ACM Trans. Comput. Syst., Vol. 3, No. 1. (February 1985), pp. 63-75.
|
| |
In Parallel and Distributed Algorithms: proceedings of the International Workshop on Parallel and Distributed Algorithms
|
| |
Commun. ACM, Vol. 21, No. 7. (July 1978), pp. 558-565.
|
| |
J. ACM, Vol. 32, No. 2. (April 1985), pp. 374-382.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 4, No. 3. (July 1982), pp. 382-401.
|
| |
In PODC '84: Proceedings of the third annual ACM symposium on Principles of distributed computing (1984), pp. 233-242.
|
| |
Security and Privacy, 2000. S&P 2000. Proceedings. 2000 IEEE Symposium on (2000), pp. 230-245.
|
| |
In Proceedings of the 13th Working Conference on Reverse Engineering (2006)
|
| |
In Proceedings of the Network and Distributed System Security Symposium (NDSS 2005) (2005)
|
| |
In Protocol Specification Testing and Verification (1995), pp. 3-18.
|
| |
Formal Methods in System Design, Vol. 1, No. 2/3. (1992), pp. 275-288.
|
| |
In ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis (2000), pp. 14-25.
|
| |
In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (1990), pp. 1-33.
|
| |
|
| |
Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802.
|
| |
|
| |
J. Comput. Secur., Vol. 9, No. 3. (January 2001), pp. 217-250.
|
| |
In SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software (2001), pp. 103-122.
|
| |
In SP '05: Proceedings of the 2005 IEEE Symposium on Security and Privacy (2005), pp. 32-46.
|
| |
In SP '05: Proceedings of the 2005 IEEE Symposium on Security and Privacy (2005), pp. 226-241.
|
| |
In OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 32, No. 10. (October 1997), pp. 108-124.
|
| |
In 2nd International Symposium on Programming (April 1976), pp. 106-130.
|
| |
|
| |
The Computer Journal, Vol. 30, No. 1. (1987), pp. 63-69.
|
| |
American Economic Review, Vol. 89, No. 5. (December 1999), pp. 1279-1298.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Computer, Vol. 31, No. 5. (1998), pp. 32-40.
|
| |
|
| |
Commun. ACM, Vol. 46, No. 10. (October 2003), pp. 24-28.
|
| |
In Proc. Second International Conference, DIMVA 2005 (2005)
|
| |
In Computational Complexity (2000), pp. 1-17.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 35-46.
|
| |
|
| |
|
| |
In 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01) (2001)
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 242-256.
|
| |
|
| |
In PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2006), pp. 100-111.
|
| |
Int. J. of Req. Eng. (2001)
|
| |
Science of Computer Programming, Vol. 40, No. 2--3. (2001), pp. 171-188.
|
Search
