Our lab is a very exciting place to learn and work!
Publications
Filters: First Letter Of Last Name is Z [Clear All Filters]
"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]
"Optimizing Alloy for Multi-Objective Software Product Line Configuration",
ABZ, Toulouse, France, Springer-Verlag, 06/2014.
[pdf]