Towards establishing formal verification and inductive code synthesis in the PLC domain M Weiß, P Marks, B Maschler, D White, P Kesseli, M Weyrich 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), 1-8, 2021 | 3 | 2021 |
Reconfiguration management in manufacturing: A systematic literature review T Müller, B Caesar, M Weiß, S Ferhat, N Sahlab, A Fay, R Oger, N Jazdi, ... at-Automatisierungstechnik 71 (5), 330-350, 2023 | 2 | 2023 |