2008 |
11 | EE | Simon Helsen,
Arthur G. Ryman,
Diomidis Spinellis:
Where's My Jetpack?
IEEE Software 25(5): 18-21 (2008) |
2006 |
10 | EE | Krzysztof Czarnecki,
Simon Helsen:
Feature-based survey of model transformation approaches.
IBM Systems Journal 45(3): 621-646 (2006) |
2005 |
9 | EE | Krzysztof Czarnecki,
Simon Helsen,
Ulrich W. Eisenecker:
Formalizing cardinality-based feature models and their specialization.
Software Process: Improvement and Practice 10(1): 7-29 (2005) |
8 | EE | Krzysztof Czarnecki,
Simon Helsen,
Ulrich W. Eisenecker:
Staged configuration through specialization and multilevel configuration of feature models.
Software Process: Improvement and Practice 10(2): 143-169 (2005) |
2004 |
7 | EE | Krzysztof Czarnecki,
Simon Helsen,
Ulrich W. Eisenecker:
Staged Configuration Using Feature Models.
SPLC 2004: 266-283 |
6 | EE | Simon Helsen,
Peter Thiemann:
Polymorphic specialization for ML.
ACM Trans. Program. Lang. Syst. 26(4): 652-701 (2004) |
5 | EE | Simon Helsen:
Bisimilarity for the Region Calculus.
Higher-Order and Symbolic Computation 17(4): 347-394 (2004) |
2002 |
4 | EE | Cristiano Calcagno,
Simon Helsen,
Peter Thiemann:
Syntactic Type Soundness Results for the Region Calculus.
Inf. Comput. 173(2): 199-221 (2002) |
2000 |
3 | EE | Simon Helsen,
Peter Thiemann:
Fragmental Specialization.
SAIG 2000: 51-71 |
2 | EE | Simon Helsen,
Peter Thiemann:
Syntactic Type Soundness for the Region Calculus.
Electr. Notes Theor. Comput. Sci. 41(3): (2000) |
1998 |
1 | EE | Simon Helsen,
Peter Thiemann:
Two Flavors of Offline Partial Evaluation.
ASIAN 1998: 188-205 |