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 C [Clear All Filters]
"Generating Range Fixes for Software Configuration",
ICSE'12: 34th International Conference on Software Engineering, 06/2012.
[pdf][pdf][zip]
"Generative Components: One Step Beyond Generic Programming",
Dagstuhl Seminar 9817 Generic Programming, Germany, Dagstuhl Castle, 04/1998.
"Generative Programming",
42nd International Colloquium of the Technical University of Ilmenau, 09/1997.
"Generative Programming for Embedded Software: An Industrial Experience Report",
First ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engineering (GPCE’02), Lecture Notes in Computer Science, vol. 2487, Pittsburgh, USA, Springer-Verlag, pp. 156 - 172, 2002.
"Guided Development with Multiple Domain-Specific Languages",
ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS), vol. 4735, Nashville, USA, Springer, pp. 46 - 60, 2007.
[pdf]
"Intermodeling, queries, and Kleisli categories",
15th International Conference on Fundamental Approaches to Software Engineering (FASE'12), Tallinn, Estonia, LNCS, volume 7212, pp. 163-177, 01/2012.
"Logical Structure Extraction from Software Requirements Documents",
International Requirements Engineering Conference: IEEE, 09/2011.
[pdf][pdf]
"Maintaining Feature Traceability with Embedded Annotations",
19th International Software Product Line Conference (SPLC), 2015.
[pdf][pdf]
"Managing Cloned Variants: A Framework and Experience",
17th International Software Product Line Conference (SPLC), Tokyo, Japan, 2013.
"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 Workflows Across Abstraction Levels",
MODELS 2012, Innsbruck, Austria, ACM/IEEE, 2012.
"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]
"Mining Configuration Constraints: Static Analyses and Empirical Results",
36th International Conference on Software Engineering (ICSE'14), 2014.
[pdf]
"Mining Implementation Recipes of Framework-Provided Concepts in Dynamic Framework API Interaction Traces",
OOPSLA Companion, Tool Demonstration Track, Montreal, Quebec, Canada, ACM Press, pp. 876-877, 10/2007.
"A model for structuring user documentation of object-oriented frameworks using patterns and hypertext",
ECOOP'97 — Object-Oriented Programming, Lecture Notes in Computer Science, vol. 1241, Jyväskylä, Finland, Springer-Verlag, pp. 496 - 510, 1997.
"Model-versioning-in-the-large: Algebraic foundations and the tile notation",
2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM), Vancouver, BC, Canada, IEEE, pp. 7 - 12, 2009.
[pdf][pdf]
"Modeling Aerospace Systems Product Lines in SysML",
19th International Software Product Line Conference (SPLC), 2015.
"Modeling and Multi-Objective Optimization of Quality Attributes in Variability-Rich Software",
International Workshop on Non- functional System Properties in Domain Specific Modeling Languages (NFPinDSML’12), Innsbruck, Austria, 10/2012.
[pdf][pptx]
"Modeling and Reasoning with Multirelations, and their encoding in Alloy",
16th International Workshop in OCL and Textual Modeling, 10/2016.
"Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability",
Design Automation Conference, 06/2017.
"Modelling the `Hurried' Bug Report Reading Process to Summarize Bug Reports",
International Conference on Software Maintenance, Trento, Italy, IEEE, 09/2012.
[pdf][pdf]
"On-demand materialization of aspects for application development",
The 2008 AOSD Workshop on Software Engineering Properties of Languages and Aspect Technologies - SPLAT '08, Brussels, Belgium, ACM Press, pp. 1 - 6, 2008.
[pdf]
"Optimizing Alloy for Multi-Objective Software Product Line Configuration",
ABZ, Toulouse, France, Springer-Verlag, 06/2014.
[pdf]
"Partial Instances via Subclassing",
6th International Conference on Software Language Engineering, Indianapolis, USA, 2013.
[pdf][pdf]