Automatic Component-Based Synthesis of User-Configured Manufacturing Simulation Models.
Proceedings of the Winter Simulation Conference, 2022
Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis.
Proceedings of the Algorithmic Foundations of Robotics XV, 2022
Component-based synthesis of motion planning algorithms
PhD thesis, 2021
CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories.
Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019
Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018