Aron Schnakenbeck

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 11

Top Topics

Abstract Interpretation

Reinforced Concrete

Top Venues

Publications

Aron Schnakenbeck, Christoph Sieber, Luis Miguel Vieira da Silva, Felix Gehlhoff, Alexander Fay
Prävention und Beseitigung von Fehlerursachen im Kontext von unbemannten Fahrzeugen. CoRR (2024)
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)
Aron Schnakenbeck, Robin Mross, Marcus Völker, Stefan Kowalewski, Alexander Fay
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern. Autom. 71 (1) (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)
Alaettin Dogan, Aron Schnakenbeck, Alexander Fay
Distributed ledger-based authentication and authorization for Industrie 4.0 components. INDIN (2022)
Robin Mross, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model. IEEE Access 10 (2022)