Jan Bessai

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 13

Top Venues

ISoLA (1)

F-IDE@FLoC

CoRR

Models, Mindsets, Meta

Technical University of Dortmund, Germany (PHD)

Education History

Technical University of Dortmund, Germany

PHD

Publications

Tristan Schäfer, Jan Bessai, Constantin Chaumet, Jakob Rehof, Christian Riest
Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis. WAFR (2022)
Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof
Restricting Tree Grammars with Term Rewriting. FSCD (2022)
Jan Bessai, George T. Heineman, Boris Düdder
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems. ECOOP (2021)
Jan Bessai, George T. Heineman, Boris Düdder
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Jan Bessai, Moritz Roidl, Anna Vasileva
Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis. F-IDE@FM (2019)
Jan Bessai, Anna Vasileva
User Support for the Combinator Logic Synthesizer Framework. F-IDE@FLoC (2018)
Jan Bessai, Jakob Rehof, Boris Düdder
Fast Verified BCD Subtyping. Models, Mindsets, Meta (2018)
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis based on Intersection Types. Log. Methods Comput. Sci. 14 (1) (2018)
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis based on Intersection Types. CoRR (2017)
George T. Heineman, Jan Bessai, Boris Düdder, Jakob Rehof
A Long and Winding Road Towards Modular Synthesis. ISoLA (1) (2016)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
Combinatory Process Synthesis. ISoLA (1) (2016)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis Based on Intersection Types. TLCA (2015)
Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof
Combinatory Synthesis of Classes Using Feature Grammars. FACS (2015)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
Combinatory Logic Synthesizer. ISoLA (1) (2014)
Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro
Typing Classes and Mixins with Intersection Types. ITRS (2014)

Jan Bessai.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Bessai