Our lab is a very exciting place to learn and work!
Publications
Filters: First Letter Of Last Name is K [Clear All Filters]
"Supplemental material for the paper 'Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners'",
Supplemental Material, no. GSDLAB-SM-2016-05: University of Waterloo, 05/2016.
[pdf][pdf][zip]
"Supporting Different Process Views through a Shared Process Model",
Software and Systems Modeling, 2015.
Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study,
: Generative Software Development Laboratory, University of Waterloo, 2015.
[pdf]
"Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study",
IEEE Transactions on Software Engineering, 2015.
"Optimizing Alloy for Multi-Objective Software Product Line Configuration",
ABZ, Toulouse, France, Springer-Verlag, 06/2014.
[pdf]
"Mining Configuration Constraints: Static Analyses and Empirical Results",
36th International Conference on Software Engineering (ICSE'14), 2014.
[pdf]
"Towards User-Friendly Projectional Editors",
7th International Conference on Software Language Engineering (SLE), 2014.
[pdf]
Mechanics of Megamodeling: Design Patterns and Laws,
, no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013.
[pdf]
"Feature-Oriented Software Evolution",
The Seventh International Workshop on Variability Modelling of Software-intensive Systems, Italy, ACM , 01/2013.
[pdf][pdf]
"A Case Study on Consistency Management of Business and IT Process Models in Banking",
SoSyM - Special Issue on Enterprise Modeling, 2013.
"Mapping-aware megamodeling: Design Patterns and Laws",
Software Language Engineering: Springer, 2013.
[zip]
"Supporting Different Process Views through a Shared Process Model",
9th European Conference on Modelling Foundations and Applications, ECMFA 2013, 2013.
An Empirical Study on Consistency Management of Business and IT Process Models,
, Waterloo, Generative Software Development Laboratory, 2012.
[pdf]
"Matching Business Process Workflows Across Abstraction Levels",
MODELS 2012, Innsbruck, Austria, ACM/IEEE, 2012.
"Supporting Different Process Views through a Shared Process Model",
Technical Report, 2012.
"Combining Multiple Dimensions of Knowledge in API Migration",
First International Workshop on Model-Driven Software Migration (MDSM), at the 15th European Conference on Software Maintenance and Reengineering (CSMR), Oldenburg, Germany, CEUR, 03/2011.
[pdf]
"Quick Consistency Management in BPM",
IBM CASCON 2011, 2011.
"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]
"On-demand materialization of aspects for application development",
The 2008 AOSD Workshop on Software Engineering Properties of Languages and Aspect Technologies - SPLAT '08, Brussels, Belgium, ACM Press, pp. 1 - 6, 2008.
[pdf]
"Mehrstufige, Kunden-Spezifische Anpassungen in der Anwendungsentwicklung",
Objekt Spektrum, issue 1, 01/2007.
"Multi-level customization in application engineering",
Communications of the ACM, vol. 49, issue 12, pp. 60, 12/2006.
[pdf]
"Feature Models are Views on Ontologies",
10th International Software Product Line Conference (SPLC'06), Baltimore, USA, IEEE, pp. 41 - 51, 2006.
[pdf][pdf]
"On the Relationship between Feature Models and Ontologies",
Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 89, 2006.
"Cardinality-based feature modeling and constraints: a progress report",
International Workshop on Software Factories at OOPSLA'05, San Diego, California, USA, ACM, 2005.