Marcus Völker

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 13

Top Topics

Reinforced Concrete

Top Venues

Publications

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. INDIN (2023)
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
Structural Analysis of GRAFCET Control Specifications. CoRR (2023)
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
GRAFCET Reduction Techniques for Model Checking. INDIN (2023)
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. CoRR (2023)
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. CoRR (2023)
Aron Schnakenbeck, Robin Mross, Marcus Völker, Stefan Kowalewski, Alexander Fay
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern. Autom. 71 (1) (2023)
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. ETFA (2023)
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
Structural Analysis of GRAFCET Control Specifications. ETFA (2023)
Marco Grochowski, Marcus Völker, Stefan Kowalewski
Automatic Test Suite Generation for PLC Software in the Internet of Production. ETFA (2022)
Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher
Verification of Behavior Trees using Linear Constrained Horn Clauses. FMICS (2022)
Robin Mross, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model. IEEE Access 10 (2022)
Marco Grochowski, Marcus Völker, Stefan Kowalewski
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. FMICS (2022)
Marcus Völker, Stefan Kowalewski
A Change-Based Heuristic for Static Analysis with Policy Iteration. SAS (2019)
Marcus Völker, Katsumi Inoue
Logic Programming for Cellular Automata. ICLP (Technical Communications) (2015)
Christian Cseh, Marcus Völker
Bewertung der Protokollarchitektur für die Nahbereichskommunikation. MMB (Kurzbeiträge) (1997)