Sönke Holthusen
Sönke Holthusen
Research Engineer, University of Waterloo
Verified email at uwaterloo.ca
Title
Cited by
Cited by
Year
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
532014
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
392014
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
362013
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
92016
Bounding deadline misses in weakly-hard real-time systems with task dependencies
ZAH Hammadeh, R Ernst, S Quinton, R Henia, L Rioux
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
62017
Proof-carrying apps: Contract-based deployment-time verification
S Holthusen, M Nieke, T Thüm, I Schaefer
International Symposium on Leveraging Applications of Formal Methods, 839-855, 2016
42016
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
32010
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
22013
The system can't perform the operation now. Try again later.
Articles 1–8