Bewertung der Protokollarchitektur für die Nahbereichskommunikation. - Christian Cseh; Marcus Völker (MMB (Kurzbeiträge), 1997)

Logic Programming for Cellular Automata. - Marcus Völker; Katsumi Inoue (ICLP (Technical Communications), 2015)

A Change-Based Heuristic for Static Analysis with Policy Iteration. - Marcus Völker; Stefan Kowalewski (SAS, 2019)

Automatic Test Suite Generation for PLC Software in the Internet of Production. - Marco Grochowski; Marcus Völker; Stefan Kowalewski (ETFA, 2022)

Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. - Marco Grochowski; Marcus Völker; Stefan Kowalewski (FMICS, 2022)

Verification of Behavior Trees using Linear Constrained Horn Clauses. - Thomas Henn; Marcus Völker; Stefan Kowalewski; Minh Trinh; Oliver Petrovic; Christian Brecher (FMICS, 2022)

Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model. - Robin Mross; Aron Schnakenbeck; Marcus Völker; Alexander Fay; Stefan Kowalewski (IEEE Access, 2022)

Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. - Robin Mroß; Aron Schnakenbeck; Marcus Völker; Alexander Fay; Stefan Kowalewski (ETFA, 2023)

Structural Analysis of GRAFCET Control Specifications. - Aron Schnakenbeck; Robin Mroß; Marcus Völker; Stefan Kowalewski; Alexander Fay (ETFA, 2023)

GRAFCET Reduction Techniques for Model Checking. - Robin Mroß; Aron Schnakenbeck; Marcus Völker; Alexander Fay; Stefan Kowalewski (INDIN, 2023)

A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. - Aron Schnakenbeck; Robin Mroß; Marcus Völker; Stefan Kowalewski; Alexander Fay (INDIN, 2023)

Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern. - Aron Schnakenbeck; Robin Mross; Marcus Völker; Stefan Kowalewski; Alexander Fay (Autom., 2023)

Policy iteration for value set analysis of PLC programs. - Marcus Völker (2023)

Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size. - Robin Mroß; Marcus Völker; Stefan Kowalewski; Aron Schnakenbeck; Alexander Fay (Principles of Verification (2), 2024)

IC3 for Loop Invariant Generation in Deductive Analysis. - Niklas van de Sand; Marcus Völker (FMICS, 2025)

Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes. - Maxim Jourenko; Marcus Völker (IACR Cryptol. ePrint Arch., 2025)