| |
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues (2008), pp. 331-345.
|
| |
Verification, Model Checking, and Abstract Interpretation (2005), pp. 427-442.
|
| |
|
| |
|
| |
Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings In ESOP, Vol. 3444 (2005), pp. 21-30.
|
| |
SIGPLAN Not., Vol. 39, No. 1. (January 2004), pp. 232-244.
|
| |
Machine Intelligence 7 (1972), pp. 91-99.
|
| |
Vol. 7 (1974), pp. 27-41.
|
| |
SIAM J. Comput., Vol. 4, No. 1. (1975), pp. 69-76.
|
| |
J. Comput. Syst. Sci., Vol. 16, No. 3. (1978), pp. 323-332.
|
| |
In STOC '78: Proceedings of the tenth annual ACM symposium on Theory of computing (1978), pp. 320-325.
|
| |
In CAAP '96: Proceedings of the 21st International Colloquium on Trees in Algebra and Programming (1996), pp. 30-43.
|
| |
|
| |
|
| |
|
| |
Tools and Algorithms for the Construction and Analysis of Systems In TACAS, Vol. 4963 (2008), pp. 33-47.
|
| |
Verification, Model Checking, and Abstract Interpretation In VMCAI, Vol. 3855 (2006), pp. 126-141.
|
| |
Computer, Vol. 40, No. 10. (October 2007), pp. 32-40.
|
| |
SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 58-70.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5-6. (1 October 2007), pp. 505-525.
|
| |
Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007 In PADL, Vol. 4354 (2007), pp. 245-259.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 147-158.
|
| |
Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings In CAV, Vol. 5123 (2008), pp. 328-340.
|
| |
In In International Conference on Compiler Construction, Vol. 2304 (2002), pp. 213-228.
|
| |
SIGPLAN Not., Vol. 43, No. 6. (June 2008), pp. 281-292.
|
| |
In In Proceedings of the International Conference on Formal Methods in Programming and their Applications, Vol. 735 (1993), pp. 128-141.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 30, No. 5. (September 2005), pp. 227-236.
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 38-48.
|
| |
Real-Time Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on (2000), pp. 23-30.
|
| |
In In Comp. Construct (2004), pp. 5-23.
|
| |
In PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2006), pp. 100-111.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 376-386.
|
| |
Sci. Comput. Program., Vol. 69, No. 1-3. (2007), pp. 35-45.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (March 2005), pp. 314-343.
|
| |
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 203-213.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 5, No. 1. (1 November 2003), pp. 49-58.
|
| |
Static Analysis (2000), pp. 377-396.
|
| |
J. ACM, Vol. 52, No. 3. (May 2005), pp. 365-473.
|
| |
|
| |
In In CAV’2006: Computer Aided Verification, LNCS 4144, Vol. 4144 (2006), pp. 532-546.
|
| |
In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE~2008, L'Aquila, September 15-19) (2008, accepted)
|
| |
In In Conf. on Computer Aided Verification (CAV, Vol. 4590 (2007), pp. 504-518.
|
| |
Tests and Proofs (2008), pp. 154-170.
|
| |
|
| |
Annals of Pure and Applied Logic In Festschrift on the occasion of Helmut Schwichtenberg's 60th birthday, Vol. 133, No. 1-3. (May 2005), pp. 247-273.
|
| |
SIGCOMM Comput. Commun. Rev., Vol. 37, No. 3. (July 2007), pp. 83-84.
|
| |
In Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming (1992), pp. 269 -295.
|
| |
In SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software (2001), pp. 103-122.
|
| |
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.
|
Search
