CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories. - Fadil Kallat; Tristan Schäfer; Anna Vasileva (PxTP, 2019)

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 (WSC, 2022)

Komponentenbasierte Synthese von Simulationsmodellen - Fadil Kallat (2022)