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
"Mixin-Based Programming in C++: A solution to the constructor problem",
Dr. Dobb's Journal, pp. 111-112, 01/2001.
"On Ad Library Updates in Android Apps",
IEEE Software, 2014.
"A Pattern Fusion Model for Multi-Step-Ahead CPU Load Prediction",
Journal of Systems and Software, vol. 86, issue 5, 2013.
"A Semi-Automatic Approach for Extracting Software Product Lines",
IEEE Transactions on Software Engineering, vol. 38, issue 4, no. 99, pp. 737-754, 2012.
"The Shape of Feature Code: An Analysis of Twenty C-Preprocessor-Based Systems",
Journal on Software and Systems Modeling: Springer, pp. 1–29, 07/2015.
"Staged configuration through specialization and multilevel configuration of feature models",
Software Process: Improvement and Practice, vol. 10, issue 2, pp. 143 - 169, 04/2005.
[pdf]
"A Study of Variability Models and Languages in the Systems Software Domain",
IEEE Transactions on Software Engineering, vol. 39, issue 12, no. 12, pp. 1611-1640, Dec, 2013.
[pdf]
"Supporting Different Process Views through a Shared Process Model",
Software and Systems Modeling, 2015.
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems",
Software and Systems Modeling, 2017.
"Synthesizing objects",
Concurrency - Practice and Experience, vol. 12, no. 14, pp. 1347-1377, 2000.
[pdf]
"Two Studies of Framework-Usage Templates Extracted from Dynamic Traces",
IEEE Transactions on Software Engineering, vol. 38, issue 6, 12/2012.
[pdf]
"Variability Mechanisms in Software Ecosystems",
Information and Software Technology, vol. 56, issue 11, 2014.
[pdf]
"Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study",
IEEE Transactions on Software Engineering, 2015.
"Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond",
7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012), To appear, 2012.
[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]
"CT for BX: Category Theory Foundations for Bidirectional Model Transformations",
Applied and Computational Category Theory, Tallinn, Estonia, Pre-proceedings, 2012.
[pdf]
"Example-Driven Modeling. Model = Abstractions + Examples",
New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013.
[pdf]
"Exponential Recency Weighted Average Branching Heuristic for SAT Solvers",
AAAI 2016, Phoenix, Arizona, 02/2016.
"Feature-to-Code Mapping in Two Large Product Lines",
Software Product Lines: Going Beyond, vol. 6287: Springer Berlin / Heidelberg, pp. 498-499, 2010.
[pdf]
"From State-Based to Delta-Based Bidirectional Model Transformation",
3rd International Conference on Model Transformation, Malaga, Spain, Springer, pp. 61-76, 06/2010.
[pdf][ppt]
"Generative and Component-Based Software Engineering, First International Symposium, GCSE’99, Erfurt, Germany, September 28–30, 1999, Revised Papers",
Lecture Notes in Computer Science, vol. 1799/2000, Berlin / Heidelberg, Springer-Verlag, 1999.
"Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September/October 2008, Proceedings",
Lecture Notes in Computer Science, vol. 5301/2009, Berlin, Heidelberg, Springer-Verlag, 2008.
"Model Synchronization: Mappings, Tiles and Categories",
Generative and Transformational Techniques in Software Engineering, GTTSE'09, vol. 6491, Braga, Portugal, Springer, 2011.
[pdf]
Proceedings of the 5th Variability Modeling of Software-Intensive Systems (VaMoS), January 27-29, 2011,
, Namur, Belgium, ACM, 2011.
Proceedings of the 6th International Workshop on Feature-Oriented Software Development (FOSD),
, New York, NY, USA, ACM, 2014.