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 M [Clear All Filters]
"Efficient Reasoning Techniques for Large Scale Feature Models",
School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 184, 01/2009.
"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]
"SAT-based Analysis of Feature Models is Easy",
13th International Conference on Software Product Lines (SPLC 2009), San Francisco, CA, USA, 2009.
[pdf][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.
"Decision-making coordination in collaborative product configuration",
ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, ACM Press, pp. 108, 03/2008.
[pdf]
"A model for structuring user documentation of object-oriented frameworks using patterns and hypertext",
ECOOP'97 — Object-Oriented Programming, Lecture Notes in Computer Science, vol. 1241, Jyväskylä, Finland, Springer-Verlag, pp. 496 - 510, 1997.
" Impact of Ad Libraries on Ratings of Android Mobile Apps",
IEEE Software, 2014.
"On Ad Library Updates in Android Apps",
IEEE Software, 2014.
"A Large Scale Empirical Study on Software Reuse in Mobile Apps",
IEEE Software, vol. 31, issue 2, 2014.
"An Examination of the Current Rating System used in Mobile App Stores",
IEEE Software, 2015.
"Visualization and Exploration of Optimal Variants in Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf][pdf]
"Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer",
School of Computer Science, vol. Master of Mathematics: University of Waterloo, 2014.
Analysis and Prediction of Application Categories on Online Application Stores,
, no. GSDLAB-TR 2014-05-22, Waterloo, University of Waterloo, 2013.
Web-based GUI for Pareto front visualization and analysis,
, no. GSDLAB-TR 2013-02-04, Waterloo, University of Waterloo, 2013.
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers",
SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.