Jump label

Service navigation

Main navigation

You are here:

Sub navigation

  • Staff pages+

Main content

Publications - Dr. Boris Düdder

Research Papers (peer-reviewed)

2021

  • Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
    J. Bessai, G. T. Heineman and B. Düdder
    ECOOP 2021: 4:1-4:25
    DOI: https://doi.org/10.4230/LIPIcs.ECOOP.2021.4
  • Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact)
    J. Bessai, G. T. Heineman and B. Düdder
    Dagstuhl Artifacts Ser. 7(2): 04:1-04:4 (2021)
    DOI: https://doi.org/10.4230/DARTS.7.2.4

2018

  • Fast Verified BCD Subtyping
    J. Bessai, J. Rehof and B. Düdder
    Models, Mindsets, Meta 2018: 356-371
    DOI: 10.1007/978-3-030-22348-9\_21
  • Mixin Composition Synthesis based on Intersection Types
    J. Bessai, T. Chen, A. Dudenhefner, B. Düdder, U. de'Liguoro and J. Rehof
    Logical Methods in Computer Science 14(1) (2018)
    DOI: 10.23638/LMCS-14(1:18)2018

2016

  • Combinatory Process Synthesis
    J. Bessai, A. Dudenhefner, B. Düdder, M. Martens and J. Rehof
    Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Ed. by Tiziana Margaria and Bernhard Steffen. accepted.
    Corfu, October 05-14 2016.
    DOI: 10.1007/978-3-319-47166-2_19
  • A Long and Winding Road Towards Modular Synthesis
    J. Bessai, B. Düdder, G. T. Heineman, and J. Rehof
    Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Ed. by Tiziana Margaria and Bernhard Steffen. accepted.
    Corfu, October 05-14 2016.
    DOI: 10.1007/978-3-319-47166-2_21
  • Extracting a Formally Verified Subtyping Algorithm for Intersection Types from Ideals and Filters
    J. Bessai, A. Dudenhefner, B. Düdder and J. Rehof
    TYPES 2016, 22nd International Conference on Types for Proofs and Programs.
    Novi Sad, May 23-26 2016.
  • Rank 3 Inhabitation of Intersection Types Revisited
    J. Bessai, A. Dudenhefner, B. Düdder and J. Rehof
    TYPES 2016, 22nd International Conference on Types for Proofs and Programs.
    Novi Sad, May 23-26 2016.

