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.