Marcus Völker

20 papers B 2C 8Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes.
CANS
Maxim Jourenko, Marcus Völker
2025 J jnl
Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes.
IACR Cryptol. ePrint Arch.
Maxim Jourenko, Marcus Völker
2025 C conf
IC3 for Loop Invariant Generation in Deductive Analysis.
FMICS
Niklas van de Sand, Marcus Völker
2024 — conf
Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size.
Principles of Verification (2)
Robin Mroß, Marcus Völker, Stefan Kowalewski, Aron Schnakenbeck, Alexander Fay
2023 C conf
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation.
INDIN
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023 J jnl
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation.
CoRR
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023 C conf
GRAFCET Reduction Techniques for Model Checking.
INDIN
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
2023 — —
Policy iteration for value set analysis of PLC programs.
Marcus Völker
2023 C conf
Structural Analysis of GRAFCET Control Specifications.
ETFA
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023 J jnl
Structural Analysis of GRAFCET Control Specifications.
CoRR
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023 J jnl
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern.
Autom.
Aron Schnakenbeck, Robin Mross, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023 C conf
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review.
ETFA
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
2023 J jnl
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review.
CoRR
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
2022 C conf
Automatic Test Suite Generation for PLC Software in the Internet of Production.
ETFA
Marco Grochowski, Marcus Völker, Stefan Kowalewski
2022 C conf
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production.
FMICS
Marco Grochowski, Marcus Völker, Stefan Kowalewski
2022 J jnl
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model.
IEEE Access
Robin Mross, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
2022 C conf
Verification of Behavior Trees using Linear Constrained Horn Clauses.
FMICS
Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher
2019 B conf
A Change-Based Heuristic for Static Analysis with Policy Iteration.
SAS
Marcus Völker, Stefan Kowalewski
2015 — conf
Logic Programming for Cellular Automata.
ICLP (Technical Communications)
Marcus Völker, Katsumi Inoue
1997 — conf
Bewertung der Protokollarchitektur für die Nahbereichskommunikation.
MMB (Kurzbeiträge)
Christian Cseh, Marcus Völker