Sönke Holthusen

According to our database, Sönke Holthusen authored at least 7 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates.

Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner

Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

Proof-Carrying Apps: Contract-Based Deployment-Time Verification.

Sönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

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

Proceedings of the 18th International Software Product Lines Conference, 2014

DeltaJ 1.5: delta-oriented programming for Java 1.5.

Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze, Lorenzo Bettini, Ferruccio Damiani

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

2013

Interface variability in family model mining.

David Wille, Sönke Holthusen, Sandro Schulze, Ina Schaefer

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen.

Sönke Holthusen, Peter Manhart, Ina Schaefer, Sandro Schulze, Christian Singer, David Wille

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2010

Sichere Datenhaltung im Automobil am Beispiel eines Konzepts zur forensisch sicheren Datenspeicherung.

Tobias Hoppe, Sönke Holthusen, Sven Tuchscheerer, Stefan Kiltz, Jana Dittmann

Proceedings of the Sicherheit 2010: Sicherheit, 2010