People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
Publications
Filters: First Letter Of Last Name is A [Clear All Filters]
"Design Space of Heterogeneous Synchronization",
Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007, Revised Papers, vol. 5235, Berlin, Heidelberg, Springer, pp. 3 - 46, 2008.
[pdf]
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers",
SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"Automatic Extraction of Framework-Specific Models From Framework-Based Application Code",
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Atlanta, Georgia, USA, 11/2007.
[pdf]
"Clafer Tools for Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[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]
"Deferred Methods: Accelerating Dynamic Program Analysis on Multicores",
International Symposium on Code Generation and Optimization (CGO) , San Jose, USA, ACM, 04/2012.
[pdf]
"Does Feature Scattering Follow Power-Law Distributions? An Investigation of Five Pre-Processor-Based Systems",
6th International Workshop of Feature-Oriented Software Evolution, Sweden, ACM, 2014.
[pdf]
"Efficient Synthesis of Feature Models",
Software Product Line Conference (SPLC), Salvador, Brasil, 2012.
[pdf]
"Example-Driven Modeling Using Clafer",
First International Workshop on Model-driven Engineering By Example, 2013.
[ppsx][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]
"FeaturePlugin: Feature Modeling Plug-In for Eclipse",
The 2004 OOPSLA Workshop on Eclipse Technology eXchange - Eclipse '04, Vancouver, British Columbia, Canada, ACM Press, pp. 67 - 72, 2004.
[pdf][zip]
"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]
"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]
"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]
"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 and Reasoning with Multirelations, and their encoding in Alloy",
16th International Workshop in OCL and Textual Modeling, 10/2016.
"A Novel Approach for Estimating Truck Factors",
International Conference on Program Comprehension: ACM, 2016.
"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]