| |
In Software Engineering Properties of Languages and Aspect Technologies (SPLAT 06) (2006)
|
| |
In VMIL '07: Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms (2007)
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 31, No. 6. (November 2006), pp. 1-2.
|
| |
In AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development (2008), pp. 191-202.
|
| |
Computer Aided Verification (2001), pp. 265-285.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 23, No. 10. (1997), pp. 659-669.
|
| |
ACM Trans. Inf. Syst. Secur., Vol. 3, No. 1. (February 2000), pp. 30-50.
|
| |
In CCS '02: Proceedings of the 9th ACM conference on Computer and communications security (2002), pp. 235-244.
|
| |
In ICSE '05: Proceedings of the 27th international conference on Software engineering (2005), pp. 312-321.
|
| |
In CGO '05: Proceedings of the international symposium on Code generation and optimization (2005), pp. 255-266.
|
| |
Security and Privacy, 2006 IEEE Symposium on In Security and Privacy, 2006 IEEE Symposium on (2006), 15 pp..
|
| |
Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 44-54.
|
| |
Security and Privacy, 2001. S&P 2001. Proceedings. 2001 IEEE Symposium on (2001), pp. 156-168.
|
| |
In SP '05: Proceedings of the 2005 IEEE Symposium on Security and Privacy (2005), pp. 32-46.
|
| |
In SSYM'04: Proceedings of the 13th conference on USENIX Security Symposium (2004), pp. 16-16.
|
| |
In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis (2004), pp. 34-44.
|
| |
Security and Privacy, 2006 IEEE Symposium on (2006), 15 pp..
|
| |
In SSYM'03: Proceedings of the 12th conference on USENIX Security Symposium (2003), pp. 12-12.
|
| |
ACM Trans. Comput. Syst., Vol. 8, No. 1. (February 1990), pp. 18-36.
|
| |
In Technical Report 05-23 (20 December 2005)
|
| |
In AOSD '06: Proceedings of the 5th international conference on Aspect-oriented software development (2006), pp. 51-62.
|
| |
Software, IEEE In Software, IEEE, Vol. 23, No. 1. (2006), pp. 51-60.
|
| |
In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development (2003), pp. 11-20.
|
| |
Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 158-167.
|
| |
In ECOOP '94: Proceedings of the 8th European Conference on Object-Oriented Programming (1994), pp. 81-99.
|
| |
In ICSE '05: Proceedings of the 27th international conference on Software engineering (2005), pp. 49-58.
|
| |
In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, Vol. 29, No. 6. (November 2004), pp. 137-146.
|
| |
SIGPLAN Not., Vol. 22, No. 12. (December 1987), pp. 147-155.
|
| |
In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 107-119.
|
| |
Object Orientation in Operating Systems, 1991. Proceedings., 1991 International Workshop on In Object Orientation in Operating Systems, 1991. Proceedings., 1991 International Workshop on (1991), pp. 127-128.
|
| |
Software, IEEE In Software, IEEE, Vol. 13, No. 1. (1996), pp. 8, 10-11.
|
| |
In OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, Vol. 28, No. 10. (October 1993), pp. 411-428.
|
| |
Commun. ACM, Vol. 11, No. 3. (1 March 1968), pp. 147-148.
|
| |
Commun. ACM, Vol. 15, No. 12. (December 1972), pp. 1053-1058.
|
| |
Selected Writings on Computing: A Personal Perspective (30 Aug 1974 1982), pp. 60-66.
|
| |
Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on (2002), pp. 55-74.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation (1988), pp. 24-31.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 256-265.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 266-277.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 290-299.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 278-289.
|
| |
SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 327-338.
|
| |
SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 339-350.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 310-319.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 183-195.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 197-208.
|
Search
