Jump label

Service navigation

Main navigation

You are here:

Sub navigation

Main content

Publications - M. Sc. Fadil Kallat

Research Papers (peer-reviewed)

2020

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

2019

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

Information

Verbundene Institute

GRK-Logo