In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
Publications
Filters: First Letter Of Last Name is C [Clear All Filters]
"Framework-Specific Modeling Languages with Round-Trip Engineering",
ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy, Springer-Verlag, pp. 692-706, 2006.
[pdf]
"From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case",
ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011.
[pdf][pdf]
"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]