Sönke Holthusen
Sönke Holthusen
Research Engineer, University of Waterloo
Verified email at
Cited by
Cited by
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
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
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
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
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
Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen
S Holthusen, P Manhart, I Schaefer, S Schulze, C Singer, D Wille
INFORMATIK 2013–Informatik angepasst an Mensch, Organisation und Umwelt, 2013
Sichere Datenhaltung im Automobil am Beispiel eines Konzepts zur forensisch sicheren Datenspeicherung
T Hoppe, S Holthusen, S Tuchscheerer, S Kiltz, J Dittmann
Sicherheit 2010. Sicherheit, Schutz und Zuverlässigkeit, 2010
The system can't perform the operation now. Try again later.
Articles 1–7