Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Feature-to-Code Mapping in Two Large Product Lines, , Leipzig, Department of Computer Science, University of Leipzig, 2010.
Formal Semantics of the CDL Language, : University of Leipzig, 2010.
Formal Semantics of the Kconfig Language, : University of Waterloo, 2010.
"Variability Model of the Linux Kernel", Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010), Linz, Austria, 2010.
"From Lenses to Tiles: Model Synchronization via Double Categories", Generative Software Development Laboratory, Waterloo, University of Waterloo, 12/2009.
"Engineering of Framework-Specific Modeling Languages", IEEE Transactions on Software Engineering, vol. 35, issue 6, pp. 795 - 824, 11/2009.
"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.
"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.
"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.
"Fast Extraction of High-Quality Framework-Specific Models from Application Code", Automated Software Engineering, vol. 16, issue 1, pp. 101 - 144, 03/2009.
"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.
"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.
"SAT-based Analysis of Feature Models is Easy", 13th International Conference on Software Product Lines (SPLC 2009), San Francisco, CA, USA, 2009.
"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.
"Decision-making coordination in collaborative product configuration", ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, ACM Press, pp. 108, 03/2008.
"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.
"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.
"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.