Marcus Völker

According to our database, Marcus Völker authored at least 13 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Policy iteration for value set analysis of PLC programs.

Marcus Völker

PhD thesis, 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

A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation.

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

GRAFCET Reduction Techniques for Model Checking.

Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski

Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

Structural Analysis of GRAFCET Control Specifications.

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review.

Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

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

Verification of Behavior Trees using Linear Constrained Horn Clauses.

Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production.

Marco Grochowski, Marcus Völker, Stefan Kowalewski

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

Automatic Test Suite Generation for PLC Software in the Internet of Production.

Marco Grochowski, Marcus Völker, Stefan Kowalewski

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2019

A Change-Based Heuristic for Static Analysis with Policy Iteration.

Marcus Völker, Stefan Kowalewski

Proceedings of the Static Analysis - 26th International Symposium, 2019

2015

Logic Programming for Cellular Automata.

Marcus Völker, Katsumi Inoue

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

1997

Bewertung der Protokollarchitektur für die Nahbereichskommunikation.

Christian Cseh, Marcus Völker

Proceedings of the MMB '97, 1997