Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Publications
Filters: First Letter Of Last Name is L [Clear All Filters]
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems",
Software and Systems Modeling, 2017.
"Exponential Recency Weighted Average Branching Heuristic for SAT Solvers",
AAAI 2016, Phoenix, Arizona, 02/2016.
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers",
SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"SAT-based Analysis of Large Real-world Feature Models is Easy",
19th International Software Product Line Conference (SPLC), Nashville, 2015.
"What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines",
19th International Software Product Line Conference (SPLC), 2015.
[pdf][pdf]
"To Connect or Not to Connect: Experiences from Modeling Topological Variability",
18th International Software Product Line Conference (SPLC), 2014.
[pdf]
"A Study of Variability Models and Languages in the Systems Software Domain",
IEEE Transactions on Software Engineering, vol. 39, issue 12, no. 12, pp. 1611-1640, Dec, 2013.
[pdf]
"Clafer Tools for Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf]
"Solving Clafer Models with Choco",
Generative Software Development Laboratory, no. GSDLab-TR 2012-12-30: University of Waterloo, 12/2012.
[pdf]
Improving Bug Report Comprehension,
: University of Waterloo, 09/2012.
[pdf]
"Modelling the `Hurried' Bug Report Reading Process to Summarize Bug Reports",
International Conference on Software Maintenance, Trento, Italy, IEEE, 09/2012.
[pdf][pdf]
"Towards Improving Bug Tracking Systems with Game Mechanisms",
9th Working Conference on Mining Software Repositories (MSR'12), Zurich, Switzerland, IEEE (also published as GSDLAB–TR 2011–09–29), 06/2012.
[pdf][zip]
"Correcting Clafer Models with Automated Analysis",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 04/2012.
[pdf]
Variability Modeling in the Systems Software Domain,
: Generative Software Development Laboratory, University of Waterloo, 2012.
[pdf]
"Friendly Change Extraction for BPMN Workflows",
IBM TechConnect, Markham, ON, Canada, IBM, 05/2011.
[pdf]
"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.
"Reverse Engineering Feature Models",
ICSE 2011, 2011.
[pdf][pdf]
"Bidirectional Transformations: A Cross-Discipline Perspective",
International Conference of Model Transformation (ICMT): Springer-Verlag, pp. 260-283, 2010.
[pdf]
"Evolution of the Linux Kernel Variability Model",
Software Product Line Conference, 09/2010.
[pdf][pdf]
"Swing to SWT and Back: Patterns for API Migration by Wrapping",
26th IEEE International Conference on Software Maintenance (ICSM), Timișoara, Romania, 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]
"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]