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

Combinatory Process Synthesis Inproceedings

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

BibTeX | Tags: Combinatory Logic, Process Synthesis, Program Synthesis, Type theory, Workflow

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

ModSyn-PP: Modular Synthesis of Programs and Processes (Track Introduction) Inproceedings

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