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:
Collaborative distances:
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 OtherLinks
On csauthors.net:
Bibliography
2023
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern.
Autom., 2023
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023
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
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
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
2019
Proceedings of the Static Analysis - 26th International Symposium, 2019
2015
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