Tim Winkelmann

According to our database, Tim Winkelmann authored at least 8 papers between 2012 and 2016.

Collaborative distances:

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

2016

Variability Hiding in Contracts for Dependent Software Product Lines.

Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts.

Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages.

Christoph Seidl, Tim Winkelmann, Ina Schaefer

Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

2015

Detecting and Explaining Conflicts in Attributed Feature Models.

Uwe Lesta, Ina Schaefer, Tim Winkelmann

Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

2014

Automated verification of feature model configuration processes based on workflow Petri nets.

Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann

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

Delta-oriented multi software product lines.

Ferruccio Damiani, Ina Schaefer, Tim Winkelmann

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

Delta-Trait Programming of Software Product Lines.

Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2012

Multi-perspectives on Feature Models.

Julia Schroeter, Malte Lochau, Tim Winkelmann

Proceedings of the Model Driven Engineering Languages and Systems, 2012