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.
"Presence-Condition Simplification in Highly Configurable Systems", 37th International Conference on Software Engineering (ICSE), 2015.
"SAT-based Analysis of Large Real-world Feature Models is Easy", 19th International Software Product Line Conference (SPLC), Nashville, 2015.
"Supporting Different Process Views through a Shared Process Model", Software and Systems Modeling, 2015.
"Variability Models in Large-Scale Systems: A Study and a Reverse-Engineering Technique", Software Engineering (SE), 2015.
"What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines", 19th International Software Product Line Conference (SPLC), 2015.
Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study, : Generative Software Development Laboratory, University of Waterloo, 2015.
"Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study", IEEE Transactions on Software Engineering, 2015.
ZinovyDiskin-Photo, , 2015.
"Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization", 29th IEEE/ACM International Conference on Automated Software Engineering (ASE), Västerås, Sweden, ACM, to appear, 2014.
"Managing Consistency of Business Process Models across Abstraction Levels", Electrical and Computer Engineering, vol. Doctor of Philosophy, Waterloo, ON, Canada, University of Waterloo, 2014.
"Comparison of exact and approximate multi-objective optimization for software product lines", Software Product Line Conference, vol. 1, Florence, Italy, ACM, pp. 92-101, 10/2014.
"Modeling and Implementing Variability in Aerospace Systems Product Lines", Computer Science, vol. Master of Mathematics: University of Waterloo, 10/2014.
"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.
An algebraic semantics for bidirectional model synchronization, , no. GSDLab TR 2014-04-01, 08/2014.
Modeling product lines with Kripke structures and modal logic, , no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014.
The Semantics of Feature Models via Formal Languages (Extended Version), , no. GSDLab TR 2014-08-02, Waterloo/Hamilton, University of Waterloo (ECE)/McMaster University(CAS), 08/2014.
"Optimizing Alloy for Multi-Objective Software Product Line Configuration", ABZ, Toulouse, France, Springer-Verlag, 06/2014.
"Towards Category Theory Foundations for Model Management", GSDLab-TR , no. GSDLab-TR 2014-03-03, Hamilton/Watreloo, McMaster University/University of Waterloo, 03/2014.
A Taxonomic Space for Increasingly Symmetric Model Synchronization, , no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014.
" Impact of Ad Libraries on Ratings of Android Mobile Apps", IEEE Software, 2014.
"Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer", School of Computer Science, vol. Master of Mathematics: University of Waterloo, 2014.
"Clafer: Unifying Class and Feature Modeling", Software and Systems Modeling, 2014.
"A Dataset of Feature Additions and Feature Removals from the Linux Kernel", 11th Working Conference on Mining Software Repositories, India, IEEE/ACM, 2014.
"Does Feature Scattering Follow Power-Law Distributions? An Investigation of Five Pre-Processor-Based Systems", 6th International Workshop of Feature-Oriented Software Evolution, Sweden, ACM, 2014.
"Effects of Using Examples on Structural Model Comprehension", ICSE, 2014.