Jan Bessai    Publications  Students  Philosophy  Posts  Contact  


Publications
_______________________________________________________________________________

I like the CoCo Design pattern [1] [2] and the framework built in my thesis [3]
the most of my publications below. If you are interested in programming and
ever had a bad feeling about "instanceof" or visitors when doing OO, then check
out CoCo!

_______________________________________________________________________________

[1]: 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 

[2]: 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 

[3]: 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 

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 

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 

Fast Verified BCD Subtyping
  J. Bessai, J. Rehof and B. Düdder
  Models, Mindsets, Meta 2018: 356-371
  DOI: https://doi.org/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: https://doi.org/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 

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. 
  Corfu, October 05-14 2016.
  DOI: https://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. 
  Corfu, October 05-14 2016.
  DOI: https://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.

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.
  DOI: https://doi.org/10.4230/LIPIcs.TLCA.2015.76 
 
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: https://doi.org/10.4204/EPTCS.177.7 

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: https://doi.org/10.1007/978-3-662-45234-9_3 

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

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