2016
Combinatory Synthesis of Classes using Feature Grammars Proceedings Article
In: Braga, C.; Olveczky, P. C. (Ed.): Proceedings of the 12th International Conference on Formal Aspects of Component Software (FACS'15), pp. 1–18, Springer, 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.
Synthesizing Type-safe Compositions in Feature Oriented Software Designs using Staged Composition Proceedings Article
In: Workshop on Modular Synthesis of Product Lines (ModSyn-PL) in Proceedings of the 19th International Software Product Line Conference (SPLC'15), pp. 398–401, ACM, Nashville, Tennessee, 2015, ISBN: 978-1-4503-3613-0.