| |
In Formal Methods for Components and Objects (2006), pp. 364-387.
|
| |
SIGPLAN Not. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 4-16.
|
| |
Business Process Management (2006), pp. 257-273.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 268-279.
|
| |
Journal of Automated Reasoning, Vol. 31, No. 3. (13 November 2003), pp. 303-334.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 308-322.
|
| |
Transactions on Aspect-Oriented Software Development I, Vol. 3880 (February 2006), pp. 106-134.
|
| |
Theoretical Computer Science, Vol. 183, No. 2. (15 September 1997), pp. 215-228.
|
| |
J. ACM, Vol. 50, No. 1. (January 2003), pp. 63-69.
|
| |
In REFLECTION '01: Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (2001), pp. 153-169.
|
| |
In AOM '07: Proceedings of the 10th international workshop on Aspect-oriented modeling (2007), pp. 41-48.
|
| |
In Seventh Workshop on Runtime Verification (March 2007)
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 31, No. 3. (May 2006), pp. 25-37.
|
| |
ACM Trans. Database Syst., Vol. 14, No. 3. (September 1989), pp. 322-368.
|
| |
ACM Trans. Comput. Logic, Vol. 2, No. 4. (October 2001), pp. 542-580.
|
| |
In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 306-307.
|
| |
In SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering (1998), pp. 222-230.
|
| |
In CAV '92: Proceedings of the Fourth International Workshop on Computer Aided Verification (1993), pp. 82-95.
|
Search
Export
