Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Publications
Feature-to-Code Mapping in Two Large Product Lines,
, Leipzig, Department of Computer Science, University of Leipzig, 2010.
[pdf]
Formal Semantics of the CDL Language,
: University of Leipzig, 2010.
[pdf]
Formal Semantics of the Kconfig Language,
: University of Waterloo, 2010.
[pdf]
"Variability Model of the Linux Kernel",
Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010), Linz, Austria, 2010.
[pdf]
"From Lenses to Tiles: Model Synchronization via Double Categories",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 12/2009.
[pdf]
"Engineering of Framework-Specific Modeling Languages",
IEEE Transactions on Software Engineering, vol. 35, issue 6, pp. 795 - 824, 11/2009.
[pdf]
"S.P.L.O.T. - Software Product Lines Online Tools",
24th ACM SIGPLAN Conference on object oriented programming systems languages and applications - OOPSLA Companion, Orlando, Florida, USA, ACM Press, pp. 761, 10/2009.
"Study of an API Migration for Two XML APIs",
2nd International Conference on Software Language Engineering (SLE), vol. 5969/2010, Denver, USA, pp. 42-61, 10/2009.
[pdf][pdf]
"Supporting Framework Use via Automatically Extracted Concept-Implementation Templates",
23rd European Conference on Object-Oriented Programming (ECOOP), vol. 5653, Genova, Italy, Springer-Verlag, pp. 344-368, 07/2009.
[pdf][pdf]
"Detection of Java EE EJB Antipattern Instances using Framework-Specific Models",
Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 113, 04/2009.
"Model-guided Code Assistance for Framework Application Development",
Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 69, 04/2009.
"Supporting Framework Use via Automatically Extracted Concept-Implementation Templates",
School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 178, 04/2009.
[pdf]
"Fast Extraction of High-Quality Framework-Specific Models from Application Code",
Automated Software Engineering, vol. 16, issue 1, pp. 101 - 144, 03/2009.
[pdf]
"Efficient Reasoning Techniques for Large Scale Feature Models",
School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 184, 01/2009.
"Bidirectional Transformations: A Cross-Discipline Perspective, GRACE Meeting Notes, State of the Art, and Outlook",
Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, vol. 5563, Berlin, Heidelberg, Springer, pp. 260 - 283, 2009.
[pdf]
"Model-versioning-in-the-large: Algebraic foundations and the tile notation",
2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM), Vancouver, BC, Canada, IEEE, pp. 7 - 12, 2009.
[pdf][pdf]
"SAT-based Analysis of Feature Models is Easy",
13th International Conference on Software Product Lines (SPLC 2009), San Francisco, CA, USA, 2009.
[pdf][pdf]
"Algebraic Models for Bidirectional Model Synchronization",
MoDELS 2008, Toulouse France, Springer, 10/2008.
"Framework-specific modeling languages",
Electrical and Computer Engineering, vol. PhD: University of Waterloo, pp. 168, 09/2008.
"Feature Model Mining",
School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
"Ecore.fmp: A tool for editing and instantiating class models as feature models",
Electrical and Computer Engineering, Waterloo, University of Waterloo, 05/2008.
[pdf]
"Decision-making coordination in collaborative product configuration",
ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, ACM Press, pp. 108, 03/2008.
[pdf]
"Design Space of Heterogeneous Synchronization",
Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007, Revised Papers, vol. 5235, Berlin, Heidelberg, Springer, pp. 3 - 46, 2008.
[pdf]
"Efficient compilation techniques for large scale feature models",
7th international conference on Generative programming and component engineering - GPCE '08, Nashville, USA, ACM Press, pp. 13, 2008.
[pdf]
"Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September/October 2008, Proceedings",
Lecture Notes in Computer Science, vol. 5301/2009, Berlin, Heidelberg, Springer-Verlag, 2008.

] 
