Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.
Publications
Filters: First Letter Of Last Name is G [Clear All Filters]
"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.
"Generative Programming and Active Libraries",
Generic Programming, vol. 1766, Berlin, Heidelberg, Springer-Verlag, pp. 25 - 39, 2000.
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers",
SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"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]
"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]
"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]
"Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers",
14th International Conference on Modularity: ACM, 2015.
[pdf][pptx]
"Feature-Oriented Software Evolution",
The Seventh International Workshop on Variability Modelling of Software-intensive Systems, Italy, ACM , 01/2013.
[pdf][pdf]
"Mapping Features to Models: A Template Approach Based on Superimposed Variants",
ACM SIGSOFT/SIGPLAN International Conference on Generative Programming and Component Engineering (GPCE'05), vol. 3676, Tallinn, Estonia, Springer-Verlag, pp. 422 - 437, 2005.
[pdf][zip][zip]
"Matching Business Process Models Using Positional Language Models",
32nd International Conference on Conceptual Modeling, ER 2013, Hong Kong, 2013.
"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]
"Modeling Aerospace Systems Product Lines in SysML",
19th International Software Product Line Conference (SPLC), 2015.
"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]
"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.
"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]
"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]
"What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines",
19th International Software Product Line Conference (SPLC), 2015.
[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]
"Exponential Recency Weighted Average Branching Heuristic for SAT Solvers",
AAAI 2016, Phoenix, Arizona, 02/2016.
"Synthesizing Objects",
ECOOP’ 99 — Object-Oriented Programming, vol. 1628, Lisbon, Portugal, Springer-Verlag, pp. 18 - 42, 1999.
[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 Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel",
Empirical Software Engineering, Springer, 05/2015.
"Mining the Impact of Evolution Categories on Object-Oriented Metrics",
Software Quality Journal, 08/2012.
[pdf]
"A Pattern Fusion Model for Multi-Step-Ahead CPU Load Prediction",
Journal of Systems and Software, vol. 86, issue 5, 2013.