Jump label

Service navigation

Main navigation

You are here:

Sub navigation

Main content

Publications - M. Sc. Fadil Kallat

Research Papers (peer-reviewed)


Using Component-based Software Synthesis and Constraint Solving to generate Sets of Manufacturing Simulation Models
Fadil Kallat, Carina Mieth, Jakob Rehof, and Anne Meyer
53rd CIRP Conference on Manufacturing Systems 2020
DOI: 10.1016/j.procir.2020.03.018


CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories
Fadil Kallat, Tristan Schäfer, and Anna Vasileva
Proceedings of Sixth Workshop on Proof eXchange for Theorem Proving
DOI: 10.4204/EPTCS.301.7

Sub content

M. Sc. Fadil Kallat


Verbundene Institute