Robin Mross

According to our database, Robin Mross authored at least 7 papers between 2022 and 2024.

Collaborative distances:

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

2024

Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size.

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

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

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