| 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 | 79 | 2014 |
| Family model mining for function block diagrams in automation software S Holthusen, D Wille, C Legat, S Beddig, I Schaefer, B Vogel-Heuser Proceedings of the 18th International Software Product Line Conference …, 2014 | 54 | 2014 |
| Interface variability in family model mining D Wille, S Holthusen, S Schulze, I Schaefer Proceedings of the 17th International Software Product Line Conference co …, 2013 | 51 | 2013 |
| Using multi-viewpoint contracts for negotiation of embedded software updates S Holthusen, S Quinton, I Schaefer, J Schlatow, M Wegner arXiv preprint arXiv:1606.00504, 2016 | 16 | 2016 |
| Proof-carrying apps: Contract-based deployment-time verification S Holthusen, M Nieke, T Thüm, I Schaefer Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 5 | 2016 |
| Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen S Holthusen, P Manhart, I Schaefer, S Schulze, C Singer, D Wille Gesellschaft für Informatik eV, 2013 | 3 | 2013 |
| Sichere Datenhaltung im Automobil am Beispiel eines Konzepts zur forensisch sicheren Datenspeicherung T Hoppe, S Holthusen, S Tuchscheerer, S Kiltz, J Dittmann Gesellschaft für Informatik eV, 2010 | 3 | 2010 |
Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