2015

  • Combinatory Synthesis of Classes using Feature Grammars
    J. Bessai, B. Düdder, G. T. Heineman, and J. Rehof
    In Proceedings of 12th International Conference on Formal Aspects of Component Software (FACS'15), Rio de Janeiro, Brazil, October 14-16, 2015.
  • Towards Migrating Object-Oriented Frameworks to Enable Synthesis of Product Line Members
    G. T. Heineman, A. Hoxha, B. Düdder, and J. Rehof
    In Proceedings of 19th International Software Product Line Conference (SPLC), Nashville, USA, July 20-24, 2015.
    DOI: 10.1145/2791060.2791076
  • Synthesizing Type-safe Compositions in Feature Oriented Software Designs using Staged Composition
    B. Düdder, J. Rehof and G. T. Heineman
    In ModSyn-PL Workshop in proceedings of 19th International Software Product Line Conference (SPLC), Nashville, USA, July 20-24, 2015.
    DOI: 10.1145/2791060.2793677
  • Mixin Composition Synthesis based on Intersection Types
    J. Bessai, A. Dudenhefner, B. Düdder, T. Chen, U. De'Liguoro and J. Rehof
    In Proceedings of TLCA 2015 13th International Conference on Typed Lambda Calculi and Applications, Warsaw, Poland, June 29 - July 03, 2015, to appear
    DOI: 10.4230/LIPIcs.TLCA.2015.76
    PDF
  • Staged Composition Synthesis
    B. Düdder, M. Martens and J. Rehof
    In Proceedings of Software Engineering & Software Management 2015, GI Fachtagung Software Engineering 2015, Dresden, Germany, March 17-20, 2015, Lecture Notes in Informatics (LNI), 89-90.
  • Typing Classes and Mixins with Intersection Types
    B. Düdder, U. de'Liguoro, T. Chen, J. Bessai and A. Dudenhefner
    Post-proceedings ITRS 2014, EPCTS, Vol. 177, March 2015
    DOI: 10.4204/EPTCS.177.7

2014

  • Combinatory Logic Synthesizer
    J. Bessai, A. Dudenhefner, B. Düdder, M. Martens and J. Rehof
    ISoLA 2014, 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, October 2014, Part I, LNCS 8802, pp. 26--40. Springer, Heidelberg, 2014
    DOI: 10.1007/978-3-662-45234-9_3
    PDF
  • Delegation-based Mixin Composition Synthesis
    B. Düdder, J. Bessai, A. Dudenhefner and M. Martens
    ITRS 2014, Intersection Types and Related Systems, Vienna, Austria, June 2014
    PDF
  • Staged Composition Synthesis
    B. Düdder, M. Martens and J. Rehof
    Proceedings 23rd European Symposium on Programming, ESOP 2014, Grenoble, France, April 5-13, 2014, LNCS 8410, Springer
    DOI: 10.1007/978-3-642-54833-8_5
    PDF

2013

  • Intersection Type Matching with Subtyping
    B. Düdder, M. Martens and J. Rehof
    Proceedings 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, LNCS 7941 (ARCoSS), Springer
    DOI: 10.1007/978-3-642-38946-7_11
    PDF
  • Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis
    B. Düdder, O. Garbe, M. Martens, J. Rehof, and P. Urzyczyn
    Post-proceedings ITRS 2012, EPCTS, Vol. 121, March 2013
    DOI: 10.4204/EPTCS.121.2
    PDF

2012

  • Bounded Combinatory Logic
    B. Düdder, M. Martens, J. Rehof and P. Urzyczyn
    CSL 2012, 21st EACSL Annual Conferences on Computer Science Logic, Fontainebleau, France, September 2012.
    LIPIcs volume 16.
    DOI: 10.4230/LIPIcs.CSL.2012.243
    PDF
  • Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis
    J. Rehof, B. Düdder, O.Garbe, M. Martens and P. Urzyczyn
    EPTCS Electronic Proceedings in Theoretical Computer Science, proceedings ITRS 2012 Intersection Types and Related Systems, Dubrovnik, Croatia 2012.
    PDF
  • Using Inhabitation in Bounded Combinatory Logic with Intersection Types for GUI Synthesis
    B. Düdder, O. Garbe, M. Martens, J. Rehof and P. Urzyczyn
    ITRS 2012, Intersection Types and Related Systems, Dubrovnik, Croatia, June 2012
    PDF

2008

  • Model Checking in multiagentengesteuerten Materialflusssystemen
    B. Düdder, M. Roidl and G. Follert
    Workshop „Modellierung großer Netze in der Logistik“, (Hrsg. Buchholz), Measurement, Modelling and Evaluation of Computer and Communication Systems [Tagung Dortmund 1. April 2008], Technical Report 817, Dortmund, 2008
    PDF

Non-peer Reviewed

  • Modal Logic and Staged Computation
    B. Düdder and J. Rehof
    In Highlights of Logic, Games and Automata, Prague, Sept. 15–18, 2015
  • Combinatory Logic Synthesis and Alternation
    B. Düdder, M. Martens and J. Rehof
    In Highlights of Logic, Games and Automata, Paris, Sept. 18-21, 2013

Technical Reports

  • A Theory on Staged Composition Synthesis (Extended Version)
    B. Düdder, M. Martens and J. Rehof
    Technical Reports in Computer Science (Technische Universität Dortmund), TR 843, October 2013.
    PDF
  • Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis (Extended Version)
    B. Düdder, M. Martens, J. Rehof and P. Urzyczyn
    Technical Reports in Computer Science (Technische Universität Dortmund), TR 842, October 2012.
    PDF
  • Intersection Type Matching and Bounded Combinatory Logic (Extended Version)
    B. Düdder, M. Martens and J. Rehof
    Technical Reports in Computer Science (Technische Universität Dortmund), TR 841, October 2012, revised July 2013.
    PDF
  • Bounded Combinatory Logic (Extended Version)
    B. Düdder, M. Martens, J. Rehof, and P. Urzyczyn
    Technical Reports in Computer Science (Technische Universität Dortmund), TR 840, June 2012, revised October 2012.
    PDF

Thesis

  • Automatic Synthesis of Component & Connector-Software Architectures with Bounded Combinatory Logic
    Dissertation
    Interne Berichte / Technische Universität Dortmund, Fakultät für Informatik, Dortmund, 2014
    DOI: 10.17877/DE290R-6528
  • Formale Verifikation mittels Model Checking in Materialflusssystemen
    Diploma Thesis
    Interne Berichte / Universität Dortmund, Fachbereich Informatik, Dortmund, 2008