Seguir
Ina Schaefer
Ina Schaefer
Dirección de correo verificada de kit.edu
Título
Citado por
Citado por
Año
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
5732014
Delta-oriented programming of software product lines
I Schaefer, L Bettini, V Bono, F Damiani, N Tanzarella
Software Product Lines: Going Beyond: 14th International Conference, SPLC …, 2010
5082010
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
3312015
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, 477-495, 2012
1962012
Abstract delta modeling
D Clarke, M Helvensteijn, I Schaefer
ACM Sigplan Notices 46 (2), 13-22, 2010
1552010
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
1242014
Incremental model-based testing of delta-oriented software product lines
M Lochau, I Schaefer, J Kamischke, S Lity
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech …, 2012
1222012
Variability Modelling for Model-Driven Development of Software Product Lines.
I Schaefer
VaMoS 10, 85-92, 2010
1202010
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
1142012
First-class variability modeling in matlab/simulink
A Haber, C Kolassa, P Manhart, PMS Nazari, B Rumpe, I Schaefer
Proceedings of the 7th international workshop on variability modelling of …, 2013
1132013
Deltaecore-A model-based delta language generation framework
C Seidl, I Schaefer, U Aßmann
Gesellschaft für Informatik eV, 2014
992014
Is there a mismatch between real-world feature models and product-line research?
A Knüppel, T Thüm, S Mennicke, J Meinicke, I Schaefer
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
952017
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
902012
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
892011
System-level test case prioritization using machine learning
R Lachmann, S Schulze, M Nieke, C Seidl, I Schaefer
2016 15th IEEE International Conference on Machine Learning and Applications …, 2016
842016
A classification of product sampling for software product lines
M Varshosaz, M Al-Hajjaji, T Thüm, T Runge, MR Mousavi, I Schaefer
Proceedings of the 22nd International Systems and Software Product Line …, 2018
832018
Pure delta-oriented programming
I Schaefer, F Damiani
Proceedings of the 2nd International Workshop on Feature-Oriented Software …, 2010
792010
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
762014
From model-based design to formal verification of adaptive embedded systems
R Adler, I Schaefer, T Schuele, E Vecchié
Formal Methods and Software Engineering: 9th International Conference on …, 2007
752007
Delta modeling for software architectures
A Haber, H Rendel, B Rumpe, I Schaefer
arXiv preprint arXiv:1409.2358, 2014
742014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20