Boris Dudder

Boris Düdder

Dr. rer. nat.

 https://orcid.org/0000-0002-0241-7729
20122019

Research activity per year

  • 12 Article in proceedings
  • 1 Book chapter
  • 1 Journal article

Search results

  • 2019

    Fast Verified BCD Subtyping

    Bessai, J., Rehof, J. & Düdder, B., 1 Jan 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 356-371 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11200 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    2 Citations (Scopus)
  • 2018

    Mixin Composition Synthesis based on Intersection Types

    Bessai, J., Chen, T.-C., Dudenhefner, A., Duedder, B., de'Liguoro, U. & Rehof, J., 27 Feb 2018, In: Logical Methods in Computer Science. 14, 1, p. 1-37 18.

    Research output: Contribution to journal › Journal article › Research › peer-review

    4 Citations (Scopus)
  • 2017

    Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)

    Düdder, B. & Ross, O., 2017, Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. Johansson, B. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    7 Citations (Scopus)
  • 2016

    A long and winding road towards modular synthesis

    Heineman, G. T., Bessai, J., Düdder, B. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 303-317 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    6 Citations (Scopus)

  • Combinatory process synthesis

    Bessai, J., Dudenhefner, A., Düdder, B., Martens, M. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 266-281 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    9 Citations (Scopus)

  • Combinatory synthesis of classes using feature grammars

    Bessai, J., Düdder, B., Heineman, G. T. & Rehof, J., 1 Jan 2016, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Revised Selected Papers. Braga, C. & Ölveczky, P. C. (eds.). Springer Verlag, p. 123-140 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9539).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    5 Citations (Scopus)

  • ModSyn-PP: Modular synthesis of programs and processes track introduction

    Düdder, B., Heineman, G. T. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 261-265 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2015

    Mixin composition synthesis based on intersection types

    Bessai, J., Dudenhefner, A., Düdder, B., Chen, T. C., De'Liguoro, U. & Rehof, J., 1 Jul 2015, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015. Altenkirch, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 76-91 16 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 38).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    6 Citations (Scopus)

  • Synthesizing type-safe compositions in feature oriented software designs using staged composition

    Düdder, B., Rehof, J. & Heineman, G. T., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., p. 398-401 4 p. (ACM International Conference Proceeding Series, Vol. 20-24-July-2015).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    2 Citations (Scopus)

  • Towards migrating object-oriented frameworks to enable synthesis of product line members

    Heineman, G., Hoxha, A., Dudder, B. & Rehof, J., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., p. 56-60 5 p. (ACM International Conference Proceeding Series, Vol. 20-24-July-2015).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    5 Citations (Scopus)
  • 2014

    Combinatory logic synthesizer

    Bessai, J., Dudenhefner, A., Düdder, B., Martens, M. & Rehof, J., 1 Jan 2014, Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Margaria, T., Steffen, B. & Margaria, T. (eds.). Springer Verlag, p. 26-40 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8802).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    19 Citations (Scopus)

  • Staged composition synthesis

    Düdder, B., Martens, M. & Rehof, J., 1 Jan 2014, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 67-86 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8410 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    20 Citations (Scopus)
  • 2013

    Intersection type matching with subtyping

    Düdder, B., Martens, M. & Rehof, J., 27 Sept 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 125-139 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7941 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    2 Citations (Scopus)
  • 2012

    Bounded combinatory logic

    Düdder, B., Martens, M., Rehof, J. & Urzyczyn, P., 1 Dec 2012, Computer Science Logic 2012 - 26th International Workshop/21th Annual Conference of the EACSL, CSL 2012. p. 243-258 16 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 16).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    19 Citations (Scopus)