| 2025 | CANS | Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes. | Maxim Jourenko, Marcus Vlker |
| 2025 | FMICS | IC3 for Loop Invariant Generation in Deductive Analysis. | Niklas van de Sand, Marcus Vlker |
| 2023 | ETFA | Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. | Robin Mro, Aron Schnakenbeck, Marcus Vlker, Alexander Fay, Stefan Kowalewski |
| 2023 | ETFA | Structural Analysis of GRAFCET Control Specifications. | Aron Schnakenbeck, Robin Mro, Marcus Vlker, Stefan Kowalewski, Alexander Fay |
| 2023 | INDIN | GRAFCET Reduction Techniques for Model Checking. | Robin Mro, Aron Schnakenbeck, Marcus Vlker, Alexander Fay, Stefan Kowalewski |
| 2023 | INDIN | A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. | Aron Schnakenbeck, Robin Mro, Marcus Vlker, Stefan Kowalewski, Alexander Fay |
| 2022 | ETFA | Automatic Test Suite Generation for PLC Software in the Internet of Production. | Marco Grochowski, Marcus Vlker, Stefan Kowalewski |
| 2022 | FMICS | Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. | Marco Grochowski, Marcus Vlker, Stefan Kowalewski |
| 2022 | FMICS | Verification of Behavior Trees using Linear Constrained Horn Clauses. | Thomas Henn, Marcus Vlker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher |
| 2019 | SAS | A Change-Based Heuristic for Static Analysis with Policy Iteration. | Marcus Vlker, Stefan Kowalewski |
| 2015 | ICLP | Logic Programming for Cellular Automata. | Marcus Vlker, Katsumi Inoue |