] In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.
Publications
Tiling the view update problem,
, no. TR 2009-12-01, Waterloo, The University of Waterloo, GSDLab , 12/2009.
[pdf]
"Towards Category Theory Foundations for Model Management",
GSDLab-TR , no. GSDLab-TR 2014-03-03, Hamilton/Watreloo, McMaster University/University of Waterloo, 03/2014.
[pdf]
Towards generic formal semantics for consistency of heterogeneous multimodels,
, Waterloo, University of Waterloo, Jan 2011.
[pdf]
Traceability Mappings as a Fundamental Aspect of Model-to-Model Transformations,
, no. GSDLAB--TR 2016-05-01, Hamilton/Waterloo, McMaster University/University of Waterloo, May 2016.
[pdf]
Variability Modeling in the Systems Software Domain,
: Generative Software Development Laboratory, University of Waterloo, 2012.
[pdf]
Variability-Aware Performance Modeling: A Statistical Learning Approach,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 08/2012.
[pdf]
Web-based GUI for Pareto front visualization and analysis,
, no. GSDLAB-TR 2013-02-04, Waterloo, University of Waterloo, 2013.
Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study,
: Generative Software Development Laboratory, University of Waterloo, 2015.
[pdf]
Why CART Works for Variability-Aware Performance Prediction? An Empirical Study on Performance Distributions,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 04/2013.
[pdf]
"Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer",
School of Computer Science, vol. Master of Mathematics: University of Waterloo, 2014.
Certificateless Cryptography,
, vol. BSc: Warsaw University of Technology, 2009.
[pdf]
"Cost and Benefit of Embedded Feature Annotation: A Case Study",
Electrical and Computer Engineering, vol. Master of Applied Science, Waterloo, ON, Canada, University of Waterloo, 09/2014.
"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.
"Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates",
Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 168, 2006.
[pdf]
"Efficient Reasoning Techniques for Large Scale Feature Models",
School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 184, 01/2009.
"Feature Model Mining",
School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
"A Framework for Logical Structure Extraction from Software Requirements Documents",
Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 83, 01/11, 2011.
"Framework-specific modeling languages",
Electrical and Computer Engineering, vol. PhD: University of Waterloo, pp. 168, 09/2008.
"Managing Consistency of Business Process Models across Abstraction Levels",
Electrical and Computer Engineering, vol. Doctor of Philosophy, Waterloo, ON, Canada, University of Waterloo, 2014.
"Model Based Automotive System Design: A Power Window Controller Case Study",
ECE, vol. MASC, Waterloo, University of Waterloo, 03/2015.
"Model-guided Code Assistance for Framework Application Development",
Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 69, 04/2009.
Modeling and Analysis of Software Product Line Variability in Clafer,
, vol. PhD: University of Waterloo, 11/2013.
"Modeling and Implementing Variability in Aerospace Systems Product Lines",
Computer Science, vol. Master of Mathematics: University of Waterloo, 10/2014.
"On the Relationship between Feature Models and Ontologies",
Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 89, 2006.
"An ontology-based approach to concern-specific dynamic software structure monitoring",
Electrical and Computer Engineering, vol. PhD, Waterloo, University of Waterloo, pp. 213, 2006.
