Billede af Boris Dudder

Boris Düdder

Dr. rer. nat.

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

Publikationer pr. år

  • 12 Konferencebidrag i proceedings
  • 1 Bidrag til bog/antologi
  • 1 Tidsskriftartikel

Søgeresultater

  • 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, s. 356-371 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11200 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

    2 Citationer (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, I: Logical Methods in Computer Science. 14, 1, s. 1-37 18.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    4 Citationer (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. (red.). CEUR-WS.org, 6 s. (CEUR Workshop Proceedings, Bind 1898).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    7 Citationer (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. (red.). Springer Verlag, s. 303-317 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    6 Citationer (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. (red.). Springer Verlag, s. 266-281 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    9 Citationer (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. (red.). Springer Verlag, s. 123-140 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9539).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    5 Citationer (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. (red.). Springer Verlag, s. 261-265 5 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 76-91 16 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 38).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    6 Citationer (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., s. 398-401 4 s. (ACM International Conference Proceeding Series, Bind 20-24-July-2015).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    2 Citationer (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., s. 56-60 5 s. (ACM International Conference Proceeding Series, Bind 20-24-July-2015).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    5 Citationer (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. (red.). Springer Verlag, s. 26-40 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8802).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    19 Citationer (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, s. 67-86 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8410 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    20 Citationer (Scopus)
  • 2013

    Intersection type matching with subtyping

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    2 Citationer (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. s. 243-258 16 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 16).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    19 Citationer (Scopus)