Jan Bessai

According to our database, Jan Bessai authored at least 14 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis.

Tristan Schäfer, Jan Bessai, Constantin Chaumet, Jakob Rehof, Christian Riest

Proceedings of the Algorithmic Foundations of Robotics XV, 2022

Restricting Tree Grammars with Term Rewriting.

Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact).

Jan Bessai, George T. Heineman, Boris Düdder

Dagstuhl Artifacts Ser., 2021

Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems.

Jan Bessai, George T. Heineman, Boris Düdder

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2019

A type-theoretic framework for software component synthesis.

Jan Bessai

PhD thesis, 2019

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

Jan Bessai, Moritz Roidl, Anna Vasileva

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

2018

Mixin Composition Synthesis based on Intersection Types.

Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof

Log. Methods Comput. Sci., 2018

User Support for the Combinator Logic Synthesizer Framework.

Jan Bessai, Anna Vasileva

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Fast Verified BCD Subtyping.

Jan Bessai, Jakob Rehof, Boris Düdder

Proceedings of the Models, Mindsets, 2018

2016

A Long and Winding Road Towards Modular Synthesis.

George T. Heineman, Jan Bessai, Boris Düdder, Jakob Rehof

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Combinatory Process Synthesis.

Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Combinatory Synthesis of Classes Using Feature Grammars.

Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Typing Classes and Mixins with Intersection Types.

Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Combinatory Logic Synthesizer.

Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014