Publications
Rather group by categories.
| Title | Author(s) | Source |
|---|---|---|
| Applicability of Generalized Test Tables: A Case Study Using the Manufacturing System Demonstrator xPPU | Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, and Birgit Vogel‑Heuser | Automatisierungstechnik Special Issue |
| Achieving delta description for the system software of an automated production evolution based on partially inferenced model | Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, and Birgit Vogel‑Heuser | 14th IEEE International Conference on Automation Science and Engineering (CASE 2018) |
| Title | Author(s) | Source |
|---|---|---|
| Generalised Test Tables: A Practical Specification Language for Reactive Systems | Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel‑Heuser, and Alexander Weigl | 13th International Conference on integrated Formal Methods (iFM 2017) |
| Generation of Monitoring Functions in Production Automation Using Test Specifications | Suhyun Cha, Sebastian Ulewicz, Birgit Vogel‑Heuser, Alexander Weigl, Mattias Ulbrich, and Bernhard Beckert | 15th IEEE International Conference on Industrial Informatics (INDIN 2017) |
| Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems | Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, and Birgit Vogel‑Heuser | 15th IEEE International Conference on Industrial Informatics (INDIN 2017) |
| Title | Author(s) | Source |
|---|---|---|
| A Verification-Supported Evolution Approach to Assist Software Application Engineers in Industrial Factory Automation | Sebastian Ulewicz, Mattias Ulbrich, Alexander Weigl, Michael Kirsten, Franziska Wiebe, Bernhard Beckert, and Birgit Vogel‑Heuser | IEEE International Symposium on Assembly and Manufacturing (ISAM 2016) |