Robin Mroß

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 7

Top Topics

Abstract Interpretation

Structural Analysis

Top Venues

Publications

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. INDIN (2023)
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
Structural Analysis of GRAFCET Control Specifications. CoRR (2023)
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
GRAFCET Reduction Techniques for Model Checking. INDIN (2023)
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. CoRR (2023)
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. CoRR (2023)
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. ETFA (2023)
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
Structural Analysis of GRAFCET Control Specifications. ETFA (2023)