| A classification and survey of analysis strategies for software product lines T Thüm, S Apel, C Kästner, I Schaefer, G Saake ACM Computing Surveys (CSUR) 47 (1), 1-45, 2014 | 448 | 2014 |
| Delta-oriented programming of software product lines I Schaefer, L Bettini, V Bono, F Damiani, N Tanzarella International Conference on Software Product Lines, 77-91, 2010 | 439 | 2010 |
| Evolution of software in automated production systems: Challenges and research directions B Vogel-Heuser, A Fay, I Schaefer, M Tichy Journal of Systems and Software 110, 54-84, 2015 | 236 | 2015 |
| Software diversity: state of the art and perspectives I Schaefer, R Rabiser, D Clarke, L Bettini, D Benavides, G Botterweck, ... International Journal on Software Tools for Technology Transfer 14 (5), 477-495, 2012 | 163 | 2012 |
| Abstract delta modelling D Clarke, M Helvensteijn, I Schaefer Mathematical Structures in Computer Science 25 (3), 482-527, 2015 | 137 | 2015 |
| Incremental model-based testing of delta-oriented software product lines M Lochau, I Schaefer, J Kamischke, S Lity International Conference on Tests and Proofs, 67-82, 2012 | 107 | 2012 |
| Variability Modelling for Model-Driven Development of Software Product Lines. I Schaefer VaMoS 10, 85-92, 2010 | 104 | 2010 |
| Flexible product line engineering with a virtual platform M Antkiewicz, W Ji, T Berger, K Czarnecki, T Schmorleiz, R Lämmel, ... Companion Proceedings of the 36th International Conference on Software …, 2014 | 101 | 2014 |
| First-class variability modeling in matlab/simulink A Haber, C Kolassa, P Manhart, PMS Nazari, B Rumpe, I Schaefer Proceedings of the Seventh International Workshop on Variability Modelling …, 2013 | 88 | 2013 |
| Family-based deductive verification of software product lines T Thüm, I Schaefer, S Apel, M Hentschel Proceedings of the 11th International Conference on Generative Programming …, 2012 | 88 | 2012 |
| Analysis strategies for software product lines T Thüm, S Apel, C Kästner, M Kuhlemann, I Schaefer, G Saake School of Computer Science, University of Magdeburg, Tech. Rep. FIN-004-2012, 2012 | 87 | 2012 |
| Hierarchical variability modeling for software architectures A Haber, H Rendel, B Rumpe, I Schaefer, F Van Der Linden 2011 15th International Software Product Line Conference, 150-159, 2011 | 81 | 2011 |
| Pure delta-oriented programming I Schaefer, F Damiani Proceedings of the 2nd International Workshop on Feature-Oriented Software …, 2010 | 76 | 2010 |
| Deltaecore-A model-based delta language generation framework C Seidl, I Schaefer, U Aßmann Modellierung 2014, 2014 | 74 | 2014 |
| Compositional type-checking for delta-oriented programming I Schaefer, L Bettini, F Damiani Proceedings of the tenth international conference on Aspect-oriented …, 2011 | 74 | 2011 |
| From model-based design to formal verification of adaptive embedded systems R Adler, I Schaefer, T Schuele, E Vecchié International Conference on Formal Engineering Methods, 76-95, 2007 | 71 | 2007 |
| Engineering delta modeling languages A Haber, K Hölldobler, C Kolassa, M Look, B Rumpe, K Müller, I Schaefer Proceedings of the 17th International Software Product Line Conference, 22-31, 2013 | 64 | 2013 |
| Delta modeling for software architectures A Haber, H Rendel, B Rumpe, I Schaefer arXiv preprint arXiv:1409.2358, 2014 | 63 | 2014 |
| Proof composition for deductive verification of software product lines T Thüm, I Schaefer, M Kuhlemann, S Apel 2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011 | 58 | 2011 |
| DeltaJ 1.5: delta-oriented programming for Java 1.5 J Koscielny, S Holthusen, I Schaefer, S Schulze, L Bettini, F Damiani Proceedings of the 2014 International Conference on Principles and Practices …, 2014 | 56 | 2014 |
