Folgen
Marcus Völker
Marcus Völker
Science Assistant, i11 - Embedded Software, RWTH Aachen
Bestätigte E-Mail-Adresse bei rwth-aachen.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Verification of cooperative vehicle behavior using temporal logic
M Völker, M Kloock, L Rabanus, B Alrifaee, S Kowalewski
IFAC-PapersOnLine 52 (8), 99-104, 2019
72019
Actionable artificial intelligence for the future of production
M Behery, P Brauner, HA Zhou, MS Uysal, V Samsonov, M Bellgardt, ...
Internet of Production: Fundamentals, Methods and Applications, 91-136, 2023
62023
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
R Mross, A Schnakenbeck, M Völker, A Fay, S Kowalewski
IEEE Access 10, 125652-125665, 2022
52022
Verification of behavior trees using linear constrained horn clauses
T Henn, M Völker, S Kowalewski, M Trinh, O Petrovic, C Brecher
International Conference on Formal Methods for Industrial Critical Systems …, 2022
32022
Automatic test suite generation for plc software in the internet of production
M Grochowski, M Völker, S Kowalewski
2022 IEEE 27th International Conference on Emerging Technologies and Factory …, 2022
12022
A change-based heuristic for static analysis with policy iteration
M Völker, S Kowalewski
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019
12019
Logic Programming for Cellular Automata.
M Völker, K Inoue
ICLP (Technical Communications), 2015
12015
Structural Analysis of GRAFCET Control Specifications
A Schnakenbeck, R Mroß, M Völker, S Kowalewski, A Fay
2023 IEEE 28th International Conference on Emerging Technologies and Factory …, 2023
2023
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review
R Mroß, A Schnakenbeck, M Völker, A Fay, S Kowalewski
2023 IEEE 28th International Conference on Emerging Technologies and Factory …, 2023
2023
GRAFCET Reduction Techniques for Model Checking
R Mroß, A Schnakenbeck, M Völker, A Fay, S Kowalewski
2023 IEEE 21st International Conference on Industrial Informatics (INDIN), 1-6, 2023
2023
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
A Schnakenbeck, R Mroß, M Völker, S Kowalewski, A Fay
2023 IEEE 21st International Conference on Industrial Informatics (INDIN), 1-7, 2023
2023
Transformation of GRAFCET into GAL for verification purposes based on a detailed meta-model
A Schnakenbeck, R Mross, M Voelker, S Kowalewski, A Fay
AT-AUTOMATISIERUNGSTECHNIK 71 (1), 56-67, 2023
2023
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern
A Schnakenbeck, R Mroß, M Völker, S Kowalewski, A Fay
at-Automatisierungstechnik 71 (1), 56-68, 2023
2023
Policy iteration for value set analysis of PLC programs
M Völker
Dissertation, RWTH Aachen University, 2023, 2023
2023
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production
M Grochowski, M Völker, S Kowalewski
International Conference on Formal Methods for Industrial Critical Systems …, 2022
2022
NVIDIA GPU-odd dwarfs
J Naß, M Völker
2015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–16