Tristan Schäfer

According to our database, Tristan Schäfer authored at least 6 papers between 2018 and 2022.

Collaborative distances:

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

2022

Automatic Component-Based Synthesis of User-Configured Manufacturing Simulation Models.

Alexander Mages, Carina Mieth, Jens Hetzler, Fadil Kallat, Jakob Rehof, Christian Riest, Tristan Schäfer

Proceedings of the Winter Simulation Conference, 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

2021

Component-based synthesis of motion planning algorithms

Tristan Schäfer

PhD thesis, 2021

2019

CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories.

Fadil Kallat, Tristan Schäfer, Anna Vasileva

Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019

2018

Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic.

Jan Winkels, Julian Graefenstein, Tristan Schäfer, David Scholz, Jakob Rehof, Michael Henke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways.

Tristan Schäfer, Frederik Möller, Anja Burmann, Yevgen Pikus, Norbert Weißenberg, Marcus Hintze, Jakob Rehof

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018