Feature-based survey of model transformation approaches.
IBM Syst. J., 2006
Model-driven software development - technology, engineering, management.
Pitman, ISBN: 978-0-470-02570-3, 2006
Staged configuration through specialization and multilevel configuration of feature models.
Softw. Process. Improv. Pract., 2005
Formalizing cardinality-based feature models and their specialization.
Softw. Process. Improv. Pract., 2005
Polymorphic specialization for ML.
ACM Trans. Program. Lang. Syst., 2004
Bisimilarity for the Region Calculus.
High. Order Symb. Comput., 2004
Staged Configuration Using Feature Models.
Proceedings of the Software Product Lines, Third International Conference, 2004
Region based program specialization: an operational approach to polymorphic offline partial evaluation for ML-like languages.
PhD thesis, 2002
Syntactic Type Soundness Results for the Region Calculus.
Inf. Comput., 2002
Syntactic Type Soundness for the Region Calculus.
Proceedings of the 4th International Workshop on Higher Order Operational Techniques in Semantics, 2000
Fragmental Specialization.
Proceedings of the Semantics, 2000
Two Flavors of Offline Partial Evaluation.
Proceedings of the Advances in Computing Science, 1998