2018
Mixin Composition Synthesis based on Intersection Types Journal Article
In: Logical Methods in Computer Science, vol. 14, no. 1, 2018.
2016
Combinatory Process Synthesis Proceedings Article
In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp. 268–283, 2016.
ModSyn-PP: Modular Synthesis of Programs and Processes (Track Introduction) Proceedings Article
In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp. 263–267, 2016.
2015
Towards Migrating Object-Oriented Frameworks to Enable Synthesis of Product Line Members Proceedings Article
In: Proceedings of the 19th International Software Product Line Conference (SPLC'15), pp. 56–60, ACM, Nashville, Tennessee, 2015.
Staged Composition Synthesis Proceedings Article
In: Proceedings of Software Engineering / Software Management 2015, pp. 89–91, GI, 2015.