Publications

ORCID0000-0002-0241-7729
Google Scholarhttps://scholar.google.de/citations?hl=en&user=0ic62YwAAAAJ
DBLPhttps://dblp.uni-trier.de/pers/d/D=uuml=dder:Boris
SCOPUShttps://www.scopus.com/authid/detail.uri?authorId=55794748200

Show all

2016

Bessai, Jan; Düdder, Boris; Heineman, George T.; Rehof, Jakob

A Long and Winding Road Towards Modular Synthesis Proceedings Article

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp. 305–322, 2016.

BibTeX | Tags: Modular, Software, Synthesis

Bessai, Jan; Düdder, Boris; Heineman, George T.; Rehof, Jakob

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.

Links | BibTeX | Tags: Combinatory Logic, Features, Grammar, Product Line, Software, Synthesis

Bessai, Jan; Chen, Tzu-Chun; Dudenhefner, Andrej; Düdder, Boris; de'Liguoro, Ugo; Rehof, Jakob

Mixin Composition Synthesis based on Intersection Types Journal Article

In: Logical Methods in Computer Science, 2016, (submitted).

BibTeX | Tags: Intersection Types, Mixin, Object-oriented, Record calculus, Synthesis, Trait

Düdder, Boris; Heineman, George T.; Rehof, Jakob

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.

BibTeX | Tags: Modular, Process Synthesis, Product Line, Program Synthesis, Synthesis

2015

Düdder, Boris; Heineman, George T.; Rehof, Jakob

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.

Links | BibTeX | Tags: Combinatory Logic, Framework, Object-oriented, Product Line, Program Synthesis, Software, Synthesis

Düdder, Boris; Heineman, George T.; Rehof, Jakob

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.

Links | BibTeX | Tags: Combinatory Logic, Features, Product Line, Staged Composition, Synthesis