Seguir
Sönke Holthusen
Sönke Holthusen
Research Engineer, University of Waterloo
E-mail confirmado em uwaterloo.ca
Título
Citado por
Citado por
Ano
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
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
532014
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
492013
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
152016
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
52016
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
32013
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
32010
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–7