Sönke Holthusen
According to our database1,
Sönke Holthusen
authored at least 7 papers
between 2010 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
2013
2014
2015
2016
0
1
2
3
2
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2014
Proceedings of the 18th International Software Product Lines Conference, 2014
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014
2013
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013
Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen.
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013
2010
Sichere Datenhaltung im Automobil am Beispiel eines Konzepts zur forensisch sicheren Datenspeicherung.
Proceedings of the Sicherheit 2010: Sicherheit, 2010