Two Flavors of Offline Partial Evaluation. - Simon Helsen; Peter Thiemann 001 (ASIAN, 1998)

Fragmental Specialization. - Simon Helsen; Peter Thiemann 001 (SAIG, 2000)

Syntactic Type Soundness for the Region Calculus. - Simon Helsen; Peter Thiemann 001 (HOOTS, 2000)

Syntactic Type Soundness Results for the Region Calculus. - Cristiano Calcagno; Simon Helsen; Peter Thiemann 001 (Inf. Comput., 2002)

Region based program specialization: an operational approach to polymorphic offline partial evaluation for ML-like languages. - Simon Helsen (2002)

Staged Configuration Using Feature Models. - Krzysztof Czarnecki 001; Simon Helsen; Ulrich W. Eisenecker (SPLC, 2004)

Bisimilarity for the Region Calculus. - Simon Helsen (High. Order Symb. Comput., 2004)

Polymorphic specialization for ML. - Simon Helsen; Peter Thiemann 001 (ACM Trans. Program. Lang. Syst., 2004)

Formalizing cardinality-based feature models and their specialization. - Krzysztof Czarnecki 001; Simon Helsen; Ulrich W. Eisenecker (Softw. Process. Improv. Pract., 2005)

Staged configuration through specialization and multilevel configuration of feature models. - Krzysztof Czarnecki 001; Simon Helsen; Ulrich W. Eisenecker (Softw. Process. Improv. Pract., 2005)

Model-driven software development - technology, engineering, management. - Thomas Stahl; Markus Völter; Jorn Bettin; Arno Haase; Simon Helsen (Pitman, 2006)

Feature-based survey of model transformation approaches. - Krzysztof Czarnecki 001; Simon Helsen (IBM Syst. J., 2006)

Where's My Jetpack? - Simon Helsen; Arthur G. Ryman; Diomidis Spinellis (IEEE Softw., 2008)