In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
Publications
Filters: First Letter Of Last Name is W [Clear All Filters]
"Automated Model-Based Configuration of Enterprise Java Applications",
11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), Annapolis, USA, IEEE, pp. 301 - 301, 2007.
[pdf]
"Feature Diagrams and Logics: There and Back Again",
SPLC '07: Proceedings of the 11th International Software Product Line Conference, Washington, USA, IEEE Computer Society, pp. 23–34, 2007.
[pdf][pdf]
"Guided Development with Multiple Domain-Specific Languages",
ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS), vol. 4735, Nashville, USA, Springer, pp. 46 - 60, 2007.
[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]
"Sample Spaces and Feature Models: There and Back Again",
12th International Software Product Line Conference (SPLC 2008), Limerick, Ireland, IEEE, pp. 22 - 31, 2008.
[pdf][pdf]
"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]
"SAT-based Analysis of Feature Models is Easy",
13th International Conference on Software Product Lines (SPLC 2009), San Francisco, CA, USA, 2009.
[pdf][pdf]
"Effective Collaboration and Consistency Management in Business Process Modeling",
The 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10, Toronto, Ontario, Canada, ACM Press, 2010.
[pdf]
"Feature-to-Code Mapping in Two Large Product Lines",
Software Product Lines: Going Beyond, vol. 6287: Springer Berlin / Heidelberg, pp. 498-499, 2010.
[pdf]
Feature-to-Code Mapping in Two Large Product Lines,
, Leipzig, Department of Computer Science, University of Leipzig, 2010.
[pdf]
"Variability Model of the Linux Kernel",
Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010), Linz, Austria, 2010.
[pdf]
"Feature and Class Models in Clafer: Mixed, Specialized, and Coupled",
David R. Cheriton School of Computer Science, Waterloo, University of Waterloo, 06/2010.
"Evolution of the Linux Kernel Variability Model",
Software Product Line Conference, 09/2010.
[pdf][pdf]
"Variability Modeling in the Real: A Perspective from the Operating Systems Domain",
25th IEEE/ACM International Conference on Automated Software Engineering, 09/2010.
[pdf][pdf]
"Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled",
3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 10/2010.
[pdf][pdf]
"Reverse Engineering Feature Models",
ICSE 2011, 2011.
[pdf][pdf]
"A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System",
3rd International Workshop on Feature Oriented Software Development, Munich, Germany, ACM, 08/2011.
[pdf][pdf]
Example-Driven Modeling poster,
, Toronto, CASCON, 2012.
[pdf]
Variability Modeling in the Systems Software Domain,
: Generative Software Development Laboratory, University of Waterloo, 2012.
[pdf]
"Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches",
Variability Modelling of Software-intensive Systems (VaMoS), Leipzig, Germany, ACM Press, 01/2012.
[pdf]
Variability-Aware Performance Modeling: A Statistical Learning Approach,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 08/2012.
[pdf]
"Efficient Synthesis of Feature Models",
Software Product Line Conference (SPLC), Salvador, Brasil, 2012.
[pdf]
"Example-Driven Modeling Using Clafer",
First International Workshop on Model-driven Engineering By Example, 2013.
[ppsx][pdf]
"Example-Driven Modeling. Model = Abstractions + Examples",
New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013.
[pdf]
"Matching Business Process Models Using Positional Language Models",
32nd International Conference on Conceptual Modeling, ER 2013, Hong Kong, 2013.