Ina Schaefer
Ina Schaefer
Verified email at tu-braunschweig.de
TitleCited byYear
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
3532010
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), 6, 2014
3132014
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
1392015
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
1292012
Abstract delta modeling
D Clarke, M Helvensteijn, I Schaefer
CW Reports, 2010
1052010
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
902012
Variability Modelling for Model-Driven Development of Software Product Lines.
I Schaefer
VaMoS 10, 85-92, 2010
872010
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
792012
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
772014
Family-based deductive verification of software product lines
T Thüm, I Schaefer, S Apel, M Hentschel
ACM SIGPLAN Notices 48 (3), 11-20, 2012
742012
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
722013
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
702011
Pure delta-oriented programming
I Schaefer, F Damiani
Proceedings of the 2nd International Workshop on Feature-Oriented Software …, 2010
662010
Compositional type-checking for delta-oriented programming
I Schaefer, L Bettini, F Damiani
Proceedings of the tenth international conference on Aspect-oriented …, 2011
642011
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
622007
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
582013
Deltaecore-A model-based delta language generation framework
C Seidl, I Schaefer, U Aßmann
Modellierung 2014, 2014
542014
Delta modeling for software architectures
A Haber, H Rendel, B Rumpe, I Schaefer
arXiv preprint arXiv:1409.2358, 2014
522014
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
502014
Modeling spatial and temporal variability with the HATS abstract behavioral modeling language
D Clarke, N Diakov, R Hähnle, EB Johnsen, I Schaefer, J Schäfer, ...
International School on Formal Methods for the Design of Computer …, 2011
492011
The system can't perform the operation now. Try again later.
Articles 1–20