- ASADAL: a tool system for co-development of software and test environment based on product line engineering
- Feature-Oriented Product Line Engineering
- Analysis of Compositional Conflicts in Component-Based Systems
- Software Architecture for Correct Components Assembly
- Release-to-release binary compatibility in SOM
- The architecture of virtual machines
- Xen and the art of virtualization
- Binary Component Adaptation
- Compatibility of software components–modeling and verification
- Testing and quality assurance for component-based software (book)
- Component-based software engineering: technologies, development frameworks, and quality assurance schemes
- Software engineering component repositories
- Axiomatic Bootstrapping: A Guide for Compiler Hackers
