Jan Bessai

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