Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.
Publications
Filters: First Letter Of Last Name is G [Clear All Filters]
"Exponential Recency Weighted Average Branching Heuristic for SAT Solvers",
AAAI 2016, Phoenix, Arizona, 02/2016.
"Cost-Efficient Sampling for Performance Prediction of Configurable Systems",
30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, Nebraska, USA, IEEE, 11/2015.
[pdf]
"Performance Prediction of Configurable Software Systems by Fourier Learning",
30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, Nebraska, USA, 11/2015.
[pdf][pdf]
"MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers",
International Conference on Automated Deduction, Berlin, Germany, Springer, 08/2015.
[pdf][pptx]
"Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel",
Empirical Software Engineering, Springer, 05/2015.
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers",
SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers",
14th International Conference on Modularity: ACM, 2015.
[pdf][pptx]
"Modeling Aerospace Systems Product Lines in SysML",
19th International Software Product Line Conference (SPLC), 2015.
"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.
"What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines",
19th International Software Product Line Conference (SPLC), 2015.
[pdf][pdf]
"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.
[pdf][pdf]
"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.
[pdf]
A Taxonomic Space for Increasingly Symmetric Model Synchronization,
, no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014.
[pdf]
"Towards System Analysis with Variability Model Metrics",
Eigth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS'14), 2014.
[pdf][pdf]
"Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel",
17th International Software Product Line Conference, Tokyo, ACM, 2013.
[pdf][pdf]
"Variability-Aware Performance Prediction: A Statistical Learning Approach",
28th IEEE/ACM International Conference on Automated Software Engineering (ASE), Silicon Valley, California, USA, IEEE, 11/2013.
[pdf][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]
"Feature-Oriented Software Evolution",
The Seventh International Workshop on Variability Modelling of Software-intensive Systems, Italy, ACM , 01/2013.
[pdf][pdf]
"Matching Business Process Models Using Positional Language Models",
32nd International Conference on Conceptual Modeling, ER 2013, Hong Kong, 2013.
"A Pattern Fusion Model for Multi-Step-Ahead CPU Load Prediction",
Journal of Systems and Software, vol. 86, issue 5, 2013.
"Mining the Impact of Evolution Categories on Object-Oriented Metrics",
Software Quality Journal, 08/2012.
[pdf]
Variability-Aware Performance Modeling: A Statistical Learning Approach,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 08/2012.
[pdf]
"Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches",
Variability Modelling of Software-intensive Systems (VaMoS), Leipzig, Germany, ACM Press, 01/2012.
[pdf]
"Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME’2005)",
Satellite Events at the MoDELS 2005 Conference, vol. 3844, Berlin/Heidelberg, Springer-Verlag, pp. 151 - 158, 2005.