Publications

2017

Düdder, Boris; Ross, Omri

Timber Tracking: Reducing Complexity of Due Diligence by using Blockchain Technology Inproceedings

Proceedings of 2nd Workshop on Managed Complexity, 2017.

BibTeX | Tags: Blockchain, Distributed Ledger Technology, Due diligence

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

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

A Long and Winding Road Towards Modular Synthesis Inproceedings

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

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

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

Mixin Composition Synthesis based on Intersection Types Journal Article

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

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

Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Rehof, Jakob

Rank 3 Inhabitation of Intersection Types Revisited Inproceedings

Ghilezan, Silvia (Ed.): Proceedings of 22nd International Conference on Types for Proofs and Programs, Schloss Dagstuhl, 2016, (abstract).

BibTeX | Tags:

Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Rehof, Jakob

Extracting a Formally Verified Subtyping Algorithm for Intersection Types from Ideals and Filters Inproceedings

Ghilezan, Silvia (Ed.): Proceedings of 22nd International Conference on Types for Proofs and Programs, Schloss Dagstuhl, 2016, (abstract).

BibTeX | Tags: Coq, Formal Verification, Intersection Types, Subtyping

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

Combinatory Synthesis of Classes using Feature Grammars Inproceedings

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

2015

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

Towards Migrating Object-Oriented Frameworks to Enable Synthesis of Product Line Members Inproceedings

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; Martens, Moritz; Rehof, Jakob

Staged Composition Synthesis Inproceedings

Proceedings of Software Engineering / Software Management 2015, pp. 89–91, GI, 2015.

BibTeX | Tags: Combinatory Logic, Program Synthesis, Staged Composition

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

Typing Classes and Mixins with Intersection Types Inproceedings

Proceedings of Seventh Workshop on Intersection Types and Related Systems, pp. 79–93, EPTCS, 2015.

Links | BibTeX | Tags:

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

Mixin Composition Synthesis based on Intersection Types Inproceedings

Altenkirch, Thorsten (Ed.): Proceedings of 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), pp. 76–91, Schloss Dagstuhl, 2015, ISSN: 1868-8969.

Links | BibTeX | Tags:

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

Synthesizing Type-safe Compositions in Feature Oriented Software Designs using Staged Composition Inproceedings

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

2014

Düdder, Boris; Martens, Moritz; Rehof, Jakob

Staged Composition Synthesis Inproceedings

Proceedings of 23rd European Symposium on Programming, pp. 67–86, Springer, 2014.

Links | BibTeX | Tags:

Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Martens, Moritz; Rehof, Jakob

Combinatory Logic Synthesizer Inproceedings

Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp. 26–40, 2014.

Links | BibTeX | Tags:

Düdder, Boris

Automatic Synthesis of Component & Connector-Software Architectures with Bounded Combinatory Logic PhD Thesis

TU Dortmund, 2014.

BibTeX | Tags:

2013

Düdder, Boris; Martens, Moritz; Rehof, Jakob

Intersection Type Matching with Subtyping Inproceedings

Proceedings of 11th International Conference on Typed Lambda Calculi and Applications, pp. 125–139, 2013.

Links | BibTeX | Tags:

2012

Düdder, Boris; Garbe, Oliver; Martens, Moritz; Rehof, Jakob; Urzyczyn, Paweł

Using Inhabitation in Bounded Combinatory Logic with Intersection Types for GUI Synthesis Inproceedings

Proceedings of Sixth Workshop on Intersection Types and Related Systems, pp. 18–34, EPTCS, 2012.

Links | BibTeX | Tags:

Düdder, Boris; Martens, Moritz; Rehof, Jakob; Urzyczyn, Paweł

Bounded Combinatory Logic Inproceedings

Proceedings of 21st EACSL Annual Conferences on Computer Science Logic, pp. 243–258, Schloss Dagstuhl, 2012, ISSN: 1868-8969.

Links | BibTeX | Tags:

2008

Düdder, Boris; Follert, Guido; Roidl, Moritz

Model Checking in multiagentengesteuerten Materialflusssystemen Inproceedings

Buchholz, Peter (Ed.): Workshop ''Modellierung großer Netze in der Logistik`` in Measurement, Modelling and Evaluation of Computer and Communication Systems, 2008.

BibTeX | Tags: Formal Method, Formal Verification, Logistic, Material Flow, Material Flow System, Mechanical Engineering, Model Checking, Multi-Agent

Düdder, Boris

Formale Verifikation mittels Model Checking in Materialflusssystemen Masters Thesis

TU Dortmund, 2008.

BibTeX | Tags: Formal Method, Formal Verification, Logistic, Material Flow, Material Flow System, Mechanical Engineering, Model Checking