| |
Verification, Model Checking, and Abstract Interpretation (2005), pp. 199-215.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 31, No. 3. (May 2006), pp. 1-38.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4. (July 2004), pp. 119-128.
|
| |
In GECCO '06: Proceedings of the 8th annual conference on Genetic and evolutionary computation (2006), pp. 1953-1954.
|
| |
Software Engineering, 2000. Proceedings of the 2000 International Conference on In Software Engineering, 2000. Proceedings of the 2000 International Conference on (2000), pp. 439-448.
|
| |
Java™ 6 Platform Revealed In Java™ 6 Platform Revealed (2006), pp. 183-200.
|
| |
|
| |
In Sixth International Workshop on Specification and Verification of Component-Based Systems (September 2007)
|
| |
Fundamental Approaches to Software Engineering (2006), pp. 373-376.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Model Based Testing (MBT 2007), Vol. 190, No. 2. (31 August 2007), pp. 21-32.
|
| |
|
| |
In Computer Aided Verification, Vol. 4590 (2007), pp. 37-37.
|
| |
|
| |
In Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 29, No. 4. (July 2004), pp. 97-107.
|
| |
Quality of Software Architectures and Software Quality, Vol. 3712/2005 (September 2005), pp. 242-256.
|
| |
In Proc. of the 4th Workshop on Java Technologies for Real-time and Embedded Systems - JTRES 2006 (2006), pp. 107-116.
|
| |
Software and Systems Modeling (April 2004), pp. 32-54.
by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, et al.Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
|
| |
|
| |
|
| |
In Software: Practice & Experience, Vol. 34 (September 2004), pp. 1025-1050.
|
| |
In Proceedings of the International Conference on Fundamental Approaches to Software Engineering, Vol. 3922 (2006), pp. 339-356.
|
| |
In AOSD 2005 Workshop on Testing Aspect-Oriented Programs (2005)
|
| |
In ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings, Vol. 2072/2001 (2001), pp. 327-355.
|
| |
|
| |
|
| |
In ECOOP 2003 - Object-Oriented Programming, 17th European Conference (July 2003)
|
| |
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 114-123.
|
| |
In 2005 International Conference on Software Engineering Research and Practice 2005 (27-30 June 2005), pp. 290-295.
|
| |
|
| |
In Proceedings of the European Conference on Object-Oriented Programming, No. 01--12. (10-14 June 2002)
|
| |
|
| |
|
| |
In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA), Rome, Italy, July 22--24, 2002 (2002), pp. 123-133.
|
| |
In Formal Approaches to Software Testing, Vol. 2931/2004 (2003), pp. 70-85.
|
| |
In Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Revised Papers, Vol. 2244/2001 (2001), pp. 301-307.
|
| |
Lecture Notes in Computer Science In Formal Methods for Industrial Critical Systems (FMICS '06), Vol. 4346 (26-27 August 2006), pp. 293-296.
|
| |
In 1-st European Conference on Model-Driven Software Engineering (11-12 December 2003), pp. 55-63.
|
| |
Journal of Logic and Algebraic Programming, Vol. 58, No. 1-2. (2004), pp. 89-106.
|
| |
Lecture Notes in Computer Science, Vol. 2031 (2001)
|
| |
Lecture Notes in Computer Science, Vol. 2029 (2001)
|
| |
Lecture Notes in Computer Science, Vol. 1783 (2000)
|
| |
In Object-Oriented Technology: ECOOP'99 Workshop Reader, Vol. 1743 (1999), pp. 109-110.
|
| |
In Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France., Vol. 2422/2002 (September 2002), 334.
|
| |
|
| |
Behavioral Specifications of Businesses and Systems (1999), pp. 175-188.
|
| |
Formal Methods for Components and Objects (FMCO) 2005 In Lecture Notes in Computer Science, Vol. 4111 (2006), pp. 342-363.
|
| |
In In Proceedings of International Conference on Aspect Oriented Software Development (AOSD 2006) (22 March 2006)
|
| |
In ACP4IS Workshop at AOSD 2006 (21 March 2006)
|
| |
No. TRCS98-32. (September, 1998)
|
