Sichere Datenhaltung im Automobil am Beispiel eines Konzepts zur forensisch sicheren Datenspeicherung. - Tobias Hoppe; Sönke Holthusen; Sven Tuchscheerer; Stefan Kiltz; Jana Dittmann (Sicherheit, 2010)

Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen. - Sönke Holthusen; Peter Manhart; Ina Schaefer; Sandro Schulze; Christian Singer; David Wille (GI-Jahrestagung, 2013)

Interface variability in family model mining. - David Wille; Sönke Holthusen; Sandro Schulze; Ina Schaefer (SPLC Workshops, 2013)

DeltaJ 1.5: delta-oriented programming for Java 1.5. - Jonathan Koscielny; Sönke Holthusen; Ina Schaefer; Sandro Schulze; Lorenzo Bettini; Ferruccio Damiani (PPPJ, 2014)

Family model mining for function block diagrams in automation software. - Sönke Holthusen; David Wille; Christoph Legat; Simon Beddig; Ina Schaefer; Birgit Vogel-Heuser (SPLC Workshops, 2014)

Proof-Carrying Apps: Contract-Based Deployment-Time Verification. - Sönke Holthusen; Michael Nieke; Thomas Thüm; Ina Schaefer (ISoLA (1), 2016)

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. - Sönke Holthusen; Sophie Quinton; Ina Schaefer; Johannes Schlatow; Martin Wegner (PrePost@IFM, 2016)