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
Filters: First Letter Of Last Name is L [Clear All Filters]
"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]
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]
"Solving Clafer Models with Choco",
Generative Software Development Laboratory, no. GSDLab-TR 2012-12-30: University of Waterloo, 12/2012.
[pdf]
"Clafer Tools for Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[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]
"To Connect or Not to Connect: Experiences from Modeling Topological Variability",
18th International Software Product Line Conference (SPLC), 2014.
[pdf]
"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]
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers",
SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"Exponential Recency Weighted Average Branching Heuristic for SAT Solvers",
AAAI 2016, Phoenix, Arizona, 02/2016.
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems",
Software and Systems Modeling, 2017.