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

• Automatic Building of a Repository for Component-based Synthesis of Warehouse Simulation Models

  F. Kallat, J. Pfrommer, J. Bessai, J. Rehof and A. Meyer

  54th CIRP Conference on Manufacturing Systems

  DOI: https://doi.org/10.1016/j.procir.2021.11.243

2019

• Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis

  J. Bessai, M. Roidl and A. Vasileva

  F-IDE@FM 2019: 1-6

  DOI: https://doi.org/10.4204/EPTCS.310.1

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

• User Support for the Combinator Logic Synthesizer Framework

  J. Bessai and A. Vasileva

  F-IDE@FLoC 2018: 16-25

  DOI: https://doi.org/10.4204/EPTCS.284.2

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.

• 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

• 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

Thesis

• A Type-Theoretic Framework for Software Component Synthesis

  Doctoral Thesis, Technical University of Dortmund, Germany, 2019

  DOI: http://dx.doi.org/10.17877/DE290R-20320

• Synthesizing Dependency Injection Configurations for the Spring Framework

  Master Thesis

  Interne Berichte / Universität Dortmund, Fakultät Informatik, 2014

• Entwurf, Implementierung und Test einer Haskell-Bibliothek zur Validierung generischer Datenstrukturen

  Bachelor Thesis

  Interne Berichte / Universität Dortmund, Fakultät Informatik, 2011