Our lab is a very exciting place to learn and work!
Publications
"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.
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
1st Workshop on Model Driven Interoperability, Co-located with MoDELS 2010, Oslo, Norway, ACM Press, pp. 42-51, 10/2010.
[pdf][pdf]
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
MoDELS'10 Workshops: Reports and Selected Papers, vol. 6627, Oslo, Norway, Springer, 2011.
[pdf]
"A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System",
3rd International Workshop on Feature Oriented Software Development, Munich, Germany, ACM, 08/2011.
[pdf][pdf]
"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]
" Impact of Ad Libraries on Ratings of Android Mobile Apps",
IEEE Software, 2014.
"A Case Study on Consistency Management of Business and IT Process Models in Banking",
SoSyM - Special Issue on Enterprise Modeling, 2013.
"Clafer: Unifying Class and Feature Modeling",
Software and Systems Modeling, 2014.
[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.
"Engineering of Framework-Specific Modeling Languages",
IEEE Transactions on Software Engineering, vol. 35, issue 6, pp. 795 - 824, 11/2009.
[pdf]
"An Examination of the Current Rating System used in Mobile App Stores",
IEEE Software, 2015.
"Fast Extraction of High-Quality Framework-Specific Models from Application Code",
Automated Software Engineering, vol. 16, issue 1, pp. 101 - 144, 03/2009.
[pdf]
"Feature-based survey of model transformation approaches",
IBM Systems Journal, vol. 45, issue 3, no. 3, Riverton, NJ, USA, IBM Corp., pp. 621–645, 2006.
[pdf]
"Formalizing cardinality-based feature models and their specialization",
Software Process: Improvement and Practice, vol. 10, issue 1, pp. 7 - 29, 01/2005.
[pdf]
"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case",
Journal of Object Technology, vol. 10, 2011.
"A Large Scale Empirical Study on Software Reuse in Mobile Apps",
IEEE Software, vol. 31, issue 2, 2014.