| |
In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 12-29.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 25, No. 4. (July 2003), pp. 452-499.
|
| |
|
| |
In ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming (2001), pp. 99-117.
|
| |
In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 442-451.
|
| |
Journal of Systems and Software In Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop, Vol. 79, No. 9. (September 2006), pp. 1249-1260.
|
| |
J. Syst. Softw., Vol. 31, No. 3. (December 1995), pp. 197-214.
|
| |
Software Focus, Vol. 2, No. 3. (2001), pp. 85-92.
|
| |
Int. J. Softw. Tools Technol. Transf., Vol. 7, No. 3. (1 June 2005), pp. 212-232.
|
| |
Lecture Notes in Computer Science : Formal Methods for Components and Objects (2006), pp. 342-363.
|
| |
In ESEC/FSE-7: Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 24, No. 6. (November 1999), pp. 199-215.
|
| |
Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE International Workshop on, Vol. 00 (2003), pp. 108-117.
|
| |
In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 105-118.
|
| |
In ISSTA'06: Proceedings of the 2006 international symposium on Software testing and analysis (2006), pp. 191-202.
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (2002), pp. 69-82.
|
| |
In Computer Aided Verification (2005), pp. 98-111.
|
| |
In Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking (1999), pp. 200-215.
|
| |
In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 193-207.
|
| |
In Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification (2000), pp. 205-223.
|
| |
Higher Order Symbol. Comput., Vol. 13, No. 4. (December 2000), pp. 315-353.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Model Checking and Artificial Intelligence (MoChArt 2005), Vol. 149, No. 2. (14 February 2006), pp. 51-69.
|
| |
In Handbook of theoretical computer science (vol. B): formal models and semantics (1990), pp. 995-1072.
|
| |
In Proccedings of the International Symposium on Verification: Theory and Practice (2003), pp. 332-358.
|
| |
In Proceedings of the sixth International Conference on Computer-Aided Verification CAV, Vol. 818 (1994), pp. 351-363.
|
| |
The Computer Journal, Vol. 46, No. 5. (1 May 2003), pp. 529-541.
posted to aop by schuh
on 2006-08-08 08:48:02
as 
|
| |
J. Comput. Secur., Vol. 9, No. 3. (January 2001), pp. 217-250.
|
| |
In AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development (2002), pp. 148-154.
|
| |
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.
|
| |
In ICSM '05: Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05) (2005), pp. 653-656.
|
| |
|
| |
IEEE Trans. Softw. Eng., Vol. 31, No. 2. (February 2005), pp. 137-149.
|
| |
Transactions on Aspect-Oriented Software Development I, Vol. 3880 (February 2006), pp. 106-134.
|
| |
Software Maintenance, 2004. Proceedings. 20th IEEE International Conference on (2004), pp. 178-187.
|
| |
In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development (2003), pp. 30-39.
|
| |
In Proceedings of workshop FOAL 2003, held in conjunction with AOSD 2003 (2003)
|
| |
Software Maintenance, IEEE International Conference on In ICSM '05: Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05), Vol. 0 (2005), pp. 657-660.
|
| |
In PPoPP '01: Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming (2001), pp. 12-23.
|
| |
In SESS '06: Proceedings of the 2006 international workshop on Software engineering for secure systems (2006), pp. 27-34.
|
| |
Softw. Pract. Exper., Vol. 31, No. 6. (May 2001), pp. 507-532.
|
| |
|
| |
|
| |
In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 117-128.
|
| |
In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 1-12.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 103-114.
|
| |
In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 131-144.
|
| |
In PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2006), pp. 145-149.
|
| |
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 OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 39, No. 10. (October 2004), pp. 419-431.
|
| |
In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 29, No. 4. (July 2004), pp. 243-251.
|
| |
In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 37, No. 11. (November 2002), pp. 359-372.
|
Search
