Sönke Holthusen

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 2

Top Topics

Oriented Programming

Development Tools

Top Venues

GI-Jahrestagung

Publications

Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. PrePost@IFM (2016)
Sönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer
Proof-Carrying Apps: Contract-Based Deployment-Time Verification. ISoLA (1) (2016)
Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze, Lorenzo Bettini, Ferruccio Damiani
DeltaJ 1.5: delta-oriented programming for Java 1.5. PPPJ (2014)
Sönke Holthusen, David Wille, Christoph Legat, Simon Beddig, Ina Schaefer, Birgit Vogel-Heuser
Family model mining for function block diagrams in automation software. SPLC Workshops (2014)
Sönke Holthusen, Peter Manhart, Ina Schaefer, Sandro Schulze, Christian Singer, David Wille
Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen. GI-Jahrestagung (2013)
David Wille, Sönke Holthusen, Sandro Schulze, Ina Schaefer
Interface variability in family model mining. SPLC Workshops (2013)
Tobias Hoppe, Sönke Holthusen, Sven Tuchscheerer, Stefan Kiltz, Jana Dittmann
Sichere Datenhaltung im Automobil am Beispiel eines Konzepts zur forensisch sicheren Datenspeicherung. Sicherheit (2010)