Jump label

Service navigation

Main navigation

You are here:

Sub navigation

  • Staff pages+

Main content

Publications - M. Sc. Jan Bessai

Research Papers (peer-reviewed)

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

  • 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