Verification of cooperative vehicle behavior using temporal logic M Völker, M Kloock, L Rabanus, B Alrifaee, S Kowalewski IFAC-PapersOnLine 52 (8), 99-104, 2019 | 7 | 2019 |
Actionable artificial intelligence for the future of production M Behery, P Brauner, HA Zhou, MS Uysal, V Samsonov, M Bellgardt, ... Internet of Production: Fundamentals, Methods and Applications, 91-136, 2023 | 6 | 2023 |
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model R Mross, A Schnakenbeck, M Völker, A Fay, S Kowalewski IEEE Access 10, 125652-125665, 2022 | 5 | 2022 |
Verification of behavior trees using linear constrained horn clauses T Henn, M Völker, S Kowalewski, M Trinh, O Petrovic, C Brecher International Conference on Formal Methods for Industrial Critical Systems …, 2022 | 3 | 2022 |
Automatic test suite generation for plc software in the internet of production M Grochowski, M Völker, S Kowalewski 2022 IEEE 27th International Conference on Emerging Technologies and Factory …, 2022 | 1 | 2022 |
A change-based heuristic for static analysis with policy iteration M Völker, S Kowalewski Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 1 | 2019 |
Logic Programming for Cellular Automata. M Völker, K Inoue ICLP (Technical Communications), 2015 | 1 | 2015 |
Structural Analysis of GRAFCET Control Specifications A Schnakenbeck, R Mroß, M Völker, S Kowalewski, A Fay 2023 IEEE 28th International Conference on Emerging Technologies and Factory …, 2023 | | 2023 |
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review R Mroß, A Schnakenbeck, M Völker, A Fay, S Kowalewski 2023 IEEE 28th International Conference on Emerging Technologies and Factory …, 2023 | | 2023 |
GRAFCET Reduction Techniques for Model Checking R Mroß, A Schnakenbeck, M Völker, A Fay, S Kowalewski 2023 IEEE 21st International Conference on Industrial Informatics (INDIN), 1-6, 2023 | | 2023 |
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation A Schnakenbeck, R Mroß, M Völker, S Kowalewski, A Fay 2023 IEEE 21st International Conference on Industrial Informatics (INDIN), 1-7, 2023 | | 2023 |
Transformation of GRAFCET into GAL for verification purposes based on a detailed meta-model A Schnakenbeck, R Mross, M Voelker, S Kowalewski, A Fay AT-AUTOMATISIERUNGSTECHNIK 71 (1), 56-67, 2023 | | 2023 |
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern A Schnakenbeck, R Mroß, M Völker, S Kowalewski, A Fay at-Automatisierungstechnik 71 (1), 56-68, 2023 | | 2023 |
Policy iteration for value set analysis of PLC programs M Völker Dissertation, RWTH Aachen University, 2023, 2023 | | 2023 |
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production M Grochowski, M Völker, S Kowalewski International Conference on Formal Methods for Industrial Critical Systems …, 2022 | | 2022 |
NVIDIA GPU-odd dwarfs J Naß, M Völker | | 2015 |