| |
SIGOPS Oper. Syst. Rev., Vol. 38, No. 5. (2004), pp. 85-96.
|
| |
In CCS '07: Proceedings of the 14th ACM conference on Computer and communications security (2007), pp. 529-540.
|
| |
Bell Labs Technical Journal, Vol. 5, No. 2. (2000), pp. 169-180.
|
| |
IEEE Transactions on Software Engineering In Software Engineering, IEEE Transactions on, Vol. 26, No. 7. (2000), pp. 653-661.
|
| |
In CCS '03: Proceedings of the 10th ACM conference on Computer and communications security (2003), pp. 345-354.
|
| |
Engineering Secure Software and Systems (2009), pp. 185-194.
|
| |
Verification, Model Checking, and Abstract Interpretation (2004), pp. 405-427.
|
| |
Software Maintenance and Reengineering, European Conference on (2002)
|
| |
Mathematical Programming, Vol. 44, No. 1. (1 May 1989), pp. 297-335.
|
| |
J. ACM, Vol. 51, No. 3. (May 2004), pp. 385-463.
|
| |
|
| |
Mathematical Programming, Vol. 44 (1986), pp. 297-335.
|
| |
In DEFECTS '08: Proceedings of the 2008 workshop on Defects in large software systems (2008), pp. 1-5.
|
| |
In ESEM '08: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (2008), pp. 41-50.
|
| |
|
| |
In In VMCAI (2004), pp. 191-210.
|
| |
In Proc. ASE 2001 (2001), pp. 262-271.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 217 (2008), pp. 5-21.
|
| |
IBM Syst. J., Vol. 46, No. 2. (2007), pp. 265-288.
|
| |
Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 5-19.
|
| |
IEEE Transactions on Software Engineering In Software Engineering, IEEE Transactions on, Vol. 34, No. 4. (2008), pp. 497-515.
|
| |
In ICSE Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007) (2 May 2007)
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 28, No. 10. (2002), pp. 970-983.
|
| |
ECOOP 2004 – Object-Oriented Programming (2004), pp. 1-25.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 1. (February 2007), 3.
|
| |
In TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementation (2009), pp. 51-64.
|
| |
In WADS '05: Proceedings of the 2005 workshop on Architecting dependable systems (2005), pp. 1-7.
|
| |
In PASTE '08: Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2008), pp. 22-28.
|
| |
In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007), pp. 543-544.
|
| |
In OOPSLA '06: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications (2006), pp. 734-735.
|
| |
In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007), pp. 393-396.
|
| |
In SESS '07: Proceedings of the Third International Workshop on Software Engineering for Secure Systems (2007), 3.
|
| |
In QoP '06: Proceedings of the 2nd ACM workshop on Quality of protection (2006), pp. 27-30.
|
| |
In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 40, No. 10. (October 2005), pp. 365-383.
|
| |
In Proceedings of the 14th USENIX Security Symposium (August 2005)
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (2002), pp. 69-82.
|
| |
Software Process: Improvement and Practice, Vol. 11, No. 1. (2006), pp. 47-59.
|
| |
|
| |
Network Computing, Vol. 18, No. 7. (16 April 2007), pp. 45-55.
|
| |
Software Engineering and Advanced Applications, 2005. 31st EUROMICRO Conference on In Software Engineering and Advanced Applications, 2005. 31st EUROMICRO Conference on (2005), pp. 240-247.
|
| |
Computer Security Applications Conference, Annual, Vol. 0 (2004), pp. 2-13.
|
| |
In PASTE '08: Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2008), pp. 50-56.
|
| |
In PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation (2009), pp. 87-97.
|
| |
Ada Lett., Vol. XXVIII, No. 1. (2008), pp. 76-82.
|
| |
|
| |
System Sciences, 1990., Proceedings of the Twenty-Third Annual Hawaii International Conference on In System Sciences, 1990., Proceedings of the Twenty-Third Annual Hawaii International Conference on, Vol. ii (1990), pp. 74-81 vol.2.
|
| |
Security & Privacy, IEEE In Security & Privacy, IEEE, Vol. 5, No. 5. (2007), pp. 57-60.
|
| |
|
| |
|
| |
Computer Software and Applications Conference, Annual International, Vol. 1 (2006), pp. 121-128.
|
CiteULike
dhein1030's CiteULike
Search
