Marcus Völker

Orcid: 0000-0001-7348-0146

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
4
3
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Policy iteration for value set analysis of PLC programs.
PhD thesis, 2023

Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern.
Autom., 2023

A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation.
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

GRAFCET Reduction Techniques for Model Checking.
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

Structural Analysis of GRAFCET Control Specifications.
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.
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.
IEEE Access, 2022

Verification of Behavior Trees using Linear Constrained Horn Clauses.
Proceedings of the Formal Methods for Industrial Critical Systems, 2022

Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production.
Proceedings of the Formal Methods for Industrial Critical Systems, 2022

Automatic Test Suite Generation for PLC Software in the Internet of Production.
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.
Proceedings of the Static Analysis - 26th International Symposium, 2019

2015
Logic Programming for Cellular Automata.
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.
Proceedings of the MMB '97, 1997


  Loading...